ITR: COLLABORATIVE RESEARCH: Towards a Seamless Process for the Development of Embedded Systems

ITR：协作研究：实现嵌入式系统开发的无缝流程

• 批准号: 0205365
• 负责人: Aravinda Sistla
• 金额: --
• 依托单位: University of Illinois at Chicago
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2002
• 资助国家: 美国
• 起止时间: 2002-09-01 至 2007-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0205365&HistoricalAwards=false
• 关键词: ITR; COLLABORATIVE; RESEARCH; Towards; Seamless

Pnueli, Emerson, and SistlaCCR-0205571, CCR-0205483 and CCR-0205365"Towards a Seamless Process for the Development of Embedded Systems"Embedded systems are of vital economic importance and are literallybecoming ubiquitous. They have already become an integral component ofsafety critical systems involving aviation, military,telecommunications, and process control applications. Interest inembedded systems is growing further due to the expectation that theywill become a key component of many commonplace consumer appliances.Consumers will expect levels of reliability and predictabilityassociated with the very best brands of cars, televisions, andrefrigerators. Glitches, crashes, and general erratic behavior of thesort seen with prior generations of consumer PC software products willbe unacceptable for these embedded applications. It thus becomescrucial that these embedded software systems satisfy high levels ofcorrectness criteria, well above those of today's large softwaresystems, which are often highly error-prone.Besides the requirement of a new standard of functional correctness,embedded systems pose additional challenges which were not fullyaddressed by previous validation and verification approaches. Theseinclude adequate guarantees of timeliness, low or controlled powerconsumption, and low or controlled memory utilization. With thespread of embedded systems, and the need to guarantee an acceptablelevel of functionality and reliability of the applications they areembedded in, the industry needs an effective and reliable developmentprocess. Due to market constraints, such a process should also supporta fast turn-around time as well as enable the easy design of manycustomized variations of the same product.This project is developing the foundation for a seamless designprocess for embedded systems as described below. In particular, it isdeveloping: A formal visual language for requirements, including behavioral, temporal, and TPM constraints; A methodology for the automatic synthesis of an executable specification from the requirement specification language; A methodology for the verification of the intermediate and distributed representation of the systems against requirements; A methododology for automatic code-distribution of specifications, possibly with some architectural constraints provided by the user; A model for representing hardware/software co-design platforms that enables modeling of both loosely- and tightly-coupled components as well as compositional reasoning about them; Algorithms for automatically generating architecture-optimized code from executable specifications; Methods for translation validation of the generated code and run-time validation on the system using monitors; The Design of a profiler process which analyzes machine code, computes the resulting figures for time, power, and memory, and back-associate these figures with their executable specification sources, enabling early-stage analysis of these requirements.The impact of the project is to streamline and significantlyaccelerate the time to market of embedded applications of both newproducts and revisions and customizations of existing product lines.Another impact is to upgrade the level of dependability andpredictability of embedded software to new standards, compatible andcomparable to those expected from the best brands of consumerproducts.

Pnueli、Emerson 和 SistlaCCR-0205571、CCR-0205483 和 CCR-0205365“走向嵌入式系统开发的无缝流程” 嵌入式系统具有至关重要的经济重要性，并且正在变得无处不在。它们已经成为涉及航空、军事、电信和过程控制应用的安全关键系统的组成部分。 人们对嵌入式系统的兴趣进一步增长，因为人们期望它们将成为许多常见消费电器的关键组件。消费者将期望与最好的汽车、电视和冰箱品牌相关的可靠性和可预测性水平。前几代消费 PC 软件产品中出现的故障、崩溃和一般不稳定行为对于这些嵌入式应用来说是不可接受的。 因此，这些嵌入式软件系统必须满足高水平的正确性标准，远高于当今的大型软件系统的正确性标准，而这些系统往往很容易出错。除了功能正确性的新标准的要求之外，嵌入式系统还带来了以前的验证和验证方法未能完全解决的额外挑战。这些包括及时性的充分保证、低或受控的功耗以及低或受控的内存利用率。 随着嵌入式系统的普及，以及需要保证嵌入式应用程序的功能和可靠性达到可接受的水平，业界需要有效且可靠的开发流程。由于市场限制，这样的流程还应该支持快速周转时间，并能够轻松设计同一产品的许多定制变体。该项目正在为嵌入式系统的无缝设计流程奠定基础，如下所述。 特别是，它正在开发： 一种用于需求的正式视觉语言，包括行为、时间和 TPM 约束；一种从需求规范语言自动合成可执行规范的方法；根据需求验证系统的中间和分布式表示的方法；规范自动代码分发的方法，可能具有用户提供的一些架构约束；用于表示硬件/软件协同设计平台的模型，可以对松散和紧密耦合的组件进行建模以及对它们的组合推理；从可执行规范自动生成架构优化代码的算法；使用监视器对生成的代码进行翻译验证以及在系统上进行运行时验证的方法；设计分析器流程，分析机器代码，计算时间、功耗和内存的结果数据，并将这些数据与其可执行规范源反向关联，从而实现对这些需求的早期分析。该项目的影响是简化并显着加快新产品以及现有产品线的修订和定制的嵌入式应用程序的上市时间。另一个影响是提升可靠性水平 嵌入式软件符合新标准的可预测性，与最佳消费产品品牌的预期兼容和可比。