Visible to the public Automotive

This call for position papers invites you to submit a position paper for an NSF, NIST, and USCAR sponsored group on Developing Dependable and Secure Embedded Systems from Components. The goal of this group is to address emerging challenges relative to reliability, availability, safety, and security attributes of software-intensive electronic automotive control systems. An example of such a system would be a self-driving vehicle that must adapt in order to navigate safely and efficiently through traffic in the presence of intersections, pedestrians and other traffic. Another example would be an emergency vehicle with advanced engine and transmission controls integrated with stability control that is able to instantly respond to driver input and road conditions and keep the vehicle in the lane while traversing a curve in icy conditions.

 

 

 

 

file

Visible to the public Verifiable Active Safety for Automotive Cyber-Physical Systems with Humans in the Loop

A recent trend in the automotive industry is the rapid inclusion of electronics, computers and controls that focus entirely on improved functionality and overall system robustness. This makes the automotive sector one of the richest targets for emerging innovations in Cyber-Physical Systems (CPS) [1]. While this trend has affected all of the vehicle areas, there is a particular interest in active safety that effectively complements passive safety. Passive safety is focused on the structural integrity of the vehicle.

file

Visible to the public A Unified Approach for Active Safety in Automotive Cyber Physical Systems

This position paper discusses limitations of the current automotive transportation active safety systems. A system approach can address all levels (the driver, the vehicle,and the traffic) of interconnection between machine, computer and human by leading to incorporating interactions and heterogeneity of different physical layers in a unified framework. The resulting analytical and computational infrastructure, with applications in crash avoidance and traffic flow management, is then discussed.

file

Visible to the public Challenges In Representing CPS Safety

This position paper describes the challenge of ensuring run-time safety in cyber-physical systems. The overarching problem is ensuring that computer-based systems will maintain safe operations even in the face of design-time and run-time faults. One way to address this problem is by creating an ability to perform run-time safety checks on CPS applications that can be used to record hazards, trigger emergency shutdowns (where doing so is safe), or perform other actions to minimize the consequences of an unsafe system behavior.