Safety Analysis of Hawk In Flight Monitor

PASTE 1999 - Proceedings of the 1999 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Volumn , Issue , 1999, Pages 32-38

  Whiting, Liz ^a   Hill, Mike ^a  

^a DEFENCE SCIENCE AND TECHNOLOGY LABORATORY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ADA (PROGRAMMING LANGUAGE); C++ (PROGRAMMING LANGUAGE); SAFETY ENGINEERING; SECURITY SYSTEMS;

ABSTRACT INTERPRETATIONS; CERTIFICATION PROCESS; DYNAMIC INTEGRITY; FITNESS FOR PURPOSE; MILITARY USE; SAFETY ANALYSIS; SAFETY CASE; SAFETY CRITICAL SYSTEMS; SYSTEM INTEGRITY; UK MINISTRY OF DEFENSE;

STATIC ANALYSIS;

EID: 85116891981     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/381788.316173     Document Type: Conference Paper

References (22)

1. ANDF TenDRA Software. web site: http://alph.dra.hmg.gb/TenDRA/index.html, 1999.
2. Barnes J. High Integrity Ada: The SPARK Approach. Addison-Wesley Longman, 1997.
3. Bourdoncle F. Abstract Debugging of Higher-Order Imperative Languages. Proceedings of SIGPLAN'93 Conference on Programming Language Design and Implementation, 1993.
4. Buckle G. Static Analysis of Safety Critical Software (Techniques, Tools and Experiences). Proceedings of the Sixth Safety-Critical Systems Symposium, Birmingham UK, 1998.
5. Carre B, and Garnsworthy J. Experiences with SPARK and its support tool, the SPARK Examiner. Ada UK Conference, October 1990.
6. Cousot P, and Cousot R. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs, in Proceedings 4th ACM Symposium on Principals of Programming Languages, POPL77, 1977.
7. Currie I. Rationale Behind the Prototype C Analyser. Defence Evaluation Research Agency, Internal Report, DERA/CIS/CIS3/CR97469/1.0, January 1998.
8. DDC-I. Safety Critical Real-World Software Development, web site: http://www.ddci.com, 1999.
9. Granville R, and Harrison K. Use of Static Code Analysis to Support the Safety Certification of Airborne Software. Proceedings of the Sixth Safety-Critical Systems Symposium, Birmingham UK, 1998.
10. IPL. Eveleigh House, Grove Street, Bath. http://www.iplbath.com/o000.htm.1999
11. Jones N.D, and Nielson F. Abstract Interpretation: Semantics-Based Tool for Program Analysis. in Handbook of Logic in Computer Science, Volume 4 Semantic modelling, edited by S.Abramsky, D.M.Gabbay and T.S.E.Maibaum, Clarendon Press, Oxford, 1995.
12. Leveson N.G SAFEWARE: System Safety and Computers. Addison-Wesley Publishing, 1995.
13. Liverpool Data Research Associates Ltd. 131 Mount Pleasant, Liverpool. http://www.ldra.com/. 1999
14. The Motor Industry Software Reliability Association Guidelines for the use of the C Language in Vechicle Based Software MlSRA, Nuneaton, Warwickshire, UK, April 1998.
15. Ministry of Defence, Directorate of Standardisation, Kentigern House, 65 Brown Street, Glasgow G2 8EX. Interim Defence Standard 00-55. The procurement of safety critical software in Defence equipment, April 1991.
16. Moore R.E. IntervalAnalysis Prentice-Hall, Englewood Cliffs, NJ, 1966
17. OSF. ANDF, application portability and open systems. Technical report, Open Software Foundation, 11 Cambridge Center, Cambridge, MA 02142, USA, 1991.
18. Osterweil L. Using Data Flow Tools in Software Engineering in: Program Flow Analysis: Theory and Applications, Edited by S.S.Muchnick and N.DJones, Prentice-Hall Software Series, 1981.
19. Palmer S. MALPAS Executive Overview. TACS/99006/37, TA Constancy Services Limited, UK, 1996.
20. QAC. Programming Research Ltd., Glenbrook House, Hersham, Surrey. http://www.prqa.co.uk/index.htm, 1999
21. RTCA-DO-178B. Software considerations in airborne systems and equipment certification, December 1992.
22. Wichmann B.A, Canning A.A, Clutterbuck D.L, Winsborrow L.A, Ward N.J, and Marsh D.W.R. Industrial Perspective on Static Analysis. Software Engineering Journal, March 1995.