CARS Workshop
Critical Automotive applications:
Robustness & Safety

September 8, 2015


CARS workshop is focussing on architecture, methods and development techniques for safety-related automotive embedded systems and applications

Following two successful CARS venues, CARS@EDCC2010 and CARS@SAFECOMP2013, the third edition of CARS is colocated with EDCC 2015, Paris, France.



Submission deadline:        June 30, 2015  (up to 4 IEEE pages)

    Submission site:

Notification:                          July 30, 2015

Workshop:                            Sept 8, 2015

Important Dates

The increasing complexity of automotive applications, the challenges posed by autonomous vehicles, the need to master production costs using off-the-shelf components, the coexistence of critical and non-critical applications, and the emergence of new architectural paradigms have a strong effect on dependability of automotive embedded systems. This situation requires design and validation methods, but also tools to improve automotive systems robustness and their safety and security properties. The fast evolution of standards such as AUTOSAR and ISO26262 is a reality to incorporate novel features, more flexibility while improving robustness, security and safety.

The goal of the workshop is to bring together researchers and practitioners interested in the construction of critical automotive applications and systems. It will place the emphasis on

dependability issues, software engineering for robustness, security and safety issues, real-time embedded systems technologies, architectural software and hardware solutions, development processes for dependable automotive embedded systems.

CARS is a forum for on-going work exchange.

In particular, CARS aims at promoting and fostering discussion on novel ideas and techniques, possibly controversial approaches, a place where researchers and developers can share both real problems and innovative solutions.

Topics of interest for the workshop include (but are not limited to):

  1. Safety in the development processes and safety management.

  2. Combined approaches for safety and security

  3. Safety of the Intended Functionality (SOTIF)

  4. Autonomous systems, Car-to-X, ADAS and safety

  5. Hardware and software support for dependable automotive systems.

  6. Middleware and tool support for dependable embedded automotive systems.

  7. Open source approaches and integration of SEooC (Safety Elements out of Context).

  8. Real-time operating systems, WCET estimation, schedulability analysis.

  9. Modeling and code generation techniques.

  10. Software safety analysis and formal verification techniques for automotive systems.

  11. Coordination, communication, networking and distributed control architectures.

  12. Diagnosis approaches, failure data, practical experience reports of critical applications.

  13. Validation according to ISO 26262.

Application areas of interest to the workshop focus on the automotive domain but methods and techniques in other transport domains (e.g. aerospace, railways) are also welcome.

Workshop topics and goal

Contributions to the workshop

To contribute to the workshop, authors are invited to submit a position paper of up to 4 pages (IEEE format) before the submission deadline.

The program committee will carefully review each position paper. The review will focus not only on the paper's quality but also on its novelty and ability to engender fruitful discussions.

All authors of accepted position papers are invited to attend the workshop.

Accepted papers will be published on the open-access eternal publication archive HAL.


Workshop organizers

Jean-Charles Fabre (LAAS-CNRS, Toulouse, France)

Tilmann Ochs (BMW Car IT, Munich, Germany)

Philippe Quere (Renault TechnoCentre, Paris, France)

Mario Trapp (Fraunhofer IESE, Kaiserslautern, Germany)

Program committee — Academic members

Felicita Di Giandomenico, CNR Pisa, Italy

Sébastien, Faucou, University of Nantes, France

Christof Fetzer, University of Dresden, Germany

Pedro Gil-Vicente, UPV Valencia, Spain

Johan Karlson, Chalmers University, Sweden

Philip Koopman, Carnegie Mellon University, USA

Eliane Martins, Unicamp, Brazil

Yiannis Papadopoulos, University of Hull, UK

Peter Puchner, TU Wien, Austria

Matthieu Roy, LAAS-CNRS, France

Daniel Schneider, Fraunhofer IESE, Germany

Francoise Simonot, INRIA Nancy, France

Program committee — Industry members

Lukas Bulwhan, BMW Car IT, Germany

Philippe Cuenot, Continental, France

Olivier Guetta, Renault TCR, France

Mafijul Islam, Volvo Trucks, Sweden

Michel Leeman, VALEO, France

Markus Schurius, Audi Electronics Venture, Germany

Jürgen Schwarz, Daimler, Germany

Fluvio Tagliabo, FIAT, Italy

Fredrik Törner, Volvo Car Corporation, Sweden

Regis Valentin, Renault TCR, France

Publication chair

Matthieu Roy, LAAS-CNRS, France

Keynote Speaker: Simon FÜRST (BMW & AUTOSAR)

AUTOSAR the next generation – The Adaptive Platform


