CPS: Medium: GOALI: An Architecture Approach to Heterogeneous Verfication of Cyber-Physical Systems

本研究的目的是基于整个设计过程中使用的各种模型和方法所获得的信息，开发验证复杂网络物理系统安全性的新方法。该方法基于一种新的形式来表示具有网络组件、物理组件和这些领域之间的互连的系统体系结构。系统不同方面的不同工程模型将通过完整系统的网络物理体系结构相关联。将开发形式逻辑来表达和推理模型间的一致性，并从来自特定领域模型的信息中推断系统级属性。这个项目吗?S的智力价值在于创建了一个全面、统一的框架，用于验证包含丰富的网络和物理组件的系统的属性。新的形式化逻辑将使设计复杂系统所需的广泛工程领域和技术专长的信息集成成为可能。这将为现实世界的网络物理系统带来一种原则性的、严格的系统级验证工程方法。应用新方法验证协同交叉口避碰系统的安全性，将对更安全的汽车系统的新兴技术产生直接影响。一门关于网络物理系统的系统级设计的工程和计算机科学的新跨学科课程将培养一批具有开发安全关键系统所需的交叉技能的新骨干毕业生。还将开发创新的教育模块，以激励大学预科学生追求工程和计算机科学方面的教育和职业。

NSF CPS Proposal: 1035800ABSTRACTThe objective of this research is to develop new methods for verifying the safety of complex cyber-physical systems based on information derived from the wide variety of models and methods used throughout the design process. The approach is based on a new formalism to represent the architecture of systems with cyber components, physical components, and interconnections between these domains. Diverse engineering models of different aspects of the system will be associated through the cyber-physical architecture for the complete system. Formal logic will be developed to express and reason about inter-model consistency and to infer system-level properties from information derived from the domain-specific models. The project?s intellectual merit lies in the creation of a comprehensive, unified framework for verifying properties of systems rich in both cyber and physical components. The new formal logic will make it possible to integrate information from the wide range of engineering domains and technical expertise required to design complex systems. This will lead to a principled, rigorous approach to system-level verification engineering for real-world cyber-physical systems.The application of the new methodology to verify the safety of cooperative intersection collision avoidance systems will have immediate impact on emerging technologies for safer automobile systems. A new interdisciplinary course in engineering and computer science on system-level design of cyber-physical systems will prepare a new cadre of graduates with the cross-cutting skills needed to develop safety-critical systems. Innovative educational modules will also be developed to inspire pre-college students to pursue education and careers in engineering and computer science.