26. SAFECOMP 2007: Nuremberg, Germany

Safety Cases

Impact of Security on Safety

Poster Session 1

Fault Tree Analysis

Safety Analysis

Security Aspects

Poster Session 2

Verification and Validation

Platform Reliability

Reliability Evaluation

Poster Session 3

Formal Methods

Static Code Analysis

Safety-Related Architectures