![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
8th EDCC 2010 CARS Workshop: Valencia, Spain
- Jean-Charles Fabre, Olivier Guetta, Mario Trapp:
1st Workshop on Critical Automotive Applications: Robustness & Safety, CARS 2010 (EDCC Workshop), Valencia, Spain, 27 April 2010. ACM International Conference Proceeding Series, ACM 2010, ISBN 978-1-60558-915-2
Safety and development process
- Marc Born, John M. Favaro, Olaf Kath:
Application of ISO DIS 26262 in practice. 3-6 - 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. 7-10 - Marie-Agnès Peraldi-Frati, Arnaud Albinet:
Requirement traceability in safety critical systems. 11-14
Architecture and robustness
- Michael Stilkerich, Daniel Lohmann
, Wolfgang Schröder-Preikschat:
Memory protection at option. 17-20 - 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. 21-24 - Dominique Bertrand, Sébastien Faucou
, Yvon Trinquet:
Temporal isolation for the cohabitation of applications in automotive embedded software. 25-28
Work in progress session
- Takaji Fujiwara, Juan Manuel Estevez, Yoshinobu Satoh, Shigeru Yamada:
A calculation method for software safety integrity level. 31-34 - 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. 35-38 - Johan Nordlander, Rolf Johansson, Risat Mahmud Pathan:
Unambiguous semantics in automotive timing modeling. 39-42 - Christophe Jouvray, Grégoire Chartier, Nicolas François, Ismael Ripoll
, Miguel Masmano, Alfons Crespo
:
Enforcing trust in control automotive platforms. 43-46 - Artur Schiefer, Volker Gruhn, Ruslan Hrushchak:
VESBA: a middleware oriented architecture for virtualized embedded systems. 47-50
Design and validation
- Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux:
Use of formal methods for building qualified code generator for safer automotive systems. 53-56 - Daniel Schneider, Mario Trapp:
Conditional safety certificates in open systems. 57-60 - Raul Barbosa
, Johan Karlsson:
Opportunities from standardization in automotive safety assessment. 61-63
Scheduling and real-time
- Hugues Cassé, Pascal Sainrat, Clément Ballabriga, Marianne De Michiel:
Experimentation of WCET computation on both ends of automotive processor range. 67-70 - Christian Fotsing, Annie Geniet, Guy Vidal-Naquet:
Tree scheduling versus sequential scheduling. 71-74 - Martin Mitzlaff, Rüdiger Kapitza, Wolfgang Schröder-Preikschat:
Enabling mode changes in a distributed automotive system. 75-78
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.