CSR-EHCS (EHS), TM: Compositional Technology for Safety-Critical Modular Systems

本研究的重点是开发概念和方法来评估和设计安全关键系统的属性保护接口。这些系统需要实时传感/控制，并依靠现有的网络基础设施进行协调和信息交换。这些系统的范围从配电网络和空中（或其他）交通控制系统到航空电子控制器和嵌入式汽车电子，其特点是具有离散和连续方面的高复杂性。由此产生的这些安全关键型互联系统的复杂行为挑战了传统的安全、保障和可靠性概念。它需要开发新的方法来理解如何获得这种模块化系统的组成，以及如何设计接口，不仅要实现健壮的操作和性能，还要确保用户之间的信任和隐私。这项研究寻求一种统一的、多方面的方法来解决这个问题。该方法是对模块化系统和接口设计的大量研究进行分解，以解决：交互模块系统中的状态估计及其对安全的影响；模块化混合动力系统的模型验证与性能检验以及开关离散和连续控制系统的组成模型和接口设计。该研究涉及分布式算法、鲁棒和容错设计、混合系统控制、性能评估、应用概率、图论、分布式估计和形式化方法等领域。这些应用于分析和理解具有实时传感和控制能力的模块化系统设计中涉及的权衡问题。该研究预计将对允许和实现关键网络基础设施在各种不同应用中的普遍使用产生重大影响。

This research focuses on developing concepts and methodologies to evaluate and design property-preserving interfaces for safety-critical systems. These are systems that require real-time sensing/control and rely on existing networking infrastructures for coordination and information exchange. These systems, which range from power distribution networks and air (or other) traffic control systems to avionic controllers and to embedded automotive electronics, are characterized by high complexity that is associated with both discrete and continuous aspects. The resulting intricate behavior of these safety-critical interconnected systems challenges traditional notions for safety, security, and reliability. It necessitates the development of new methodologies for understanding how to obtain compositions of such modular systems and how to design interfaces that achieve not only robust operation and performance but also ensure trust and privacy among users. The research seeks a unifying and multifaceted approach to this problem. The approach is to decompose the large body of research on modular systems and interface design to address: state estimation in interacting modular systems and implications to safety; model verification and property checking for modular hybrid systems; and compositional models and interface design in switched discrete and continuous control systems. The research draws on areas as diverse as distributed algorithms, robust and fault-tolerant design, hybrid system control, performance evaluation, applied probability, graph theory, distributed estimation, and formal methods. These are applied to the problem of analyzing and understanding the tradeoffs involved in the design of modular systems with real-time sensing and control capabilities. The research is expected to have significant impact in permitting and enabling the ubiquitous use of critical network infrastructures for a variety of diverse applications.