DARTS，第8卷，第1期
第34届欧洲实时系统会议专刊（ECRTS 2022）
-
部分： 体积： DARTS，第8卷（ECOOP 2022）
会议： 欧洲实时系统会议（ECRTS）
日志： 达格斯图尔人工制品系列（DARTS）
出版物详细信息
发布时间：2022-06-28 出版商：Schloss Dagstuhl–Leibniz Zentrum für Informatik 数据库管理程序： 数据库/期刊/省道/省道8
接入号码
-
此处提供详细的访问统计信息 文档访问总数（每周更新）： 0 PDF下载
文件
前沿事务——ECRTS 2022工件、目录、前言、工件评估委员会
摘要
引用为
@文章{kritikakou_et_al:DARTS.8.1.0， author={Kritikakou，Angeliki和Becker，Matthias}， title={{前文-ECRTS 2022工件，目录，前言，工件评估委员会}}， 页面={0:i--0:x}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2022}， 体积={8}， 数字={1}， editor={Kritikakou，Angeliki和Becker，Matthias}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， 网址={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.1.0 }, URN={URN:nbn:de:0030-drops-164967}， doi={10.4230/DARTS.8.1.0}， annote＝｛关键词：前沿问题-ECTS 2022文物，目录，前言，文物评估委员会｝ }
使用实时容器（工件）在混合临界工业边缘系统中实现隔离
摘要
引用为
@第{barletta_et_al:DARTS.8.1.1条， author={Barletta、Marco和Cinque、Marcello和De Simone、Luigi和Della Corte、Raffaele}， title={{使用实时容器（工件）在混合临界工业边缘系统中实现隔离}}， 页数={1:1--1:12}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2022}， 体积={8}， 数字={1}， editor={Barletta、Marco和Cinque、Marcello和De Simone、Luigi和Della Corte、Raffaele}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， 网址={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.1.1 }, URN＝{URN:nbn:de:00030-drops-164979}， doi={10.4230/DARTS.8.1.1}， annote={关键词：实时，混合临界性，容器，边缘计算} }
可延迟服务器下基于Unikernel的实时虚拟化：分析与实现（工件）
摘要
引用为
@第{chen_et_al:DARTS.8.1.2条， author={Chen、Kuan-Hsun和G\“ {u} 恩塞尔 、马里奥和贾布尔科夫斯基、博古斯劳和巴斯霍夫、马库斯和陈建佳}、， title={{可延迟服务器下基于Unikernel的实时虚拟化：分析与实现（工件）}}， 页数={2:1--2:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2022}， 体积={8}， 数字={1}， editor={Chen、Kuan-Hsun和G\“ {u} 恩塞尔 ，Mario和Jablkowski，Boguslaw和Buschhoff，Markus和Chen，Jian Jia}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， 网址={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.1.2 }, URN={URN:nbn:de:0030-drops-164987}， doi={10.4230/DARTS.8.1.2}， annote={关键词：Unikernel、虚拟化、保留服务器、可延迟服务器、网络物理系统、实时系统} }
响应时间分析与网络演算（伪影）之间的形式链接
摘要
引用为
@文章{roux_et_al:DARTS.8.1.3， 作者＝{Roux，Pierre和Quinton，Sophie和Boyer，Marc}， title={{响应时间分析和网络演算（工件）之间的形式链接}}， 页数={3:1--3:3}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2022}， 体积={8}， 数字={1}， editor={Roux、Pierre和Quinton、Sophie和Boyer、Marc}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， 网址={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.1.3 }, URN={URN:nbn:de:0030-drops-164990}， doi={10.4230/DARTS.8.1.3}， annote={关键词：响应时间分析，网络微积分，密集时间，离散时间，响应时间，形式证明，Coq} }
FIFO优先级协议下无偏置系统的调度（工件）
摘要
引用为
@第{ladeira_et_al:DARTS.8.1.4条， author={Ladeira、Matheus和Grolleau、Emmanuel和Bonneval、Fabien和Hattenberger、Gautier和Ouhammou、Yassine和H\' {e} 鲁沃德 ，尤里}， title={{FIFO优先级协议下的调度偏移自由系统（工件）}}， 页码＝{4:1-4:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2022}， 体积={8}， 数字={1}， editor={拉德拉、马修斯和格鲁鲁、伊曼纽尔和博内瓦尔、法比恩和哈滕伯格、戈蒂埃和乌哈穆、亚辛和H {e} 鲁瓦德 ，尤里}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， 网址={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.1.4 }, URN={URN:nbn:de:0030-drops-165000}， doi={10.4230/DARTS.8.1.4}， annote={关键词：调度，不可重复，启发式，FIFO，自动驾驶} }
EDF调度下自暂停任务的响应时间分析（工件）
摘要
引用为
@第{aromolo_et_al:DARTS.8.1.5条， author={Aromolo、Federico和Biondi、Alessandro和Nelissen、Geoffrey}， title={{EDF调度下自暂停任务的响应时间分析（工件）}}， 页数={5:1--5:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2022}， 体积={8}， 数字={1}， editor={Aromolo、Federico和Biondi、Alessandro和Nelissen、Geoffrey}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， 网址={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.1.5 }, URN={URN:nbn:de:0030-drops-165012}， doi={10.4230/DARTS.8.1.5}， annote={关键词：实时系统，可调度性分析，自暂停任务，EDF调度} }
ACETONE:安全关键系统中ML应用程序的可预测编程框架（工件）
摘要
引用为
@第{条dealbuquerquesilva_et_al:DARTS.8.1.6， author={德阿尔布开克·席尔瓦（De Albuquerque Silva）、艾丽娜（Iryna）和卡尔（Carle）、托马斯（Thomas）和高弗里奥（Gauffriau）、阿德里安（Adrien）和佩吉蒂（Pagetti）、克莱尔（Claire）， title={{ACETONE:安全关键系统（工件）中ML应用程序的可预测编程框架}}， 页数={6:1--6:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2022}， 体积={8}， 数字={1}， editor={德阿尔布开克·席尔瓦（De Albuquerque Silva）、艾丽娜（Iryna）和卡尔（Carle）、托马斯（Thomas）和高弗里奥（Gauffriau）、阿德里安（Adrien）和佩吉蒂（Pagetti）、克莱尔（Claire）， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={https://drops.dagstuhl.de/entities/documents/10.4230/DARTS.8.1.6}， URN={URN:nbn:de:0030-drops-165023}， doi={10.4230/DARTS.8.1.6}， annote={关键词：实时安全关键系统，最坏情况执行时间分析，人工神经网络实现} }
基本响应时间分析作为及时性的可解释证据（人工制品）
摘要
引用为
@第{maida_et_al:DARTS.8.1.7条， author={Maida，Marco and Bozhko，Sergey and Brandenburg，Bj\“ {o} 尼泊尔 B.}中， title＝{作为时间性（伪影）的可解释证据的基础响应时间分析}}， 页数={7:1--7:2}， journal={Dagstuhl手工艺品系列}， ISSN={2509-8195}， 年份={2022}， 体积={8}， 数字={1}， editor={Maida，Marco and Bozhko，Sergey and Brandenburg，Bj\“ {o} 尼泊尔 B.}、， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， 网址={ https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.1.7 }, URN={URN:nbn:de:0030-drops-165038}， doi={10.4230/DARTS.8.1.7}， annote={关键词：硬实时系统，响应时间分析，单处理器，Coq，Prosa，固定优先级，EDF，抢占，非抢占，验证} }