SCOPUS 정보 검색 플랫폼

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

Volumn 2788, Issue , 2003, Pages 63-76

Integrity static analysis of COTS/SOUP

(5) Bishop, Peter a,b Bloomfield, Robin a,b Clement, Tim b Guerra, Sofia b Jones, Claire b

a CITY UNIVERSITY (United Kingdom)

b ADELARD LLP (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

ANALYSIS APPROACH; ANALYSIS PROCESS; COMMERCIAL OFF-THE-SHELF SOFTWARES; CRITICAL FUNCTIONS; INDUSTRIAL SCALE; INTERNAL INTEGRITY; LANGUAGE CONSTRUCTS; SAFETY-RELATED SYSTEMS;

STATIC ANALYSIS;

EID: 23144434249 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/978-3-540-39878-3_6 Document Type: Article

Times cited : (7)

References (10)

1
- 84949228681
- Software Criticality Analysis of COTS/SOUP
- S. Anderson et al. (Eds.), SAFECOMP 2002
- PG Bishop, RE Bloomfield, TP Clement, S Guerra. "Software Criticality Analysis of COTS/SOUP". In S. Anderson et al. (Eds.), SAFECOMP 2002, LNCS 2434, 2002.
- (2002) LNCS , vol.2434
- Bishop, P.G.¹ Bloomfield, R.E.² Clement, T.P.³ Guerra, S.⁴

2
- 1542304345
- Report No: CRR336 HSE Books ISBN 0 7176 2010 7
- PG Bishop, RE Bloomfield, 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/cn01336.pdf.
- (2001) Justifying the Use of Software of Uncertain Pedigree (SOUP) in Safety-related Applications
- Bishop, P.G.¹ Bloomfield, R.E.² Froome, P.K.D.³

3
- 84943283871
- The Rigorous Retrospective Static Analysis of the Sizewell 'B' Primary Protection System Software
- October
- th International Conference on Computer Safety, Reliability and Security, Safecomp 93. October 1993.
- (1993) th International Conference on Computer Safety, Reliability and Security, Safecomp 93
- Ward, N.J.¹

4
- 35248887132
- A Symptom of the Cure: Safer Language Subsets and Safe-Code Development
- October
- S Morton. "A Symptom of the Cure: Safer Language Subsets and Safe-Code Development". MISRA Guidelines Forum, October 2001.
- (2001) MISRA Guidelines Forum
- Morton, S.¹

5
- 0041644054
- MISRA
- Guidelines for the use of the C language in vehicle based software. MISRA, 1998.
- (1998) Guidelines for the Use of the C Language in Vehicle Based Software

6
- 84871626785
- PolySpace Technologies, http://www.polyspace.com/.
- PolySpace Technologies

7
- 0043146881
- Grammatech
- CodeSurfer user guide and technical reference. Version 1.0, Grammatech, 1999.
- (1999) CodeSurfer User Guide and Technical Reference. Version 1.0

8
- 0342570658
- McGraw Hill
- L Hatton, Safer C. McGraw Hill, 1995.
- (1995) Safer C
- Hatton, L.¹

9
- 85050550846
- Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by construction or approximation of fixpoints
- ACM Press
- P Cousot, R Cousot. "Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by construction or approximation of fixpoints". POPL77, ACM Press, 1977.
- (1977) POPL77
- Cousot, P.¹ Cousot, R.²

10
- 0030410990
- A Conservative Theory for Long-Term Reliability Growth Prediction
- Dec
- PG Bishop, RE Bloomfield, "A Conservative Theory for Long-Term Reliability Growth Prediction" IEEE Trans. Reliability, vol. 45, No 4, Dec 1996.
- (1996) IEEE Trans. Reliability , vol.45 , Issue.4
- Bishop, P.G.¹ Bloomfield, R.E.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.