Author(s)

B. Dejneka

Abstract

Software in computer systems with safety responsibility (also in signalling and train control systems) has to be "safe software". It could be achieved by using different measures, for example measures to avoid faults in the design process of software (i.e. safety requirements) or to discover faults in the software (i.e. safety validation of software). This paper gives an overview about safety require- ments and validation methods for software. They are discussed based on a case study with CASE-tools. Also, an economical aspect of the CASE-tools applica- tions is presented. 1 Introduction The complexity of control tasks in many systems has nowadays grown up so much, that realization of them without computer systems is hardly possible. Also the computer controlled systems with safety responsibility are applied today in almost all fi

Keywords