ITR: A Center for Safety-Critical Embedded Software

ITR：安全关键嵌入式软件中心

• 批准号: 0085829
• 负责人: Nancy Leveson
• 金额: $ 150万
• 依托单位: Massachusetts Institute of Technology
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2000
• 资助国家: 美国
• 起止时间: 2000-09-01 至 2004-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0085829&HistoricalAwards=false
• 关键词: ITR; Center; Safety; Critical; Embedded

The problems associated with building complex heterogeneous systems composed of computer, human, and electromechanical components are startingto overwhelm system and software engineers, resulting in failed projectsand accidents related to software behavior. As the complexity of the systems grows, so does the difficulty of ensuring safety. Model-based system and software engineering is an approach to building complex systems that is based on common models and specification languages that are understandable and reviewable by all the engineers on the project and by those who must interact with and use the automation as well. The research topics to be investigated are: (1) enhancing requirements specification reviewability, (2) assisting engineers in creating large, complex specifications, (3) minimizing the disruptions caused by changes in requirements, and (5) specifying and analyzing safety-related properties using the models.To ground the research, the new approaches will be applied experimentallyto the advanced air traffic control systems being developed andvalidated by Eurocontrol (the European Organization for the Safety ofAir Navigation). ATC provides a challenging testbed but the resultsof the research should be equally applicable to medical, defense,transportation, manufacturing, and other complex, real-time systems.

与构建由计算机、人和机电组件组成的复杂异构系统相关的问题开始使系统和软件工程师不堪重负，导致失败的项目和与软件行为相关的事故。 随着系统复杂性的增加，确保安全的难度也在增加。 基于模型的系统和软件工程是一种构建复杂系统的方法，它基于通用模型和规范语言，这些语言可以被项目中的所有工程师以及那些必须与自动化交互并使用自动化的人所理解和审查。 拟调查的研究课题为：（1）增强需求规格说明的可审查性，（2）协助工程师创建大型复杂规格说明，（3）最大限度地减少需求变化引起的中断，以及（5）使用模型指定和分析安全相关属性。这些新方法将在欧洲航空安全组织（Eurocontrol）正在开发和验证的先进空中交通管制系统中进行实验性应用。 ATC提供了一个具有挑战性的测试平台，但研究结果应该同样适用于医疗，国防，运输，制造和其他复杂的实时系统。