28. SAFECOMP 2009:
Hamburg,
Germany
Bettina Buth, Gerd Rabe, Till Seyfarth (Eds.):
Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings.
Lecture Notes in Computer Science 5775 Springer 2009, ISBN 978-3-642-04467-0
Invited Talks
- Anne Elisabeth Haxthausen:
A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems.
1-3
Medical Systems
Industrial Experience
Security Risk Analysis
Safety Guidelines
- Carlos G. Bilich, Zaijun Hu:
Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508.
103-117
- Michaela Huhn, Axel Zechner:
Analysing Dependability Case Arguments Using Quality Models.
118-131
- Zaijun Hu, Carlos G. Bilich:
Experience with Establishment of Reusable and Certifiable Safety Lifecycle Model within ABB.
132-144
Automotive
Aerospace
- Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri:
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems.
173-186
- Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer:
Formal Verification of a Microkernel Used in Dependable Software Systems.
187-200
- Brian Butka, Janusz Zalewski, Andrew J. Kornecki:
Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do.
201-214
Verification,
Validation,
Test
Fault Tolerance
Dependability
Copyright © Sat Nov 21 00:44:15 2009
by Michael Ley (ley@uni-trier.de)