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

CSR-EHCS (EHS)，TM：安全关键型模块化系统的组合技术

• 批准号: 0834409
• 负责人: Petros Voulgaris
• 金额: $ 30万
• 依托单位: University of Illinois at Urbana-Champaign
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2008
• 资助国家: 美国
• 起止时间: 2008-09-15 至 2010-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0834409&HistoricalAwards=false
• 关键词: CSR; EHCS; EHS; TM; Compositional

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.

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