Arguing safety with Problem Oriented Software Engineering

Hall, Jon G.; Mannering, Derek and Rapanotti, Lucia (2007). Arguing safety with Problem Oriented Software Engineering. Technical Report 2007/04; Department of Computing, The Open University.

DOI: https://doi.org/10.21954/ou.ro.00016067

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 shows how the Problem Oriented Software Engineering framework supports 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 of systems flying in real aircraft. The case study retains all essential detail and complexity.

Viewing alternatives

Metrics

Item Actions

Export

You can export this page using these formats Digital Object Identifier - DOI