The proceedings of the fifth workshop in this subject continue the trend set by the previous four and discusses some of the current problems involved in the design and production of safe real-time computer systems. Topics covered include software quality assurance, software fault tolerance, design for safety, and reliability and safety assessment. Every paper details the theoretical and practical problems involved in the development of safe systems and should therefore be of interest to all those involved in systems design.AERO SPATIAL E is the design responsible of most of the computing systems on board of AIRBUS aamp; ATR aircraft. The primary requirement is safety, in the sense that when a computing system fails, its output must not be in a dangerous stateanbsp;...
|Title||:||Safety of Computer Control Systems 1986 (Safecomp '86) Trends in Safe Real Time Computer Systems|
|Author||:||W. J. Quirk|
|Publisher||:||Elsevier - 2014-06-28|