LITES，第6卷，第1期

摘要

引用为

LITES，第6卷，第1期，第1-188页，达格斯图尔宫-莱布尼兹·泽特鲁姆宫（2019）

@第{LITES-v006-i001条，title={{LITES，第6卷，第1期}}，journal={Leibniz嵌入式系统事务}，页数={1--188}，ISSN={2199-2002}，年份={2019}，体积={6}，数字={1}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LITES-v006-i001},doi={10.4230/LITES-v006-i001}，annote={关键词：LITES，第6卷，第1期}}

摘要

引用为

Mahieddine Dellabani、Jacques Combaz、Saddek Bensalem和Marius Bozga。局部规划语义：分布式实时系统的语义。在LITES第6卷第1期（2019年）中。莱布尼茨嵌入式系统汇刊，第6卷，第1期，第01:1-01:27页，Dagstuhl Schloss–Leibniz-Zentrum für Informatik（2019）

@文章{dellabani_et_al:LITES-v006-i001-a001，author={Dellabani、Mahieddine和Combaz、Jacques和Bensalem、Saddek和Bozga、Marius}，title={{本地规划语义：分布式实时系统的语义}}，journal={Leibniz嵌入式系统事务}，页码={01:1--01:27}，ISSN={2199-2002}，年份={2019}，体积={6}，数字={1}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LITES-v006-i001-a001},doi={10.4230/LITES-v006-i001-a001}，annote={关键词：分布式实时系统，时间自动机，形式验证}}

摘要

引用为

帕斯卡·雷蒙德（Pascal Raymond）、克莱尔·迈扎（Claire Maiza）、凯瑟琳·菲古鲁（Catherine Parent-Vigouroux）、埃尔万·贾伊尔（Erwan Jahier）、尼古拉斯·哈尔巴赫斯（Nicolas Halbwachs）、法比恩·卡里尔（Fabiene Carrier）、米哈。使用线性关系分析改进WCET评估。在LITES，第6卷，第1期（2019）。莱布尼茨嵌入式系统汇刊，第6卷，第1期，第02:1-02:28页，Dagstuhl Schloss–Leibniz-Zentrum für Informatik（2019）

@文章{raymond_et_al:LITES-v006-i001-a002，author={Raymond、Pascal和Maiza、Claire和Parent-Vigouroux、Catherine和Jahier、Erwan和Halbwachs、Nicolas和Carrier、Fabiene和Asavoae、Mihail和Boutonet、R{e} 我的},title={{使用线性关系分析改进WCET评估}}，journal={Leibniz嵌入式系统事务}，页码={02:1--02:28}，ISSN={2199-2002}，年份={2019}，体积={6}，数字={1}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LITES-v006-i001-a002},doi={10.4230/LITES-v006-i001-a002}，annote={关键词：最坏情况下的执行时间估计，不可行的执行路径，抽象解释}}

摘要

引用为

Robert I.Davis和Liliana Cucu-Grosjean。实时系统概率定时分析技术综述。在LITES第6卷第1期（2019年）中。《莱布尼茨嵌入式系统汇刊》，第6卷第1期，第03:1-03:60页，Schloss Dagstuhl–Leibniz Zentrum für Informatik（2019）

@文章{davis_et_al:LITES-v006-i001-a003，author={戴维斯，罗伯特一世和库库·格罗斯让，莉莉安娜}，title={{实时系统概率定时分析技术综述}}，journal={Leibniz嵌入式系统事务}，页数={03:1--03:60}，ISSN={2199-2002}，年份={2019}，体积={6}，数字={1}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LITES-v006-i001-a003},doi={10.4230/LITES-v006-i001-a003}，annote={关键词：概率、实时、时序分析}}

摘要

引用为

Robert I.Davis和Liliana Cucu-Grosjean。实时系统概率可调度性分析技术综述。在LITES第6卷第1期（2019年）中。莱布尼茨嵌入式系统汇刊，第6卷，第1期，第04:1-04:53页，Dagstuhl Schloss–Leibniz-Zentrum für Informatik（2019）

@文章{davis_et_al:LITES-v006-i001-a004，author={戴维斯，罗伯特一世和库库·格罗斯让，莉莉安娜}，title＝{{实时系统的概率可调度性分析技术综述}}，journal={Leibniz嵌入式系统事务}，页数={04:1--04:53}，ISSN={2199-2002}，年份={2019}，体积={6}，数字={1}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LITES-v006-i001-a004},doi={10.4230/LITES-v006-i001-a004}，annote={关键词：概率，实时，可调度性分析，调度，}}

摘要

引用为

James Orr、Chris Gill、Kunal Agrawal、Jing Li和Sanjoy Baruah。并行实时系统的弹性调度。在LITES第6卷第1期（2019年）中。《莱布尼茨嵌入式系统汇刊》，第6卷第1期，第05:1-05:14页，Schloss Dagstuhl–Leibniz Zentrum für Informatik（2019）

@文章{orr_et_al:LITES-v006-i001-a005，author={Orr、James和Gill、Chris和Agrawal、Kunal和Li、Jing和Baruah、Sanjoy}，title={{并行实时系统的弹性调度}}，journal={Leibniz嵌入式系统事务}，页码={05:1--05:14}，ISSN={2199-2002}，年份={2019}，体积={6}，数字＝{1}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LITES-v006-i001-a005},doi={10.4230/LITES-v006-i001-a005}，annote={关键词：并行实时任务，多处理器联合调度，弹性系数}}