The Open UniversitySkip to content
 

Arguing safety with Problem oriented Software Engineering

Hall, Jon; Mannering, Derek and Rapanotti, Lucia (2007). Arguing safety with Problem oriented Software Engineering. In: 10th IEEE International Symposium on High Assurance System Engineering (HASE), 14-16 Nov 2007, Dallas, Texas, Springer Verlag, pp. 398–411.

URL: http://hase07.utdallas.edu/
Google Scholar: Look up in Google Scholar

Abstract

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.

Item Type: Conference Item
ISBN: 3-540-71288-7, 978-3-540-71288-6
Extra Information: http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/proceedings/&toc=comp/proceedings/hase/2007/3043/00/3043toc.xml&DOI=10.1109/HASE.2007.21
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 9591
Depositing User: Jon Hall
Date Deposited: 08 Oct 2007
Last Modified: 02 Dec 2010 20:05
URI: http://oro.open.ac.uk/id/eprint/9591
Share this page:

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk