Skip to main content

Research Repository

Advanced Search

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

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


Ioannis Sorokos

Luis Azevedo

Martin Walker


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.


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.

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
Keywords Automatic; Safety requirements allocation; DALs; HiP-HOPS
Public URL
Publisher URL
Additional Information This is a copy of a paper published in IFAC-PapersOnLine, 2015, v.48 issue 7.
Contract Date Feb 19, 2016


Article.pdf (409 Kb)

Copyright Statement
© 2016 IFAC. Originally published in IFAC-PapersOnline, vol. 48, no. 7 by Elsevier Ltd. (DOI 10.1016/j.ifacol.2015.06.466)

You might also like

Downloadable Citations