DocumentCode
2874026
Title
Supporting the use of COTS in safety critical applications
Author
Dawkins, Stewen ; Kelly, Tim
Author_Institution
Dept. of Comput. Sci., York Univ., UK
fYear
1997
fDate
35458
Firstpage
42583
Lastpage
42586
Abstract
With the growing complexity and costs involved with the development of safety-critical applications, the possibility of building systems using pre-existing commercial off-the-shelf (COTS) components becomes increasingly attractive. However, a number of problems are posed by attempting to integrate COTS components, as they exist at the moment, into larger system developments, including: (a) the potential for introducing systematic errors through component mismatch, and (b) meeting the obligations of the system safety case. In this paper, we briefly describe these two problems and argue how they can both be alleviated by appropriate and sufficient component documentation. In an ideal world, additional component information that documents all the critical design features of the component and required safety evidence would be provided by the COTS component suppliers. However, in the absence of this happening, it is important for developers using COTS components to record their own thinking regarding a component (e.g. assumptions), so that, at the very least, this information can be peer-reviewed and used consistently throughout a development. Through documenting COTS components using a sufficiently clear and expressive notation, we would expect to alleviate, at least to some extent, the problems of applying COTS in safety-critical applications
Keywords
safety-critical software; COTS; assumptions; commercial off-the-shelf components; component documentation; component mismatch; critical design features; expressive notation; peer review; required safety evidence; safety-critical applications; system development; system safety case obligations; systematic errors;
fLanguage
English
Publisher
iet
Conference_Titel
Cots and Safety Critical Systems (Digest No. 1997/013), IEE Colloquium on
Conference_Location
London
Type
conf
DOI
10.1049/ic:19970098
Filename
599253
Link To Document