Object-oriented Development and Analysis of Embedded Systems

嵌入式系统的面向对象开发与分析

基本信息

批准号：
9901017
负责人：
Betty Cheng
金额：
$ 36.5万
依托单位：
Michigan State University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1999
资助国家：
美国
起止时间：
1999-08-15 至 2006-06-30
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9901017&HistoricalAwards=false
关键词：
Object oriented Development Analysis Embedded

项目摘要

9901017 Betty ChengThis project bridges the gap between formal and informal approaches to embedded systems development by formalizing part of the Unified Modeling Language (UML), an object-oriented modeling notation that is quickly becoming the de facto standard. Three of the UML notations, use cases, class diagrams, and state diagrams will be investigated; these three models sufficiently represent embedded-systems requirements. Through formalization, the models can be integrated into a single specification that can be analyzed for consistency, concurrency properties (e.g., deadlock, liveness), and constraint satisfaction. In choosing the representations, an assessment will be made as to how they can be analyzed using simulation, model checking, and a combination of these approaches. The specifications will also be assessed to determine how well they can be used to construct automated design transformations that refine the diagrams into design-level specifications. The investigations will yield a framework for systematically and rigorously developingembedded systems, where informal requirements are formalized and refined with design information to obtain the corresponding implementation. A prototype will be developed to support the graphical construction of the models, generate the corresponding specifications, and provide access to the analysis tools. The formalizations will be applied to increasingly complex case studies to ensure that the approach is applicable to real projects from industry.

9901017 Betty Cheng 该项目通过规范统一建模语言 (UML) 的一部分（一种面向对象的建模符号，很快成为事实上的标准），弥合了嵌入式系统开发的正式和非正式方法之间的差距。将研究三种 UML 符号、用例、类图和状态图；这三个模型充分代表了嵌入式系统的要求。通过形式化，模型可以集成到单个规范中，可以分析一致性、并发属性（例如死锁、活跃性）和约束满足。在选择表示方法时，将评估如何使用模拟、模型检查以及这些方法的组合来分析它们。还将对规范进行评估，以确定它们可以在多大程度上用于构建自动化设计转换，从而将图表细化为设计级规范。调查将产生一个系统地、严格地开发嵌入式系统的框架，其中非正式的需求通过设计信息进行形式化和细化以获得相应的实现。将开发一个原型来支持模型的图形构建，生成相应的规范，并提供对分析工具的访问。形式化将应用于日益复杂的案例研究，以确保该方法适用于行业的实际项目。