Arguing safety with Problem Oriented Software Engineering

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Hall, J.G., Mannering, D., Rapanotti, L.
Format: Conference Proceeding
Language:English
Subjects:
Aircraft propulsion
Design engineering
Environmental management
Product safety
Risk analysis
Risk management
Software engineering
Software safety
Standards development
Systems engineering and theory
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1530-2059
2640-7507
DOI:10.1109/HASE.2007.44