Workshop CARS@EDCC2010

Critical Automotive applications: Robustness & Safety

April 27, 2010

PRELIMINARY PROGRAM

___________________________________________________________________

REGISTRATION, 08:00:00-08:30:00

WELCOME ADDRESS, 08:30:00-08:45:00

Chaired by CARS organizers

KEYNOTE SPEECH, 08:45:00-09:30:00

Speaker : to be announced shortly

Chaired by Mario Trapp (Fraunhofer IESE, Kaiserslautern, Germany)

SESSION 1: SAFETY AND DEVELOPMENT PROCESS, 09:30:00-10:30:00

Chaired by (to be determined)

1. Application of ISO DIS 26262 in Practice,
   Marc Born, John Favaro, Olaf Kath (ikv++ technologies ag Berlin, Germany ), John Favaro (Intecs S.p.A. Pisa, Italy), Olaf Kath (ikv++ technologies Berlin, Germany)
2. Automatic Allocation of Safety Integrity Levels,
   Yiannis Papadopoulos, Martin Walker, (University of Hull, UK), David Servat (CEA-List DTSI/SOL/LISE, France), Rolf Johansson (Mentor Graphics, Sweden), Mark-Oliver Reiser (Technische Universität Berlin, Germany), A. Abele & F.Stappert (Continental Automotive GmbH, Germany), F. Tagliabo & S.Torchiaro (Centro Ricerche Fiat S.C.p.A.,Italy), D. Chen & M. Törngren (Royal Institute of Technology Stockholm, Sweden), H. Lonn & L. Berntsson (Volvo Technology Corp.,Sweden), Matthias Weber (Carmeq AG, Germany)
3. Requirement traceability in safety critical systems,
   Marie-Agnès Peraldi-Frati (CNRS, University of Nice Sophia-Antipolis, INRIA, France), Arnaud Albinet (Continental Automotive SAS Toulouse, France)

BREAK, 10:30:00-11:00:00

SESSION 2: ARCHITECTURE FOR ROBUSTNESS, 11:00:00-12:00:00

Chaired by (to be determined)

1. Memory Protection at Option,
Michael Stilkerich, Daniel Lohmann, Wolfgang Schröder-Preikschat (Friedrich-Alexander University Erlangen-Nuremberg, Germany)

2. A Road-Map for Enabling System Analysis of AUTOSAR-Based Systems,
Stefan Bunzel (Continental Automotive Frankfurt, Germany), Marc Graniou (PSA Peugot Citroën Vélizy, France), Rolf Johansson (Mentor Graphics Göteborg, Sweden), Henrik Lönn (Volvo Technology Göteborg, Sweden), Håkan Sivencrona (Mecel Engine Systems Göteborg, Sweden), Friedhelm Stappert (Continental Automotive Regensburg, Germany)

3. Temporal isolation for the cohabitation of applications in automotive embedded software,
Dominique Bertrand, Sebastien Faucou, Yvon Trinquet (IRCCyN, Université de Nantes, France)

WRAP-UP SESSION, 12:00:00-12:45:00

Chaired by Morning sessions chairs

Morning sessions discussion

LUNCH, 13:00:00-14:30:00

WORK IN PROGRESS SESSION, 14:30:00-15:30:00

Chaired by Jean-Charles Fabre (LAAS-CNRS, University of Toulouse, INP, France)

Final list of papers to be announced shortly

SESSION 3: DESIGN AND VALIDATION, 15:30:00-16:30:00

Chaired by (to be determined)

1. Use of Formal Methods for Building Qualified Code Generator for Safer Automotive Systems, Nassima Izerrouken (Continental Automotive, Université de Toulouse/IRIT, France), Olivier Ssi Yan Kai (Continental Automotive Toulouse, France), Marc Pantel (Université de Toulouse/IRIT, France), Xavier Thirioux (Université de Toulouse/IRIT, France)
2. Conditional Safety Guarantees in Open Systems,
   Daniel Schneider, Mario Trapp (Fraunhofer Institute for ExperimentalSoftware Engineering, IESE Kaiserslautern, Germany)
3. Opportunities from Standardization in Automotive Safety Assessment,
   Raul Barbosa, Johan Karlsson (Chalmers University of Technology Göteborg, Sweden)

BREAK, 16:30:00-17:00:00

SESSION 4: SCHEDULING AND REAL-TIME, 17:00:00-18:00:00

Chaired by (to be determined)

1. Experimentation of WCET computation on both ends of automotive processor range,
   Hugues Cassé, Pascal Sainrat, Clément Ballabriga, Marianne De Michiel (Université de Toulouse, IRIT, France)
2. Tree scheduling versus sequential scheduling,
   Christian Fotsing, Annie Geniet (LISI, ENSMA, France), Guy Vidal-Naquet (Supelec, France)
3. Enabling Mode Changes in a Distributed Automotive System,
   Martin Mitzlaff (Ingolstadt Institute of the Friedrich-Alexander University Erlangen-Nuremberg, Germany), Rüdiger Kapitza, Wolfgang Schröder-Preikschat (Friedrich-Alexander University Erlangen-Nuremberg, Germany)

WRAP-UP SESSION, 18:00:00-18:45:00

Chaired by Afternoon sessions chairs

Afternoon sessions discussion

CLOSING ADDRESS, 18:45:00-19:00:00

Chaired by CARS organizers

Organizers final comments

___________________________________________________________________