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.Such designs have been proposed in the literature for the most usually used codes. ... QB1 - - - - - - - - - BK } - - - - Bn F P l UP-DOWN COUNTER UF/DOWN I Ac -4-5 N dy V V VW Figure 14 : Test vectors generation for m out of n code checker.
|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|