Arguing safety with problem oriented software engineering

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn , Issue , 2007, Pages 23-32

  Hall, Jon G ^a   Mannering, Derek ^b   Rapanotti, Lucia ^a  

^a OPEN UNIVERSITY   (United Kingdom)

^b General Dynamics UK Ltd   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AIRCRAFT; CHLORINE COMPOUNDS; CONCURRENCY CONTROL; CONCURRENT ENGINEERING; DYNAMIC PROGRAMMING; ENGINEERING; INDUSTRIAL ENGINEERING; JAVA PROGRAMMING LANGUAGE; PROCESS ENGINEERING; SOFTWARE DESIGN; SOFTWARE ENGINEERING; STANDARDS; SYSTEMS ENGINEERING; TECHNICAL PRESENTATIONS; TECHNOLOGY;

CASE STUDIES; CONCURRENT DESIGN; ENGINEERING PROCESSES; HIGH ASSURANCE SYSTEMS; INTERNATIONAL SYMPOSIUM; REAL AIRCRAFT; SAFETY CASES; SAFETY-CRITICAL; TO MANY;

SAFETY ENGINEERING;

EID: 48349141135     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2007.21     Document Type: Conference Paper

References (21)

1. AssWS. Workshop on assurance cases: Best practices, possible obstacles and future opportunities. Florence, Italy, 2004. Co-located with the International Conference on Dependable Systems and Networks.
2. R.-J. Back and J. von Wright. Trace refinement of action systems. In International Conference on Concurrency Theory, pages 367-384, 1994.
3. R. Bloomfield. P. Bishop, C. Jones, and P. Froome. ASCAD - Adelard Safety Case Development Manual, 1998.
4. P. Caseley, N. Tudor, and C. O'Halloran. The case for an evidence based approach to software certification. Safety standards review committee, UK Ministry of Defence, 2003.
5. DS0056-3. Defence Standard 00-56 issue 3, 1997. Safety Management Requirements for Defence Systems.
6. I. Habli and T. Kelly. Achieving integrated process and product safety arguments. In Proceedings of 15th Safety Critical Systems Symposium (SSS'07). Springer, 2007.
7. J. G. Hall, L. Rapanotti, and M. Jackson. Problem oriented software engineering: Formality and the real world. In Proceedings of the 10th International Workshop on Software Engineering Formal Methods (SEFM2007), 2007.
8. A. Hilton and J. G. Hall. Developing critical systems with PLD components. In T. Margaria and M. Massink, editors, FMICS '05: Proceedings of the 10th international workshop on Formal methods for industrial critical systems, pages 72-79, New York, NY, USA, 2005. ACM Press.
9. M. A. Jackson. Problem Frames: Analyzing and Structuring Software Development Problems. Addison-Wesley Publishing Company, 1st edition, 2001.
10. T. Kelly. A systematic approach to safety case management. In Proceedings SAE 2004 World Congress, Detroit, US, 2004.
11. T. Kelly and R. Weaver. The goal structuring notaion - a safety argument notation. In [1].
12. T. P. Kelly. Arguing safety - A systematic approach. PhD thesis, Department of Computing, University of York, 1998.
13. S. C. Kleene. Introduction to Metumathematics. Van Nostrand, Princeton, NJ., 1964.
14. D. Mannering, J. G. Hall, and L. Rapanotti. A problem-oriented approach to normal design for safety-critical systems. In Proceedings of ETAPS Fundamental Approaches to Software Engineering (FASE) '07, Braga, Portugal, 2007.
15. D. Mannering, J. G. Hall, and L. Rapanotti. Safety process improvement with POSE & Alloy. In Proceedings of The 26th International Conference on Computer Safety, Reliability and Security (Safecomp 2007), Nuremberg, Germany, September 2007.
16. C. Morgan. Programming from Specifications. Prentice Hall International Series in Computer Science. Prentice-Hall International, 1994.
17. SAE. ARP4761: Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. Technical report, December 1996.
18. D. Smith. Comprehension by derivation. In Proceedings of the 13th International Workshop on Program Comprehension, pages 3-9, IWPC, 15-16 May 2005.
19. E. A. Strunk and J. C. Knight. The essential synthesis of problem frames and assurance cases. In International Workshop on Advances and Applications of Problem Frames, 2006.
20. S. Toulmin. The uses of argument. Cambridge University Press, 1958.
21. W. Vesely, F. Goldberg, N. Roberts, and D. Haasl. Fault Tree Handbook, volume NUREG-0492. U.S. Nuclear Regulatory Commission, 1981.