税收

实时嵌入式系统的开发和验证工具实时应用程序的正确行为不仅取决于计算结果的正确性,还取决于生成这些结果的时间。事实上,在嵌入式系统中,违反实时约束是最难检测的错误,因为它们对刺激系统的外部事件模式和系统本身的时序行为都非常敏感。显然,实时系统的开发需要严格的方法和工具来降低开发成本和“上市时间”,同时保证所生成代码的质量(特别是在时间约束方面)。上述需求推动了TAXYS工具的开发,该工具致力于实时电信软件的设计和验证。TAXYS工具的主要目标之一是生成一个形式化的模型,该模型捕捉由嵌入式计算机及其外部环境组成的整个应用程序的时间行为。为此,我们使用时间自动机的形式化模型。这种模型的选择允许使用可用的结果、算法和工具。这里,我们使用KRONOS模型检查器进行模型分析。TAXYS工具从应用程序的源代码(一个带有时间约束的ESTEREL程序)中生成一个顺序可执行代码,另一方面生成应用程序的定时模型。该模型再次与外部环境的时间模型组合,以获得全局模型,并对其进行静态分析以验证时间约束。这种验证应该通过限制冗长的测试和模拟会话显著缩短设计时间


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

显示第1到第20个结果,共21个。
按年份排序(引用)
  1. Jaghoori,Mohammad Mahdi;de Boer,Frank;Longuet,Delphine;Chothia,Tom;Sirjani,Marjan:基于实时角色的系统的组合可调度性分析(2017)
  2. Waez,Md Tawhid Bin;Dingel,Juergen;Rudie,Karen:实时系统开发的时间自动机调查(2013)
  3. Ghosal,Arkadeb;Iercan,Daniel;Kirsch,Christoph M.;Henzinger,Thomas A.;Sangiovanni Vincentelli,Alberto:将分层实时程序单独编译成线性有界嵌入式机器码(2012)ioport公司
  4. Ju,Lei;Huynh,Bach Khoa;Roychoudhury,Abhik;Chakraborty,Samarjit:Esterel规范的性能调试(2012)ioport公司
  5. Bauer,Kerstin;Schneider,Klaus:从同步程序到混合系统的符号表示(2010)
  6. Bucci,Giacomo;Carnevali,Laura;Ridi,Lorenzo;Vicario,Enrico:实时系统建模、验证和评估工具(2010)ioport公司
  7. de Boer,Frank;Chothia,Tom;Jaghoori,Mohammad Mahdi:Creol中并发对象的模块化可调度性分析(2010)
  8. de Boer,Frank S.;Jaghoori,Mohammad Mahdi;Johnsen,Einar Broch:确定并发对象的日期:实时建模和可调度性分析(2010)ioport公司
  9. Jaghoori,Mohammad Mahdi;de Boer,Frank S.;Chothia,Tom;Sirjani,Marjan:异步实时并发对象的可调度性(2009)
  10. Bianco,Vieri del;Lavazza,Luigi;Mauri,Marco;Occorso,Giuseppe:面向基于uML的基于组件的实时软件的形式化规范(2007)ioport公司
  11. Carloni,Luca P.;Passerone,Roberto;Pinto,Alessandro;Sangiovanni Vincentelli,Alberto L.:混合动力系统设计的语言和工具。(2006年)
  12. Poddar,Rajiv Kumar;Bhaduri,Purandar:基于Giotto的嵌入式控制系统验证(2006)
  13. Tripakis,Stavros;Yovine,Sergio;Bouajjani,Ahmed:有效地检查定时Büchi自动机的空性(2005)
  14. Ghosal,Arkadeb;Henzinger,Thomas A.;Kirsch,Christoph M.;Sanvido,Marco A.A.:具有逻辑执行时间的事件驱动编程(2004)
  15. Del Bianco,Vieri;Lavazza,Luigi;Mauri,Marco;Occorso,Giuseppe:面向基于UML的基于组件的实时软件的形式化规范(2003)
  16. Graf,Susanne:SDL中时间和持续时间限制的表达(2003)
  17. Dillenseger,Bruno;Tagant,Anne Marie;Hazard,Laurent:用Moorea反应式移动代理编程和执行电信服务逻辑(2002)
  18. Koo,T.John;Liebman,Judith;Ma,Cedric;Benjamin Horowitz;Alberto Sangiovanni Vincentelli;Sastry,Shankar:多车辆多模态系统基于平台的嵌入式软件设计(2002)
  19. Sifakis,Joseph:基于控制器综合范式的调度器建模(2002)ioport公司
  20. 克罗斯,艾蒂安;波伊兹,米歇尔;普劳,雅克;斯法基斯,约瑟夫;文特,帕特里克:用于开发和验证实时嵌入式系统的工具(2001)