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

NSF CPS提案：1035800摘要本研究的目的是开发新的方法来验证复杂的网络物理系统的安全性的基础上，从各种各样的模型和方法在整个设计过程中使用的信息。 该方法是基于一种新的形式主义来表示系统的架构与网络组件，物理组件，这些域之间的互连。 系统不同方面的多种工程模型将通过完整系统的网络物理架构关联起来。 将开发形式逻辑来表达和推理模型间的一致性，并从特定领域模型的信息中推断系统级属性。 项目？的智力价值在于创建一个全面的，统一的框架，用于验证富含网络和物理组件的系统的属性。 新的形式逻辑将使人们有可能整合信息，从广泛的工程领域和技术专业知识所需的设计复杂的系统。 这将导致一个原则性的，严格的方法，系统级验证工程的现实世界的网络物理system.The应用程序的新方法来验证的安全性，合作的交叉路口防撞系统将产生直接的影响，新兴技术，更安全的汽车系统。 一个新的跨学科课程，在工程和计算机科学的网络物理系统的系统级设计将准备一个新的骨干毕业生与跨领域的技能，需要开发安全关键系统。 还将开发创新的教育模块，以激励大学预科学生追求工程和计算机科学方面的教育和职业。

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.