ABSTRACT
Many modem digital control systems use multiprocessor architectures. This paper discusses the analysis of the safety of the software in these control system architectures, presenting an integration of two techniques, software fault tree analysis and timed Petri net analysis. This integration is demonstrated using an analysis of a military flight control system.
