Design of Safety-Critical Systems
This session describes system architectures which may be
used to improve the reliability and safety of critical systems,
including interlocks and guards, static and dynamic
redundancy, and safety kernels and firewalls. The architecture
decomposition approaches used in Def-Stan 00-56 and
IEC 61508 are described.