Visible to the public Automotive CPS Workshops

The goal of this workshop series is to continue to define and refine the technology needs and gaps for deeply-embedded software-intensive electronic control systems that interact deeply with the physical world in ways that have stringent reliability, availability, and safety requirements



Visible to the public Holistic Data-Driven Diagnosis for Dependable Automotive Systems

Despite extensive design processes, emergent behavior will still appear at run-time in dependable automotive systems. Such behavior occurs due to unexpected or unidentifieded interactions and dependencies between system components. These interactions are unidentifieded due to a disconnect between various stages of the design process. A diagnostic advisor that synthesizes data from each stage of the product lifecycle provide a more accurate design-time characterization of the system, as well as more robust run-time operation.


Visible to the public Trains, Planes, and Automobiles

Car and airplane designers each have lessons that they can teach the other. This paper concentrates on what we think automotive designers can learn from aircraft designers, with a short note on the converse. We will also consider some key issues that both disciplines need to work on.


Visible to the public Towards Computational Resources-Aware Control Solutions for Automotive CPS

Automotive cyber-physical systems will need to address self-parking, advanced steering control, hazardous situation recovery, limited autonomous driving, and even more complex tasks in the coming decades. Verification of the safe behavior of these tasks for multiple vehicle configurations (weight, wheelbase, front/rear/all-wheel drive, etc.) will require significant advancements in the computational theory, as well as new approaches to compose behaviors and computational constraints with hybrid control theory and system modeling.


Visible to the public AutoPlug: An Open Experimental Platform for Automotive ECU Testing, Updates and Verification

In 2010, over 20.3 million vehicles were recalled. Software issues related to automotive controls such as cruise control, anti-lock braking system, traction control and stability control, account for an increasingly large percentage of the over-all vehicles recalled. There is a need for new and scalable methods to evaluate automotive controls in a realistic and open setting. We have developed AutoPlug, an automotive Electronic Controller Unit (ECU) test-bed to diagnose,


Visible to the public Design Automation Challenges in Automotive CPS

In principle, best-effort technologies can be used for building each individual automotive cyber-physical system (CPS) from the ground-up, through careful design, testing, and verification. Each such undertaking, however, is technically challenging, error-prone, and expensive. Since many of these systems share common challenges, employ common design patterns, and verification principles, it is expected that generic software tools for automating design, testing, and verification can alleviate these challenges.


Visible to the public Modeling and Verifying Intelligent Automotive Cyber-Physical Systems

Exhaustive state space exploration based verification of cyber-physical system designs remains a challenge despite five decades of active research into formal verification. On the other hand, models of intelligent automotive cyber-physical systems continue to grow in complexity. The testing of intelligent automotive models often uses human subjects, is expensive, and can not be performed unless the system has already been prototyped and is ready for human interaction. We propose the use of machine learning methods to learn stochastic models of human-vehicle interaction.