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

SGER：分布式混合系统安全性建模、分析和诊断

• 批准号: 0452067
• 负责人: Gautam Biswas
• 金额: $ 20万
• 依托单位: Vanderbilt University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2004
• 资助国家: 美国
• 起止时间: 2004-09-01 至 2006-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0452067&HistoricalAwards=false
• 关键词: SGER; Modeling; Analysis; Diagnosis; Safety

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.

CNS-0452067 Gautam Biswas标题：SGER：分布式混合系统的安全建模、分析和诊断分布式嵌入式系统正在渗透到我们日常生活的方方面面，从家用电器到安全和任务关键系统，如汽车、飞机、制造流程、核电站和军事系统。这些工程系统由多个子系统组成，其中软件组件紧密集成到物理流程中。在设计时完全分析它们的行为在计算上是不可行的。诊断故障行为及其在高度耦合的复杂系统中的潜在传播缺乏全面的科学基础。通常用于故障和故障模式危害性分析的方法不涉及这些系统的详细交互作用，也不能扩展。一个关键的观察是，耦合的子系统通过与能量相关的交互在物理级别上相互作用，在逻辑级别上通过通常由诸如局域网或控制网络之类的通信结构促进的信息交换而相互作用。这项探索性研究的目标和主要推力领域有两个方面。(I)提高对由分布式、交互作用的子系统组成的复杂嵌入式系统的建模和行为分析的科学认识。这将需要开发集成异类范例的建模方法和语言，开发处理子系统交互的正式模型和机制，并将模型参数化以便于故障分析。(2)开发用于复杂分布式系统的安全分析和在线诊断的实用技术。构建分布式诊断的系统框架的重大挑战是指定子系统之间的耦合，以便充分详细地捕获故障交互并将其集成到混合建模方法中。以计算高效的方式结合子系统诊断组件的结果也很重要。在该项目中开发的科学和技术将为设计人员提供如何建立更有效、更可靠和可验证的系统的信息。为了通过即将毕业的工程师快速传播，研究成果还将在范德比尔特大学的本科生和研究生工程课程和实验室中介绍。除定期出版物外，还将努力在这一领域举办一次有重点的讲习班。