垂直

Vertaf:一个用于嵌入式实时软件设计和验证的应用框架。嵌入式实时软件需求的日益复杂,要求设计可重用的软件组件,合成和生成软件代码,自动保证性能、时间约束、可靠性和安全性等非功能属性。现有的针对嵌入式实时软件自动设计的应用框架在功能需求和非功能需求的集成方面存在不足。为了弥补这一差距,我们揭示了一个新提出的框架的设计流程和内部体系结构,该框架集成了基于软件构件的重用、形式综合和形式验证。提出了一种基于UML的嵌入式实时对象模型。形式综合采用准静态和准动态调度,自动生成多层可移植高效代码。形式化验证集成了SGM的模型检查器内核,使之适用于嵌入式软件。所提出的VERTAF架构是基于组件的,允许调度器和验证器即插即用。使用VERTAF开发应用程序实例大大减少了设计工作量,并说明了软件组件的高级重用与自动合成和验证相结合如何提高设计生产率。

这个软件也是同行评审按日记帐汤姆斯.


zbMATH参考文献(参考 4篇文章 参考)

显示第1到第4个结果,共4个。
按年份排序(引用)

  1. Bouabana Tebibel,Thouraya;Rubin,Stuart H.:使用Petri网的UML 2交互的交错语义(2013)
  2. 陈景舒;库尔卡尼,山德普:MR4UM:一个为UML状态图添加容错的框架(2013)
  3. 林朝生;吕春贤;林尚伟;陈妍茹;熊宝安:VERTAF/multi-core:基于SysML的多核嵌入式软件开发应用框架(2011)ioport公司
  4. Hung,Pao Ann;Lin,Shang Wei;Tseng,Chih Hao;Lee,Trong Yen;Fu,Jih Ming;See,Win Bin:嵌入式实时软件设计与验证的应用框架(2004)ioport公司