Investigation of a Robust Software Architecture for Safety-Critical Applications

针对安全关键应用的鲁棒软件架构的研究

• 批准号: 9803993
• 负责人: Farokh Bastani
• 金额: $ 4.11万
• 依托单位: University of Texas at Dallas
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1998
• 资助国家: 美国
• 起止时间: 1998-09-01 至 2000-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9803993&HistoricalAwards=false
• 关键词: Investigation; Robust; Software; Architecture; Safety

Software for safety-critical control systems must be highly reliable since failures can have catastrophic consequences. A novel approach is proposed for assuring ultrahigh reliability requirements for these systems using multiple program versions that satisfy different functionalities. One version implements the safety-critical functions of the system while other versions provide more optimal and refined control. Each program is a general relation that computes all possible outputs for an input. The system output is obtained from the intersection of all the output sets with a guarantee that the safety-critical version will never be violated. This approach allows the reliability of the system to be assessed cost-effectively. It also facilitates the use of advanced adaptive and learning control algorithms for the non-safety-critical versions. The project includes analysis of the properties of the architecture, syntax and semantics of relational programs, efficient relational composition methods, cost-effective reliability assessment methods, supporting tools for writing, executing, and dynamically composing relational programs, and evaluation of the diverse-capability architecture using several problems. The successful completion of this research will result in a scientifically rigorous and practical approach for achieving certifiable high assurance for safety-critical systems.

安全关键控制系统的软件必须高度可靠，因为故障可能会造成灾难性后果。 提出了一种新颖的方法，使用满足不同功能的多个程序版本来确保这些系统的超高可靠性要求。一种版本实现系统的安全关键功能，而其他版本则提供更优化和更精细的控制。 每个程序都是一个通用关系，用于计算输入的所有可能输出。 系统输出是从所有输出集的交集获得的，并保证安全关键版本永远不会被违反。这种方法可以经济高效地评估系统的可靠性。 它还有助于在非安全关键版本中使用先进的自适应和学习控制算法。 该项目包括对关系程序的体系结构、语法和语义的属性分析，高效的关系组合方法，经济有效的可靠性评估方法，用于编写、执行和动态组合关系程序的支持工具，以及使用多个问题评估多样化功能体系结构。 这项研究的成功完成将为安全关键系统实现可认证的高保证提供科学严谨且实用的方法。