Implementable requirements in problem orientation
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Annotating problem diagrams with architectural tactics for reasoning on quality requirements
Information Processing Letters
Certification-based development of critical systems
Proceedings of the 34th International Conference on Software Engineering
Software engineering as the design theoretic transformation of software problems
Innovations in Systems and Software Engineering
Design rationale capture for process improvement in the globalised enterprise: an industrial study
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
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.