Facilitating the Modeling and Analysis of Distributed Real-time Embedded Systems

促进分布式实时嵌入式系统的建模和分析

• 批准号: 0541131
• 负责人: Betty Cheng
• 金额: $ 33万
• 依托单位: Michigan State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2006
• 资助国家: 美国
• 起止时间: 2006-03-15 至 2012-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0541131&HistoricalAwards=false
• 关键词: Facilitating; Modeling; Analysis; Distributed; Real

ABSTRACT0541131Betty ChengMichigan State UniversityTitle: Facilitating the Modeling and Analysis of Distributed Real-time Embedded Systems The demand for and complexity of distributed real-time embedded systems (DREs) has increased considerably in recent years, occurring in many applications, such as automotive, aerospace, manufacturing, medical systems, and telecommunication. The increase in the number and complexity of DREs strongly motivates the need for more rigorous, repeatable, and cost-effective development techniques. To address this challenge, we propose to develop a number of techniques and artifacts that will facilitate the modeling and analysis of DREs, with the intent of preventing and/or detecting errors in the early stages of development prior to design, coding, and fabrication. Specifically, we will develop extensions to UML to denote timing information applicable to DREs; develop object analysis patterns for DREs comprising templates for UML diagrams with DRE extensions; and develop timing-based formal specification patterns for specifying critical safety properties of DREs. The broader impact of this project is that by bridging informal, commonly-used techniques with rigorous, and more formal techniques, a larger development community is able to build higher quality models and DRE systems. For example, a natural-language front-end will be developed for the formal specifications to make the formal specification patterns more accessible to the broader DRE development community. In order to automatically analyze the UML diagrams, we will extend our previously developed UML formalization framework to automatically generate corresponding formal specifications from the UML diagrams with DRE extensions. These specification can then be analyzed by simulation or model checked for adherence to criticalproperties (specified with the specification patterns). Analysis errors will be visualized in terms of the original UML diagrams, thus facilitating a round-trip engineering approach to UML model creation and refinement. Both the UML and the formal specification patterns will developed based on analyses of projects obtained from industrial partners, thus further ensuring the utility and applicability to industrial projects.

Betty Cheng密歇根州立大学题目：促进分布式实时嵌入式系统的建模和分析近年来，在汽车、航空航天、制造业、医疗系统和电信等许多应用中，对分布式实时嵌入式系统（DRE）的需求和复杂性都有了相当大的增长。 DRE数量和复杂性的增加强烈地推动了对更严格、可重复和具有成本效益的开发技术的需求。 为了应对这一挑战，我们建议开发一些技术和工件，这将有助于建模和分析的DRE，在设计，编码和制造之前的早期开发阶段，防止和/或检测错误的意图。具体而言，我们将开发扩展UML表示适用于DRE的时间信息;开发对象分析模式DRE包括UML图与DRE扩展的模板;并开发基于时间的正式规范模式，用于指定DRE的关键安全属性。 该项目的更广泛的影响是，通过将非正式的常用技术与严格的更正式的技术相结合，更大的开发社区能够构建更高质量的模型和DRE系统。 例如，将为正式规范开发一个自然语言前端，使更广泛的DRE开发社区更容易使用正式规范模式。 为了自动分析的UML图，我们将扩展我们以前开发的UML形式化框架，自动生成相应的形式规格与DRE扩展的UML图。 这些规范可以通过模拟或模型来分析，以检查是否符合关键特性（由规范模式指定）。分析错误将在原始UML图中可视化，从而促进UML模型创建和细化的往返工程方法。 UML和形式规格说明模式都将基于对工业合作伙伴项目的分析而开发，从而进一步确保工业项目的实用性和适用性。