Software criticality analysis of COTS/SOUP

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2434, Issue , 2002, Pages 198-211

  Bishop, Peter ^a,b   Bloomfield, Robin ^a,b   Clement, Tim ^a   Guerra, Sofia ^a  

^a ADELARD LLP   (United Kingdom)

^b CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; CRITICALITY (NUCLEAR FISSION); REVERSE ENGINEERING; SAFETY ENGINEERING;

COMMERCIAL OFF-THE-SHELF SOFTWARES; CRITICALITY ANALYSIS; DESIGN DOCUMENTS; PRIMARY OBJECTIVE; SAFETY-RELATED SYSTEMS; SOFTWARE COMPONENT;

COMMERCIAL OFF-THE-SHELF;

EID: 84949228681     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45732-1_20     Document Type: Conference Paper

References (9)

1. PG Bishop, RE Bloomfield, Tim Clement, Sofia Guerra and Claire Jones. Static Analysis of COTS Used in Safety Application. Adelard document D198/4308/2, 2001.
2. PG Bishop, RE Bloomfield and PKD Froome. Justifying the use of software of uncertain pedigree (SOUP) in safety-related applications. Report No: CRR336 HSE Books 2001 ISBN 0 7176 2010 7, http://www.hse.gov.uk/research/crr_pdf/2001/crr01336.pdf.
3. Interim Defence Standard 00-58, Hazop studies on Systems Containing Programmable Electronics. Part 1: Requirements. Part 2: General Application Guidance. Issue 2 MoD 2000.
4. D J Burns, R M Pitblado, A Modified Hazop Methodology for Safety Critical System Assessment, in Directions in Safety-critical Systems, Felix Redmill and Tom Anderson (eds), Springer Verlag, 1993.
5. CodeSurfer user guide and technical reference. Version 1.0, Grammatech, 1999.
6. PolySpace Technologies, http://www.polyspace.com.
7. F. Tip, iA Survey of Program Slicing Techniques!, Journal of Programming Languages, Vol.3, No.3, pp. 121-189, September, 1995. http://citeseer.nj.nec.com/tip95survey.html.
8. T Cichocki and J Gorski, Formal support for fault modelling and analysis, in U Voges (ed): SAFECOMP 2001, LNCS 2187, pp 202-211, Springer-Verlag, 2001.
9. Rainer Faller, Project Experience with IEC 61508 and Its Consequences, in U Voges (ed): SAFECOMP 2001, LNCS 2187, pp 212-226, Springer-Verlag, 2001.