×

重温时间规范理论:线性时间视角。 (英语) Zbl 1374.68274号

Jurdziñski,Marcin(ed.)等人,时间系统的形式化建模和分析。2012年9月18日至20日,第十届国际会议,FORMATS 2012,英国伦敦。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33364-4/pbk)。计算机科学课堂讲稿7595,75-90(2012)。
摘要:我们考虑为具有关键时间约束的实时系统设置基于组件的设计。在我们早期工作的基础上,我们提出了一种具有I/O区分的时间自动机组合规格说明理论,该理论支持替换精化。我们的理论提供了在运行时组合组件的并行组合操作、独立开发的逻辑连接/分离以及增量合成的商。我们的时间理论的关键新颖之处在于,它是一个最弱的同余,既能保持安全性,又能保持有界活性。我们表明,一致性可以由两个线性时间语义、时间轨迹和时间策略来表征,后者是基于游戏对时间交互的解释。
关于整个系列,请参见[Zbl 1251.68022号].

MSC公司:

60年第68季度 规范和验证(程序逻辑、模型检查等)
第68季度第45季度 形式语言和自动机

软件:

ECDAR公司
PDF格式BibTeX公司 XML格式引用