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), OCT 24-27, 2000, ROTTERDAM, NETHERLANDS.

Full text not available from this repository.

Abstract

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
Publisher:	SPRINGER-VERLAG BERLIN
ISBN:	3-540-41186-0
ISSN:	0302-9743
Editor:	Koornneef, F and VanderMeulen, M
Date:	2000
Volume:	1943
Number of Pages:	10
Page Range:	pp. 86-95
Publication Status:	Published
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
URI:	http://wrap.warwick.ac.uk/id/eprint/11070

Data sourced from Thomson Reuters' Web of Knowledge

Request changes to a record

Actions (login required)

View Item