CPS: Synergy: Collaborative Research: Collaborative Vehicular Systems

随着自动驾驶汽车被引入道路网络，必须建立和保证由此产生的交通系统的整体安全性和效率。许多与现有汽车系统相关的关键软件召回表明，目前的设计实践还无法应对这一挑战。该项目旨在解决这一问题，通过开发方法来分析和协调完全和部分自动驾驶汽车的网络，这些网络与道路上的传统人工驾驶汽车相互作用。通过开发数学框架和相应的软件工具来分析一类将物理、机械和生物组件与纯计算组件相结合的系统的安全性和可靠性，研究结果预计也将有助于其他具有可扩展可配置分层结构的网络物理系统的安全性。该项目研究涵盖四个技术领域：自动驾驶和人类控制的协同驾驶；异构分布式计算系统的调度计算V2X（车对车和车对基础设施）网络的安全和信任；以及通过半虚拟环境和场景验证V2X系统。本研究的集成方面是为网络物理系统（CPS）开发分布式系统演算，使协作车辆系统的建模、仿真和分析成为可能。开发一个全面的框架来建模、分析和测试重构、分层控制、安全和信任，这使本研究与以前解决相同问题的尝试有所不同。教育和拓展活动包括在本科和研究生课程中整合项目研究，以及在俄亥俄州立大学通过“女性参与工程”项目为高中生举办的夏令营。

As self-driving cars are introduced into road networks, the overall safety and efficiency of the resulting traffic system must be established and guaranteed. Numerous critical software-related recalls of existing automotive systems indicate that current design practices are not yet up to this challenge. This project seeks to address this problem, by developing methods to analyze and coordinate networks of fully and partially self-driving vehicles that interact with conventional human-driven vehicles on roads. The outcomes of the research are expected to also contribute to the safety of other cyber-physical systems with scalable configurable hierarchical structures, by developing a mathematical framework and corresponding software tools that analyze the safety and reliability of a class of systems that combine physical, mechanical and biological components with purely computational ones.The project research spans four technical areas: autonomous and human-controlled collaborative driving; scheduling computations over heterogeneous distributed computing systems; security and trust in V2X (Vehicle-to-Vehicle and Vehicle-to-Infrastructure) networks; and Verification & Validation of V2X systems through semi-virtual environments and scenarios. The integrating aspect of this research is the development of a distributed system calculus for Cyber-Physical Systems (CPS) that enables modeling, simulation and analysis of collaborative vehicular systems. The development of a comprehensive framework to model, analyze and test reconfiguration, hierarchical control, security and trust differentiates this research from previous attempts to address the same problem. Educational and outreach activities include integration of project research in undergraduate and graduate courses, and a summer camp at Ohio State University for high-school students through the Women in Engineering program.