default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th 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
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.
last updated on 2024-11-08 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
