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.