Skip to main content

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

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

Authors

Ioannis Sorokos

Luis Azevedo

Martin Walker



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.

Publication Date 2015
Journal IFAC-PapersOnLine
Print ISSN 1474-6670
Electronic ISSN 2405-8963
Publisher Elsevier
Peer Reviewed Peer Reviewed
Volume 48
Issue 7
Pages 9-14
APA6 Citation Sorokos, I., Papadopoulos, Y., Azevedo, L., Parker, D., & Walker, M. (2015). Automating allocation of development assurance levels: An extension to HiP-HOPS. IFAC postprint volumes IPPV / International Federation of Automatic Control, 48(7), 9-14. https://doi.org/10.1016/j.ifacol.2015.06.466
DOI https://doi.org/10.1016/j.ifacol.2015.06.466
Keywords Automatic; Safety requirements allocation; DALs; HiP-HOPS
Publisher URL http://www.sciencedirect.com/science/article/pii/S2405896315007053
Copyright Statement © 2016 IFAC. Originally published in IFAC-PapersOnline, vol. 48, no. 7 by Elsevier Ltd. (DOI 10.1016/j.ifacol.2015.06.466)
Additional Information This is a copy of a paper published in IFAC-PapersOnLine, 2015, v.48 issue 7.

Files

Article.pdf (409 Kb)
PDF

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

;