EDCC-CARS

Keyphrases

Publications

2010

Marc Born, John M. Favaro, Olaf Kath
Application of ISO DIS 26262 in practice. EDCC-CARS (2010)
Rolf Johansson, Stefan Bunzel, Marc Graniou, Henrik Lönn, Håkan Sivencrona, Friedhelm Stappert
A road-map for enabling system analysis of AUTOSAR-based systems. EDCC-CARS (2010)
Yiannis Papadopoulos, Martin Walker, Mark-Oliver Reiser, Matthias Weber, De-Jiu Chen, Martin Törngren, David Servat, Andreas Abele, Friedhelm Stappert, Henrik Lönn, L. Berntsson, Rolf Johansson, Fulvio Tagliabo, Sandra Torchiaro, Anders Sandberg
Automatic allocation of safety integrity levels. EDCC-CARS (2010)
Martijn M. H. P. van den Heuvel, Reinder J. Bril, Peter van de Velde, Johan J. Lukkien
Towards verification-based development of in-vehicle safety critical software: a case study. EDCC-CARS (2010)
Christian Fotsing, Annie Geniet, Guy Vidal-Naquet
Tree scheduling versus sequential scheduling. EDCC-CARS (2010)
1st Workshop on Critical Automotive Applications: Robustness & Safety, CARS 2010 (EDCC Workshop), Valencia, Spain, 27 April 2010 EDCC-CARS (2010)
Takaji Fujiwara, Juan Manuel Estevez, Yoshinobu Satoh, Shigeru Yamada
A calculation method for software safety integrity level. EDCC-CARS (2010)
Daniel Schneider, Mario Trapp
Conditional safety certificates in open systems. EDCC-CARS (2010)
Raul Barbosa, Johan Karlsson
Opportunities from standardization in automotive safety assessment. EDCC-CARS (2010)
Christophe Jouvray, Grégoire Chartier, Nicolas François, Ismael Ripoll, Miguel Masmano, Alfons Crespo
Enforcing trust in control automotive platforms. EDCC-CARS (2010)
Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux
Use of formal methods for building qualified code generator for safer automotive systems. EDCC-CARS (2010)
Michael Stilkerich, Daniel Lohmann, Wolfgang Schröder-Preikschat
Memory protection at option. EDCC-CARS (2010)
Martin Mitzlaff, Rüdiger Kapitza, Wolfgang Schröder-Preikschat
Enabling mode changes in a distributed automotive system. EDCC-CARS (2010)
Hugues Cassé, Pascal Sainrat, Clément Ballabriga, Marianne De Michiel
Experimentation of WCET computation on both ends of automotive processor range. EDCC-CARS (2010)
Johan Nordlander, Rolf Johansson, Risat Mahmud Pathan
Unambiguous semantics in automotive timing modeling. EDCC-CARS (2010)
Dominique Bertrand, Sébastien Faucou, Yvon Trinquet
Temporal isolation for the cohabitation of applications in automotive embedded software. EDCC-CARS (2010)
Artur Schiefer, Volker Gruhn, Ruslan Hrushchak
VESBA: a middleware oriented architecture for virtualized embedded systems. EDCC-CARS (2010)
Marie-Agnès Peraldi-Frati, Arnaud Albinet
Requirement traceability in safety critical systems. EDCC-CARS (2010)