税收

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


zbMATH中的参考文献(参考文献21条,1标准件)

显示第1到第20个结果,共21个。
按年份排序(引用)
  1. 贾古里,穆罕默德·马赫迪;德波尔,弗兰克;朗德尔菲;乔西亚,汤姆;Sirjani,Marjan:实时参与者系统的组合可调度性分析(2017)
  2. Waez,医学博士Tawhid Bin;迪格尔,尤尔根;鲁迪,凯伦:用于实时系统开发的时间自动机综述(2013)
  3. 戈萨尔,阿卡德布;伊尔坎,丹尼尔;基尔希,克里斯托夫M。;亨辛格,托马斯A。;Sangiovanni Vincentelli,Alberto:将分层实时程序单独编译为线性有界嵌入式机器码(2012)ioport公司
  4. 朱磊;休恩,巴赫霍;罗伊乔杜里,阿比克;Chakraborty,Samarjit:Esterel规范的性能调试(2012)ioport公司
  5. 鲍尔,克尔斯廷;施耐德,克劳斯:从同步程序到混合系统的符号表示(2010)
  6. 布奇,贾科莫;卡内瓦利,劳拉;里迪,洛伦佐;Enrico Vicario:Oris:实时系统建模、验证和评估工具(2010)ioport公司
  7. 德波尔,弗兰克;乔西亚,汤姆;Jaghoori,Mohammad Mahdi:Creol中并发对象的模块化可调度性分析(2010)
  8. 德波尔,弗兰克S。;贾古里,穆罕默德·马赫迪;Johnsen,Einar Broch:确定并发对象的日期:实时建模和可调度性分析(2010)ioport公司
  9. 贾古里,穆罕默德·马赫迪;德波尔,弗兰克S。;乔西亚,汤姆;Sirjani,Marjan:异步实时并发对象的可调度性(2009)
  10. 比安科,维埃里德尔;拉瓦萨,路易吉;毛里,马可;Occorso,Giuseppe:面向基于uML的基于组件的实时软件的形式化规范(2007)ioport公司
  11. 卡洛尼,卢卡P。;路人,罗伯托;平托,亚历山德罗;Sangiovanni Vincentelli,Alberto L.:混合系统设计的语言和工具。(2006年)
  12. 波达尔,拉吉夫·库马尔;Bhaduri,Purandar:基于Giotto的嵌入式控制系统的验证(2006)
  13. 特里帕基斯,斯塔夫罗斯;尤文塞尔吉奥;Bouajjani,Ahmed:有效地检查定时Büchi自动机的空性(2005)
  14. 戈萨尔,阿卡德布;亨辛格,托马斯A。;基尔希,克里斯托夫M。;Sanvido,Marco A.A.:具有逻辑执行时间的事件驱动编程(2004)
  15. 德尔比安科,维埃里;拉瓦萨,路易吉;毛里,马可;Occorso,Giuseppe:面向基于UML的基于组件的实时软件的形式化规范(2003)
  16. Graf,Susanne:SDL中时间和持续时间限制的表达(2003)
  17. 迪伦塞格,布鲁诺;泰甘,安妮·玛丽;Hazard,Laurent:用Moorea反应式移动代理编程和执行电信服务逻辑(2002)
  18. 辜胜阻,约翰;朱迪思,朱丹;文学硕士,塞德里克;本杰明·霍洛维茨;Sangiovanni Vincentelli,阿尔伯托;Sastry,Shankar:多车辆多模态系统基于平台的嵌入式软件设计(2002)
  19. Sifakis,Joseph:基于控制器综合范式的调度器建模(2002)ioport公司
  20. 克罗斯,艾蒂安;波伊兹,米歇尔;普劳,雅克;斯法基斯,约瑟夫;Patrick Venter:TAXYS:实时嵌入式系统开发与验证工具(2001)