克洛诺斯

KRONOS是一个旨在验证复杂实时系统的工具。实时系统是必须在严格的时间期限内执行任务的系统。嵌入式控制器、电路和通信协议就是此类时间相关系统的例子。这些系统通常是复杂的安全关键应用程序的一部分,例如飞机航空电子设备,这些应用程序很难设计和分析,但必须确保其正确行为,因为故障可能会产生严重后果。因此,实时系统需要严格地建模和指定,以便能够正式地证明它们相对于所需需求的正确性。在KRONOS中,实时系统的组件用时间自动机建模,正确性要求用实时时序逻辑TCTL表示。


zbMATH中的参考文献(引用于 259篇文章,1标准件)

显示结果241到259的259。
按年份排序(引用)

以前的 1 2 ... 11 12 13

  1. Sifakis,Joseph:实时系统建模——挑战和工作方向(2001)
  2. Simons,David P.L.;Stoelinga,Mariëlle I.A.:使用Uppaal2k对IEEE 1394a根竞争协议的机械验证(2001)
  3. Springinveld,J.;Vaandrager,F.;D'Argenio,P.R.:测试时间自动机(2001)
  4. Tripakis,Stavros;Yovine,Sergio:使用时间抽象双模拟分析时间系统(2001)
  5. Bournez,Olivier;Maler,Oded:关于时间多面体的表示(2000)
  6. Bozga,Marius;Fernandez,Jean-Claude;Ghirvu,Lucian;Graf,Susanne;Krimm,Jean-Pierre;Mounier,Laurent:IF:定时异步系统的验证环境(2000)
  7. Brinksma,Ed;Mader,Angelika:PLC控制计划的验证和优化(2000)
  8. Cassez,Franck;Laroussinie,Francoçois:通过商和约束求解对混合系统进行模型检验(2000)
  9. Namjoshi,Kedar S.;Kurshan,Robert P.:自动抽象的语法程序转换(2000)
  10. Weininger,Nicholas;Cofer,Darren:用自旋建模ASCB-D同步算法:案例研究(2000)
  11. Alur,Rajeev;Fix,Limor;Henzinger,Thomas A.:事件时钟自动机:时间自动机的可确定类(1999)
  12. Davoren,J.M.:拓扑、连续性和互模拟(1999)
  13. Kesten,Y.;Pnueli,A.;Sifakis,J.;Yovine,S.:可判定积分图。(1999年)
  14. Kowalewski,S.;Engell,S.;Preußig,J.;Stursberg,O.:使用定时条件/事件系统模型验证连续设备的逻辑控制器(1999年)
  15. Jesper Moeller,Jakob,Lichtenberg,Jakob;Andersen,Henrik;Hulgaard,Henrik:使用差分决策图对定时系统的全符号模型检查(1999)
  16. 杰斯珀·默勒;雅各布利希滕贝格;安徒生,亨利克·赖夫;赫尔加德,亨利克:差异决策图(1999)
  17. 拉杰尔系统:离散时间系统
  18. Larsen,Kim G.;Steffen,B.;Weise,C.:实时和混合系统的连续建模:从概念到工具(1997)
  19. Yovine,Sergio:Kronos:实时系统的验证工具(1997)

以前的 1 2 ... 11 12 13