SGER: Modeling, Analysis, and Diagnosis for Safety of Distributed Hybrid Systems

题目：SGER：分布式混合系统的安全建模、分析和诊断分布式嵌入式系统遍及我们日常生活的各个方面，从家用电器到安全和关键任务系统，如汽车、飞机、制造过程、核电站和军事系统。这些工程系统由多个子系统组成，软件组件紧密集成到物理过程中。在设计时完全分析它们的行为在计算上是不可行的。高耦合复杂系统故障行为及其潜在传播的诊断缺乏全面的科学依据。常用的故障和失效模式临界性分析方法不能解决这些系统的详细相互作用，也不能扩展。一个关键的观察是，耦合子系统在物理层上通过与能量相关的交互进行交互，在逻辑层上通过通常由通信结构（如局域网、LAN或控制网络）促进的信息交换进行交互。这项探索性研究工作的目标和主要重点领域是双重的。(i)促进对由分布的、相互作用的子系统组成的复杂嵌入式系统的建模和行为分析的科学理解。这将需要开发集成异质范例的建模方法和语言，开发处理子系统交互的正式模型和机制，以及参数化模型以促进故障分析。（ii）开发安全分析和复杂分布式系统在线诊断的实用技术。在为分布式诊断构建系统框架的过程中，最大的挑战是指定子系统之间的耦合，以一种能够充分详细地捕获故障交互并集成到混合建模方法中的方式。以计算效率高的方式组合子系统诊断组件的结果也很重要。在这个项目中开发的科学和技术将告诉设计师如何建立更有效、可靠和可验证的系统。为了在即将毕业的工程师中快速传播，研究成果也将在范德比尔特大学的本科和研究生工程课程和实验室中介绍。除了定期出版物外，还将努力在这一领域举办一个重点讲习班。

CNS-0452067 Gautam Biswas Title: SGER: Modeling, Analysis, and Diagnosis for Safety of Distributed Hybrid SystemsDistributed embedded systems are pervading all aspects of our daily lives, from home appliances to safety and mission critical systems, such as automobiles, aircraft, manufacturing processes, nuclear plants, and military systems. These engineered systems consist of multiple subsystems with software components tightly integrated into physical processes. Complete analysis of their behaviors at design time is computationally infeasible. Diagnosis of fault behavior and its potential propagation through highly-coupled complex systems lacks a comprehensive scientific foundation. Commonly used methods for fault and failure mode criticality analysis do not address the detailed interactions of these systems and do not scale. A key observation is that the coupled subsystems interact at the physical level through energy-related interactions and at the logical level, by information exchange typically facilitated by a communication fabric such as a local area network LAN or control network. The objectives and primary thrust areas of this exploratory research effort are two-fold. (i) Advance the scientific understanding of modeling and behavior analysis of complex, embedded systems that are made up of distributed, interacting subsystems. This will require developing modeling methodologies and languages that integrate heterogeneous paradigms, developing formal models and mechanisms to handle subsystem interactions, and parameterizing the models to facilitate fault analysis. (ii) Develop practical technologies for safety analysis and online diagnosis of complex distributed systems. The significant challenge in building a systematic framework for distributed diagnosis is to specify the coupling between subsystems in a way that fault interactions are captured in sufficient detail and integrated into the hybrid modeling methodology. It is also important to combine the results of the subsystem diagnostic components in a computationally efficient manner.The science and technology developed in this project will inform designers in how to build more effective, reliable, and verifiable systems. For rapid dissemination through graduating engineers, research results will also be introduced in undergraduate and graduate engineering classes and laboratories at Vanderbilt University. Besides regular publications, efforts will be made to run a focused workshop in this area.