loading...
Arguing safety with Problem Oriented Software Engineering
Dallas, Texas, USA November 14-November 16
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/HASE.2007.4410th IEEE High Assurance Systems Engi ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Standards demand that assurance cases support safety critical developments. It is widely acknowledged, however, that the current practice of post-hoc assurance-that the product is built and only then argued for safety-leads to many engineering process deficiencies, extra expense, and poorer products. This paper argues how the Problem Oriented Software Engineering framework can be used in the concurrent design of a safe product and its safety case, by which these deficiencies can be addressed. The basis of the paper is a real development, undertaken by the second author of this paper, of safety-related subsystems flying in real aircraft. The case study retains all essential detail and complexity.
Citation:
Jon G. Hall, Derek Mannering, Lucia Rapanotti, "Arguing safety with Problem Oriented Software Engineering," hase, pp.23-32, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.