Safety of computer control systems: Challenges and results in software development

Annual Reviews in Control

Volumn 27 I, Issue 1, 2003, Pages 23-37

  Zalewski, Janusz ^a   Ehrenberger, Wolfgang ^b   Saglietti, Francesca ^c   Gorski, Janusz ^d   Kornecki, Andrew ^e  

^a FLORIDA GULF COAST UNIVERSITY   (United States)

^b University of Applied Science Fulda   (Germany)

^c Institute for Safety Technology   (Germany)

^d GDANSK UNIVERSITY OF TECHNOLOGY   (Poland)

^e EMBRY RIDDLE AERONAUTICAL UNIVERSITY   (United States)

Author keywords

FMEA; Formal verification; Off the shelf software; Rigorous development; Software diversity; Software safety; UML

Indexed keywords

ACCIDENT PREVENTION; COMPUTER CONTROL SYSTEMS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; FAILURE ANALYSIS; OBJECT ORIENTED PROGRAMMING; RISK ASSESSMENT;

FAILURE MODE AND EFFECT ANALYSIS; FORMAL VERIFICATION; OFF-THE-SHELF SOFTWARE; SOFTWARE DIVERSITY; SOFTWARE SAFETY; UNIFIED MODELING LANGUAGE;

SOFTWARE ENGINEERING;

EID: 0141724945     PISSN: 13675788     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1367-5788(03)00004-X     Document Type: Short Survey

References (32)

