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
Last update Wed May 22 16:26:24 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page