2nd International Workshop on Critical Automotive applications : Robustness and Safety

On-line proceedings

HAL collection of papers presented in workshops: http://hal.archives-ouvertes.fr/SAFECOMP2013-CARS

PROGRAM (Conference Room, LAAS - on the right in the main Hall)
9h-9h30: Welcome address (Workshop organizers)

9h30 – System safety (Chair: Philippe Quéré, Renault, France)

Aaron Kane and Philip Koopman.
Ride-through for Autonomous Vehicles

Anila Mjeda and Mike Hinchey.
CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software

Luis Azevedo, David Parker, Martin Walker, Yiannis Papadopoulos and Rui Esteves Araújo.
Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu Search

11h00 – Coffee break

11h30 – Keynote Speech (Chair: Jean-Charles Fabre, INPT, LAAS-CNRS, France)

Jean-Paul Blanquart, ASTRIUM Satellites, Toulouse, France.
Development assurance of safety critical industrial systems : a cross-domain cross-standard perspective

12h30 – Lunch break

14h00 – Security & Networking (Chair: Philip Koopman, CMU, USA)

Ivan Studnia, Vincent Nicomette, Eric Alata, Yves Deswarte, Mohamed Kaâniche and Youssef Laarouchi.
Security of embedded automotive networks: state of the art and a research proposal

Hector Marco, Juan Carlos Ruiz and David de Andrés.
Preventing Memory Errors in Networked Vehicle Services Through Diversification

Kostas Beretis and Ieroklis Symeonidis.
Experimental evaluation of end-to-end delay in switched Ethernet application in the automotive domain

15h30 – Coffee break

16h00 – Architecture & Assessment (Chair: Mario Trapp, IESE Kaiserslautern, Germany)

Hélène Martorell, Jean-Charles Fabre, Matthieu Roy and Régis Valentin.
Towards Dynamic Updates In AUTOSAR
Rolf Johansson, Henrik Eriksson, Hans Svensson, Kenneth Östberg, Thomas Arts, Alex Gerdes and Martin Skoglund.
Don’t Judge Software by Its (Code) Coverage
Valentina Bonfiglio, Leonardo Montecchi, Francesco Rossi and Andrea Bondavalli.
On the Need of a Methodological Approach for the Assessment of Software Architectures within ISO26262

17h30 – End –

18h30 Welcome Cocktail Toulouse Cityhall (Capitole), Salle des Illustres

MOTIVATION AND OBJECTIVES

The increasing complexity of automotive applications, 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 may 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 properties. The evolution of automotive systems is supported by standards (like AUTOSAR, ISO26262) that respectively advocate a software architecture but also recommend development approaches to improve system robustness 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.

Previous edition: CARS@EDCC2010

SCOPE AND TOPICS
The workshop is complementary to main track of SAFECOMP 2013 as it focuses on dependability issues in automotive embedded systems. This workshop is aimed at exploring the challenges and innovative solutions, in particular, on the following topics (but are not limited to):

• Safety in development processes and safety management.

• Hardware and software support for dependable automotive systems.

• Architectures for automotive application robustness.

• Middleware and tool support for dependable embedded automotive systems.

• Real-time operating systems, WCET estimation, etc.

• Modelling and code generation techniques.

• Analysis and verification techniques for automotive systems.

• Coordination, communication, networking and distributed control architectures.

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

Application areas of interest to the workshop focus on the automotive domain but also other fields of critical applications (e.g. aerospace, transport, nuclear, etc.), from which methods and techniques could be of interest for the automotive domain.

PARTICIPATION, SUBMISSION AND SELECTION PROCESS

To contribute to the workshop, authors are invited to submit a position paper of up to 6 pages max (Springer LNCS format): Information for LNCS Authors.

Papers that do not comply with this format will be rejected.

Submissions must be made electronically as a single PDF file to the submission web page.

On-going work and controversial statements about current technologies are welcome as well.

The accepted papers will be published on line. A printed version will be distributed to the participants.

IMPORTANT DATES
-------------------

Submission deadline: May 15, 2013 May 21, 2013 (extended)

Notification: June 20, 2013

Camera ready paper: July 1st, 2013

Contact: chairs-cars2013@laas.fr

Previous edition of the CARS workshop: CARS@EDCC2010

WORKSHOP ORGANIZERS

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

Philippe Quéré, Renault Technocentre, Paris, France

Mario Trapp, Fraunhofer IESE, Kaiserslautern, Germany

PROGRAM COMMITTEE

Jean-Marc Astruc, Continental, France
Nicolas Becker, PSA, France
Felicita Di Giandomenico, CNR Pisa, Italy
Sébastien Faucou, University of Nantes, France
Lars Grunske , University of Stuttgart, Germany
Olivier Guetta, Renault, France
Mafijul Islam, Volvo Trucks, Sweeden
Johan Karlson, Chalmers Univ, Sweeden
Philip Koopman, Carnegie Mellon Univ, USA
Michel Leeman, Valeo, France
Eliane Martins, Unicamp, Brazil
Mattias Nyberg, Scania, Sweeden
Yiannis Papadopoulos, University of Hull, UK
Peter Puchner, TU Wien, Austria
Alexander Romanovsky, University of Newcastle, UK
Matthieu Roy, LAAS-CNRS, France
Juan-Carlos Ruiz-Garcia , UPV Valencia, Spain
Markus Schurius, Audi Electronics Venture, Germany
Jürgen Schwarz, Daimler , Germany
Francoise Simonot , LORIA Nancy, France
Fluvio Tagliabo, FIAT, Italy
Fredrik Törner, Volvo Car Corporation, Sweeden
Regis Valentin, Renault, France