Automating allocation of development assurance levels: An extension to HiP-HOPS

Sorokos, Ioannis; Papadopoulos, Yiannis; Azevedo, Luis; Parker, David; Walker, Martin

Abstract

Controlling the allocation of safety requirements across a system's architecture from the early stages of development is an aspiration embodied in numerous major safety standards. Manual approaches of applying this process in practice are ineffective due to the scale and complexity of modern electronic systems. In the work presented here, we aim to address this issue by presenting an extension to the dependability analysis and optimisation tool, HiP-HOPS, which allows automatic allocation of such requirements. We focus on aerospace requirements expressed as Development Assurance Levels (DALs); however, the proposed process and algorithms can be applied to other common forms of expression of safety requirements such as Safety Integrity Levels. We illustrate application to a model of an aircraft wheel braking system.

Citation

Sorokos, I., Papadopoulos, Y., Azevedo, L., Parker, D., & Walker, M. (2015). Automating allocation of development assurance levels: An extension to HiP-HOPS. IFAC Proceedings Volumes/ International Federation of Automatic Control, 48(7), 9-14. https://doi.org/10.1016/j.ifacol.2015.06.466

• Conference Name: IFAC-PapersOnLine
• Online Publication Date: Aug 28, 2015
• Publication Date: 2015
• Deposit Date: Feb 19, 2016
• Publicly Available Date: Feb 19, 2016
• Journal: IFAC-PapersOnLine
• Print ISSN: 1474-6670
• Publisher: Elsevier
• Peer Reviewed: Peer Reviewed
• Volume: 48
• Issue: 7
• Pages: 9-14
• DOI: https://doi.org/10.1016/j.ifacol.2015.06.466
• Keywords: Automatic; Safety requirements allocation; DALs; HiP-HOPS
• Public URL: https://hull-repository.worktribe.com/output/411126
• Publisher URL: http://www.sciencedirect.com/science/article/pii/S2405896315007053
• Additional Information: This is a copy of a paper published in IFAC-PapersOnLine, 2015, v.48 issue 7.
• Contract Date: Feb 19, 2016