CSR/EHS - Certification of Safety-Critical Control Software

CSR/EHS - 安全关键控制软件认证

• 批准号: 0615025
• 负责人: Eric Feron
• 金额: $ 30.85万
• 依托单位: Georgia Tech Research Corporation
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2006
• 资助国家: 美国
• 起止时间: 2006-09-15 至 2010-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0615025&HistoricalAwards=false
• 关键词: CSR; EHS; Certification; Safety; Critical

Feron AbstractThis research seeks to lay down intellectual foundations for the static analysis of real-time control software as it interacts in closed-loop with physical systems. The approach taken is to cross-fertilize abstract interpretation and robust control system analysis. The goal is to combine the scalability of the former with the domain knowledge of the latter to support the development of static analyzers for embedded control software that can address systems containing several thousand lines of code. This cross-fertilization is facilitated by collaboration with one of the leading European teams working on abstract interpretation. The research is developing techniques for automatic generation of abstract models of control-related program semantics, using related abstract interpretation and robust control formalisms. The project also develops and adapts tools for validating the control-related program semantics, as they interact in closed-loop with the physical system. The work initially pursues the verification of simple properties, such as closed-loop system stability, continuing with more complex functional properties, such as reachability analyses to detect possible actuator saturation, and presence of limit cycles. The project currently focuses primarily on aerospace applications; however it will impact any other applicative field where computers manage physical artifacts, such as power plants, automobiles and medical devices. The multi-disciplinary nature of the project is expected to lead to new perspectives on both formal analysis and control systems, enabling practitioners to analyze their systems not only at the specification level, but also the implementation level. This project also includes the development of a new educational curriculum aimed at bringing embedded software and control systems analysis together. This curriculum, which includes undergraduate and graduate components, aims at producing a new engineering workforce that is competent in both disciplines and knows how to use them jointly to facilitate future needs in embedded software system certification.

Feron 摘要这项研究旨在为实时控制软件与物理系统闭环交互的静态分析奠定知识基础。所采取的方法是将抽象解释和稳健的控制系统分析结合起来。目标是将前者的可扩展性与后者的领域知识相结合，以支持嵌入式控制软件静态分析器的开发，该软件可以处理包含数千行代码的系统。 与从事抽象解释的欧洲领先团队之一的合作促进了这种交叉融合。 该研究正在开发使用相关抽象解释和鲁棒控制形式自动生成与控制相关的程序语义的抽象模型的技术。 该项目还开发和调整了用于验证与控制相关的程序语义的工具，因为它们与物理系统进行闭环交互。这项工作最初追求简单属性的验证，例如闭环系统稳定性，然后继续验证更复杂的功能属性，例如用于检测可能的执行器饱和度的可达性分析以及极限环的存在。 该项目目前主要侧重于航空航天应用；然而，它将影响计算机管理物理制品的任何其他应用领域，例如发电厂、汽车和医疗设备。该项目的多学科性质预计将为形式分析和控制系统带来新的视角，使从业者不仅能够在规范层面而且还能在实施层面分析他们的系统。 该项目还包括开发新的教育课程，旨在将嵌入式软件和控制系统分析结合在一起。该课程包括本科生和研究生部分，旨在培养一支新的工程队伍，他们能够胜任这两个学科，并知道如何联合使用它们来满足嵌入式软件系统认证的未来需求。