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.