26. SAFECOMP 2007:
Nuremberg,
Germany
Francesca Saglietti, Norbert Oster (Eds.):
Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007.
Lecture Notes in Computer Science 4680 Springer 2007, ISBN 978-3-540-75100-7 BibTeX
Safety Cases
Impact of Security on Safety
- Richard Robinson, Mingyan Li, Scott Lintelman, Krishna Sampigethaya, Radha Poovendran, David von Oheimb, Jens-Uwe Bußer, Jorge Cuéllar:
Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety.
28-39
Electronic Edition (link) BibTeX
- Andreas Lang, Jana Dittmann, Stefan Kiltz, Tobias Hoppe:
Future Perspectives: The Car and Its IP-Address - A Potential Safety and Security Risk Assessment.
40-53
Electronic Edition (link) BibTeX
- Jean-Claude Laprie, Karama Kanoun, Mohamed Kaâniche:
Modelling Interdependencies Between the Electricity and Information Infrastructures.
54-67
Electronic Edition (link) BibTeX
Poster Session 1
Fault Tree Analysis
Safety Analysis
Security Aspects
Poster Session 2
- Derek Mannering, Jon G. Hall, Lucia Rapanotti:
Safety Process Improvement with POSE and Alloy.
252-257
Electronic Edition (link) BibTeX
- Horst Miedl, Jang-Soo Lee, Arndt Lindner, Ernst Hoffman, Josef Märtz, Young-Jun Lee, Jong-Gyun Choi, Jang-Yeol Kim, Kyoung-Ho Cha, Se Woo Cheon, Cheol-Kwon Lee, Gee-Yong Park, Kee-Choon Kwon:
Defense-in-Depth and Diverse Qualification of Safety-Critical Software.
258-263
Electronic Edition (link) BibTeX
- Jonny Vinter, Henrik Eriksson, Astrit Ademaj, Bernhard Leiner, Martin Schlager:
Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer.
264-269
Electronic Edition (link) BibTeX
- Falk Salewski, Stefan Kowalewski:
Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches.
270-275
Electronic Edition (link) BibTeX
- Fevzi Belli, Axel Hollmann, Nimal Nissanke:
Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study.
276-282
Electronic Edition (link) BibTeX
- Jürgen Mottok, Frank Schiller, Thomas Völkl, Thomas Zeitler:
A Concept for a Safe Realization of a State Machine in Embedded Automotive Applications.
283-288
Electronic Edition (link) BibTeX
Verification and Validation
Platform Reliability
Reliability Evaluation
Poster Session 3
Formal Methods
Static Code Analysis
Safety-Related Architectures
Copyright © Sat May 16 23:36:32 2009
by Michael Ley (ley@uni-trier.de)
