This paper presents a methodology to derive software functional requirements from Preliminary System Safety Assessment analysis (PSSA) of helicopter turboshaft engines. The proposed process starts by extracting functional failure paths from system failure propagation models, using AltaRica models and AltaRica tools. Then the paper shows how to analyse these paths to generate minimal combinations of functional software requirements. This approach is applied to a part of the control system of a helicopter turboshaft engine. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Humbert, S., Seguin, C., Castel, C., & Bosc, J. M. (2008). Deriving safety software requirements from an AltaRica system model. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5219 LNCS, pp. 320–331). https://doi.org/10.1007/978-3-540-87698-4_27
Mendeley helps you to discover research relevant for your work.