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 :
بازگشت