Simon FÜRST studied Aerospace Engineering at the Technical University of Munich. From 1993 till 2001 he was a research assistant at the department of System Dynamics and Flight Mechanics at the University of the Federal Armed Forces in Munich. His research area was on onboard autonomous, vision based systems for navigation and landing of airplanes and helicopters. From 2001 till 2002 he worked for IABG in Ottobrunn as a project leader and consultant for the qualification of the high risk avionics software in the tiger helicopter and the Eurofighter Typhoon. Since mid 2003 he is with BMW. There he is one of the authors of an internal software development standard for embedded software. From 2005 till March 2009 he was a member of the software group of the VDA NAA AA-I3 AK16 and a software expert in ISO TC22 SC3 WG16 working on ISO 26262, the functional safety standard for the automotive domain. In 2006, Fürst became BMW Project Leader for AUTOSAR. In 2008 he switched to the AUTOSAR Steering Committee. From July 2009 till March 2010 he was AUTOSAR Spokesperson. Currently he is General Manager for software development and software infrastructure and AUTOSAR Spokesperson for a 2nd time till end March 2016.

CARS will be held at Tower 26, 1st floor, corridor 26-25, room 105 (see instructions)

8h30: Registration and welcome address
9h00: Keynote speech Chair: Jean-Charles Fabre (LAAS)

AUTOSAR the next generation – The Adaptive Platform. Simon Fürst (BMW/Autosar)

↪︎ Download keynote slides: AUTOSAR_CARS@EDCC 2015.pdf

10:00: Break
10h30: Session 1 – Development process and safety Chair: Philippe Quéré (Renault)

How to Reach Complete Safety Requirement Refinement for Autonomous Vehicles

Carl Bergenhem, Rolf Johansson, Stig Ursing, Jonas Nilsson, Martin Törngren. (Qamcom R&T AB, SP Technical Research Institute of Sweden, Semcon, Volvo Car Corporation, KTH – Sweden)

Automotive Functional Safety and Robustness Never the Twain or Hand in Glove?

Roger Rivett, Ibrahim Habli, Tim Kelly (Jaguar Land Rover, University of York – UK)

Using Model-based Development for ISO26262 aligned HSI Definition

Georg Macher, Harald Sporer, Eric Armengaud, Christian Kreiner (Graz University of Technology & AVL – Austria)

The Importance of Active Choices in Hazard Analysis and Risk Assessment

Rolf Johansson (SP – Sweden)

12h00-13h30 : Lunch Break

13h30: Session 2 – Fault tolerant systems Chair: Tilmann Ochs (BMW Car IT)

Using formal methods for the development of safe application-specific RTOS for automotive systems

Toussaint Gautier Tigori Kabland, Jean-Luc Béchennec, Sébastien Faucou, Olivier Henri Roux (IRCCyN – France)

RACE RTE: A Runtime Environment for Robust Fault-Tolerant Vehicle Functions

Klaus Becker, Jelena Frtunikj, Meik Felser, Ludger Fiege, Christian Buckl, Stefan Rothbauer, Licong Zhang, Cornel Klein (Fortiss GmbH, Siemens AG Corporate R & T, Institute for Real-Time Computer Systems – Germany)

Towards Adaptive Fault Tolerance: From a Component-Based Approach to ROS

Michael Lauer, Matthieu Amy, William Excoffon, Matthieu Roy, Miruna Stoicescu (LAAS-CNRS – France)

Comparing Permanent and Transient Fault Tolerance of Multiple-core based Dependable ECUs

Masashi Imai and Tomohiro Yoneda (Hirosaki University, National Institute of Informatics – Japan)


15 :00 : Break
15h30 : Session 3 – Evolving & Autonomous systems Chair: Mario Trapp (IESE)

Program Analysis on Evolving Software

Daniel Kästner and Jan Pohland. (AbsInt GmbH, Germany)

● The Notion of Controllability in an autonomous vehicle context

Helen Monkhouse, Ibrahim Habli and John Mcdermid. (Protean Electric Ltd, University of York – UK)

An application software download concept for safety-critical embedded platforms

Christoph Dropmann, Drausio Linardi Rossi and Bastian Zimmer. (Fraunhofer IESE – Germany)

Some Open Safety Issues in Vehicular Networks

Gérard Lelann (INRIA – France)

17:00: Short Break

17h15: Session 4 – Security & documentation Chair: Matthieu Roy (LAAS)

Security Analysis of Linux Kernel Features for Embedded Software Systems in Vehicles

Ludwig Thomeczek (HAW Landshut, Germany)
Reconciling the ISO 26262-compliant and the agile documentation management in the Swedish context

Barbara Gallina and Mattias Nyberg (Mälardalen University, Scania CV – Sweden)

18h00: End of CARS 2015

Workshop Program (download pdf version)

All final versions of articles of the CARS workshop are available on the open-access eternal publication archive HAL.

↪︎ Browse the CARS 2015 HAL articles repository http://hal.archives-ouvertes/CARS2015

Workshop publications