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.