ITR: A Center for Safety-Critical Embedded Software

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

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.