On Diverse Programming for Vital Systems
1989; Elsevier BV; Volume: 22; Issue: 19 Linguagem: Inglês
10.1016/s1474-6670(17)52807-4
ISSN2589-3653
Autores Tópico(s)Systems Engineering Methodologies and Applications
ResumoAfter an introduction to safely terms and basic structures of vital process control systems a fundamental definition of diversity is given. Nowadays there are different interpretations of diverse system design: Diversity at run time of a system as ‘on line diversity’ and diversity according to software development process and the try to reproduce statements of system specification out of the object code (so called ‘respecification’) as ‘off line diversity’. Problems of efficiency, man-power for diverse development as well as the proof of sufficient diverse design will be discussed. Futhermore it is pointed out that there does not exist a complete theory on diverse design principle, but some chance may exist to use diversity principle in checking system specifications against each other.
Referência(s)