第35届欧洲实时系统会议专刊（ECRTS 2023）

摘要

引用为

第35届欧洲实时系统会议特刊（ECRTS 2023）。达格斯图尔人工制品系列（DARTS），第9卷，第1期，第0:i-0:x页，达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik（2023）

@第{becker_et_al:DARTS.9.1.0条，作者＝{Becker，Matthias and Forget，Julien}，title={{正文，目录，前言，会议组织}}，页面={0:i--0:x}，journal={Dagstuhl手工艺品系列}，ISSN={2509-8195}，年份={2023}，体积＝{9}，数字={1}，editor={Becker、Matthias和Forget、Julien}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.1.0},URN={URN:nbn:de:0030-drops-180211}，doi={10.4230/DARTS.9.1.0}，注释={关键词：前言、目录、前言、会议组织}}

摘要

引用为

蒂姆·莱因费尔斯（Tim Rheinfels）、马克西米利安·高克勒（Maximilian Gaukler）和彼得·乌尔布里希（Peter Ulbrich）。关键性的新观点：混合关键性实时控制系统（工件）的有效状态抽象和运行时监控。第35届欧洲实时系统会议专刊（ECRTS 2023）。达格斯图尔手工艺品系列（DARTS），第9卷，第1期，第1:1-1:3页，达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik（2023）

@第{条rheinfels_et_al:DARTS.9.1.1，作者={Rheinfels，Tim and Gaukler，Maximilian and Ulbrich，Peter}，title＝{临界性的新视角：混合临界性实时控制系统（工件）的有效状态抽象和运行时监控}}，页数={1:1--1:3}，journal={Dagstuhl手工艺品系列}，ISSN={2509-8195}，年份={2023}，体积={9}，数字={1}，编辑者＝{Rheinfels，Tim和Gaukler，Maximilian和Ulbrich，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.1.1},URN={URN:nbn:de:0030-drops-180229}，doi={10.4230/DARTS.9.1.1}，annote={关键词：实时控制，混合临界性，切换系统，状态监测}}

摘要

引用为

伊娃·丹格勒、菲利普·拉菲克、西蒙·舒斯特和彼得·瓦格曼。FusionClock:WCEC-最佳时钟树重构（工件）。第35届欧洲实时系统会议专刊（ECRTS 2023）。达格斯图尔手工艺品系列（DARTS），第9卷，第1期，第2:1-2:3页，达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik（2023）

@第{dengler_et_al:DARTS.9.1.2条，author={丹格勒、伊娃和拉斐克、菲利普和舒斯特、西蒙和W“{a} 杰曼，彼得}，title={{FusionClock:WCEC-最佳时钟树重新配置（工件）}}，页数={2:1--2:3}，journal={Dagstuhl手工艺品系列}，ISSN={2509-8195}，年份={2023}，体积＝{9}，数字={1}，editor={丹格勒、伊娃和拉夫切克、菲利普和舒斯特、西蒙和W“{a} 杰曼，Peter}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.1.2},URN={URN:nbn:de:0030-drops-180238}，doi={10.4230/DARTS.9.1.2}，annote={关键词：能量受限的实时系统，最坏情况下的执行时间（WCET），最坏条件下的能量消耗（WCEC），能量感知的实时调度，静态全系统分析，时间/能量权衡，时钟树，系统芯片}}

摘要

引用为

拉斐尔·齐波（Raffaele Zippo）、保罗·尼古拉斯（Paul Nikolaus）和乔瓦尼·斯特亚（Giovanni Stea）。等速：通过利用（min，+）/（max，+）同构（伪影）改进（min，＋）卷积。第35届欧洲实时系统会议专刊（ECRTS 2023）。达格斯图尔手工艺品系列（DARTS），第9卷，第1期，第3:1-3:4页，达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik（2023）

@第{zippo_et_al:DARTS.9.1.3条，作者＝{Zippo，Raffaele和Nikolaus，Paul和Stea，Giovanni}，title={{等速：通过利用（min，+）/（max，+）同构（工件）}}改进（min，＋）卷积，页数={3:1--3:4}，journal={Dagstuhl手工艺品系列}，ISSN={2509-8195}，年份＝{2023}，体积={9}，数字={1}，editor={Zippo、Raffaele和Nikolaus、Paul和Stea、Giovanni}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.1.3},URN={URN:nbn:de:0030-drops-180247}，doi={10.4230/DARTS.9.1.3}，annote={关键词：确定性网络微积分，min-plus代数，max-plus代数学，性能，算法}}

摘要

引用为

塞巴斯蒂安·阿尔特梅耶、埃蒂安·安德烈、西尔瓦诺·达尔·齐利奥、洛伊克·费霍兹、迈克尔·冈萨雷斯港、苏珊娜·格拉芙、J.哈维尔·古铁雷斯、拉菲克·海尼亚、迪迪埃·勒博特兰、朱塞佩·利帕里、朱利奥·麦地那、尼古拉斯·纳维特、索菲·昆顿、胡安·里瓦斯和孙友成。从FMTV到WATERS：ECRTS第一次验证挑战的经验教训（人工制品）。第35届欧洲实时系统会议专刊（ECRTS 2023）。达格斯图尔手工艺品系列（DARTS），第9卷，第1期，第4:1-4:6页，达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik（2023）

@第{altmeyer_et_al:DARTS.9.1.4条，author={Altmeyer、Sebastian和Andr{E} 蒂安还有Dal Zilio、Silvano和Fejoz、Lo\“{i} c（c）还有海港，迈克尔·冈兹{a} 列兹格拉芙、苏珊娜和古蒂{e} 雷兹、J.哈维尔和海尼亚、拉菲克和勒博特兰、迪迪埃和利帕里、朱塞佩和麦地那、胡里奥和纳维特、尼古拉斯和昆顿、索菲和里瓦斯、胡安·M和孙友成}，title={{从FMTV到WATERS:ECRTS第一次验证挑战的经验教训（工件）}}，页码＝{4:1-4:6}，journal={Dagstuhl手工艺品系列}，ISSN={2509-8195}，年份={2023}，体积={9}，数字={1}，editor={Altmeyer、Sebastian和Andr{E} 蒂安还有Dal Zilio、Silvano和Fejoz、Lo\“{i} c（c）还有海港，迈克尔·冈兹{a} 列兹格拉芙、苏珊娜和古蒂{e} 雷兹、J.哈维尔和海尼亚、拉菲克和勒博特兰、迪迪埃和利帕里、朱塞佩和麦地那、胡里奥和纳韦、尼古拉斯和昆顿、索菲和里瓦斯、胡安·M和孙友成}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.1.4},URN={URN:nbn:de:0030-drops-180257}，doi＝{10.4230/DATS.9.1.4}，annote={关键词：验证挑战，工业用例，端到端延迟，实时系统，响应时间分析}}