The safety management of data-driven safety-related systems
UNSPECIFIED (2000) The safety management of data-driven safety-related systems. In: 19th International Conference on the Reliability, Safety and Security of Critical Computer Application (SAFECOMP 2000), ROTTERDAM, NETHERLANDS, OCT 24-27, 2000. Published in: COMPUTER SAFETY, RELIABILITY AND SECURITY, PROCEEDINGS, 1943 pp. 86-95.Full text not available from this repository.
Many safety-related systems are built from generic software which is customised to work in a particular situation by static configuration data. Examples of such systems are railway interlockings and air traffic control systems. While there is now considerable experience and guidance on how to develop safety-related software, and there are a number of standards in this area, the topic of safety-related configuration data is hardly mentioned in the literature. This paper discusses the desirable properties of safety-related data and sets out principles for the safety management of such data, including a data lifecycle which is analogous to a software development lifecycle. Validation and verification of the data, and the means used to achieve such validation and verification are given particular attention.
|Item Type:||Conference Item (UNSPECIFIED)|
|Subjects:||Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software|
|Series Name:||LECTURE NOTES IN COMPUTER SCIENCE|
|Journal or Publication Title:||COMPUTER SAFETY, RELIABILITY AND SECURITY, PROCEEDINGS|
|Editor:||Koornneef, F and VanderMeulen, M|
|Number of Pages:||10|
|Page Range:||pp. 86-95|
|Title of Event:||19th International Conference on the Reliability, Safety and Security of Critical Computer Application (SAFECOMP 2000)|
|Location of Event:||ROTTERDAM, NETHERLANDS|
|Date(s) of Event:||OCT 24-27, 2000|
Actions (login required)