Abstract is missing.
- Application of ISO DIS 26262 in practiceMarc Born, John M. Favaro, Olaf Kath. 3-6 [doi]
- Automatic allocation of safety integrity levelsYiannis 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. 7-10 [doi]
- Requirement traceability in safety critical systemsMarie-Agnès Peraldi-Frati, Arnaud Albinet. 11-14 [doi]
- Memory protection at optionMichael Stilkerich, Daniel Lohmann, Wolfgang Schröder-Preikschat. 17-20 [doi]
- A road-map for enabling system analysis of AUTOSAR-based systemsRolf Johansson, Stefan Bunzel, Marc Graniou, Henrik Lönn, Håkan Sivencrona, Friedhelm Stappert. 21-24 [doi]
- Temporal isolation for the cohabitation of applications in automotive embedded softwareDominique Bertrand, Sébastien Faucou, Yvon Trinquet. 25-28 [doi]
- A calculation method for software safety integrity levelTakaji Fujiwara, Juan Manuel Estevez, Yoshinobu Satoh, Shigeru Yamada. 31-34 [doi]
- Towards verification-based development of in-vehicle safety critical software: a case studyMartijn M. H. P. van den Heuvel, Reinder J. Bril, Peter van de Velde, Johan J. Lukkien. 35-38 [doi]
- Unambiguous semantics in automotive timing modelingJohan Nordlander, Rolf Johansson, Risat Mahmud Pathan. 39-42 [doi]
- Enforcing trust in control automotive platformsChristophe Jouvray, Grégoire Chartier, Nicolas François, Ismael Ripoll, Miguel Masmano, Alfons Crespo. 43-46 [doi]
- VESBA: a middleware oriented architecture for virtualized embedded systemsArtur Schiefer, Volker Gruhn, Ruslan Hrushchak. 47-50 [doi]
- Use of formal methods for building qualified code generator for safer automotive systemsNassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux. 53-56 [doi]
- Conditional safety certificates in open systemsDaniel Schneider, Mario Trapp. 57-60 [doi]
- Opportunities from standardization in automotive safety assessmentRaul Barbosa, Johan Karlsson. 61-63 [doi]
- Experimentation of WCET computation on both ends of automotive processor rangeHugues Cassé, Pascal Sainrat, Clément Ballabriga, Marianne De Michiel. 67-70 [doi]
- Tree scheduling versus sequential schedulingChristian Fotsing, Annie Geniet, Guy Vidal-Naquet. 71-74 [doi]
- Enabling mode changes in a distributed automotive systemMartin Mitzlaff, Rüdiger Kapitza, Wolfgang Schröder-Preikschat. 75-78 [doi]