1. Al-Daraiseh, A., Zalewski, J., & Toetenel, H. (July 22-25, 2001). Software verification in ground transportation systems. In Proceedings of the SCI2001, 5th world multiconference on systemics, cybernetics and informatics. Orlando, FL.
2. Ammerlaan, M., Spelberg, R. L., & Toetenel, H. (1998). XTG - An engineering approach to modelling and analysis of real-time systems. In Proceedings of the 10th euromicro workshop on real-time systems (pp. 88-97). IEEE Computer Society Press.
3. Anderson, E., van Katwijk, J., & Zalewski, J. (August 16-21, 1999) New method of improving software safety in mission critical real-time systems. In Proceedings of the 17th international system safety conference (pp. 587-596). Orlando, FL, System Safety Society, Unionville, VA.
4. Bishop, P. (Ed.). (1990) Dependability of critical computer systems: Guidelines. Techniques directory. London: Elsevier Applied Science.
5. Cichocki, T., & Górski, J. (2000) Failure mode and effect analysis for safety critical systems with software components. In Proceedings of the SAFECOMP 2000, 19th international conference on computer safety, reliability and security (pp. 382-394). Berlin: Springer-Verlag.
6. Cichocki, T., & Górski, J. (2001) Formal support for fault modelling and analysis. In Proceedings of the SAFECOMP 2001, 20th international conference on computer safety, reliability and security (pp. 190-199). Berlin: Springer-Verlag.
7. Eckhardt, Jr., Q.E., Lee, L.D., 1985 A theoretical basis for the analysis of multiversion software subject to coincident errors. IEEE Transactions on Software Engineering SE-11 (12), 1511-1517.
8. Ehrenberger, W. (July 22-25, 2001a). Software diversity: Some considerations on failure dependency. In Proceedings of the SCI2001, 5th world multiconference on systemics, cybernetics and informatics. Orlando, FL.
9. Ehrenberger, W. (2001b). Software-verification. Munich: Hanser Verlag.
10. Ehrenberger, W., & Saglietti, F. (May 12-14, 1993). Architecture and safety qualification of large software systems. In Proceedings of the ESREL'93, European safety and reliability conference (pp. 985-999). Munich, Germany, Elsevier, Amsterdam.
11. FDR. (1997) Failures-divergence refinement, FDR2. Oxford, UK: Formal Systems (Europe) Ltd. http://www.formal.demon.co.uk/FDR2.html.
12. Górski, J. (September 25-29, 2000). Application of system level analysis techniques to ensure safety of embedded software. In Proceedings of the 2nd world congress for software quality (pp. 149-154). Yokohama, Tokyo: Union of Japanese Scientists and Engineers.
13. Hillburn, T., & Zalewski, J. (1996). Real-time safety critical systems: An overview. In Proceedings of the 2nd IFAC workshop on safety and reliability in emerging control technologies (pp. 127-138). Oxford: Elsevier.
14. Kornecki, A., Nasah, B., & Zalewski, J. (November 4-7, 1998). TCAS safety analysis using timed environment-relation Petri nets. In Proceedings of the ISSRE'98, international symposium on software reliability engineering. Germany: Paderborn.
15. Kornecki, A., & Zalewski, J. (February 11-13, 2003). Assessment of software development tools for safety-critical real-time systems. In Proceedings of the PDS2003, IFAC workshop on programmable devices and systems. Czech Republic: Ostrava.
16. Leveson, N., Cha, S.S., Shimeall, T.J., 1991. Safety verification of Ada programs using software fault trees. IEEE Software 8 (7), 48-59.
17. Leveson, N. (1996). Safeware: System safety and computers. Reading, MA: Addison-Wesley.
18. Littlewood, B., & Miller, D. R. (1987) A conceptual model of multiversion software. In Proceedings of the FTCS-17, international symposium on fault-tolerant computing (pp. 170-175). IEEE Computer Society Press.
19. Maier, T. (September 12-15, 1995). FMEA and FTA to support safety design of embedded software in safety-critical systems. In Proceedings of the ENCRESS conference on safety and reliability of software based systems. Belgium: Bruges.
20. Mojdehrakhsh, R., Tsai, W.T., Kirani, S., Elliott, L., 1994. Retrofitting software safety in an implantable medical device. IEEE Software 11 (1), 41-50.
21. Pezze, M. (1994). Cabernet: A customizable environment for the specification and analysis of real-time systems. Technical Report, Dip. di Elettronica e Informazione, Politecnico di Milano, Italy.
22. Redmill, F., Chudleigh, M., & Catmur, J. (1999). System safety: HAZOP and software HAZOP. New York: John Wiley and Sons.
23. Roscoe, A. W. (1998). The theory and practice of concurrency. London: Prentice Hall.
24. Roubtsova, E. E., van Katwijk, J., & Toetenel, W. J. (2001). Transformation of UML specification to XTG. In Proceedings of the Andrei Ershov 4th international conference (pp. 249-256). Novosibirsk, Russia, Springer-Verlag, Berlin.
25. Rushby, J., 1994. Critical system properties: Survey and taxonomy. Reliability Engineering and System Safety 43, 189-219.
26. Saglietti, F., Ehrenberger, W., & Kersken, M. (1992). Software Diversität für Steuerungen mit Sicherheitsverantwortung. Report BAU-Forschungsbericht FB 664, Bundesanstalt für Arbeitsschutz, Dortmund.
27. Saglietti, F. (1998) Integration of logical and physical properties of embedded systems by use of timed Petri nets. In Proceedings of the SAFECOMP'98, 17th international conference on computer safety, reliability and security (pp. 319-328). Berlin: Springer-Verlag.
28. Saglietti, F. (2000a). Evaluation of pre-developed software for use in safety-critical systems. In Proceedings of the EUROMICRO'2000, 26th euromicro conference on software process and product improvement (Vol. 2, pp. 193-199). IEEE Computer Society Press.
29. Saglietti, F. (November 27-December 1, 2000b). Statistical significance of expert judgement for ultrahigh software reliability demands. In Proceedings of the 5th international conference on probabilistic safety assessment and management. Osaka, Japan: Universal Academy Press.
30. Saglietti, F. (July 22-25, 2001). Criticality and sensitivity analysis for off-the-shelf components in safety-relevant systems. In Proceedings of the SCI2001, 5th world multiconference on systemics, cybernetics and informatics. Orlando, FL.
31. Sahraoui, A. E. K., Anderson, E., van Katwijk, J., & Zalewski, J. (2000). Formal specification of a safety shell in real-time control practice. Proceedings of the WRTP'2000, 25th IFAC workshop on real-time programming (pp. 117-123). Oxford: Elsevier.
32. van Katwijk, J., Toetenel, H., Sahraoui, A. E. K., Anderson, E., & Zalewski, J. (2000). Specification and verification of a safety shell with statecharts and extended timed graphs. In Proceedings of the SAFECOMP 2000, 19th international conference on computer safety, reliability and security (pp. 37-52). Berlin: Springer-Verlag.