Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bieber, P., Bougnol, C., Castel, C., Heckmann, J.-P., Kehren, C., Metge, S., Seguin, C.: Safety Assessment with AltaRica - Lessons learnt based on two aircraft system studies. In: Jacquart, R. (ed.) 18th IFIP World Computer Congress, Topical Day on New Methods for Avionics Certification, Toulouse. Kluwer Academic Publishers, Dordrecht (2004)
Bieber, P., Blanquart, J.-P., Durrieu, G., Lesens, D., Lucotte, J., Tardy, F., Turin, M., Seguin, C., Conquet, E.: Integration of formal fault analysis in ASSERT: Case studies and lessons learnt. In: European Congress on Embedded Real-Time Software ERTS 2008, SIA, AAAF, SEE, Toulouse (2008) (electronic paper), http://www.erts2008.org/
Humbert, S., Bosc, J.-M., Castel, C., Darfeuil, P., Dutuit, Y., Focone, E., Seguin, C.: Déclinaison d’exigences de sécurité du système vers le logiciel assistée par des modèles formels. In: Potet, M.-L., Schobbens, P.-Y., Toussaint, Y., Saval, G. (eds.) AFADL 2007, Presses universitaires de Namur, pp. 57–73 (2007)
Arnold, A., Griffault, A., Point, G., Rauzy, A.: The AltaRica Formalism for Describing Concurrent Systems. Fundamenta Informaticae 40(2-3), 109–124 (2000)
The AltaRica project, http://altarica.labri.fr/wiki/
Rauzy, A.: Mode automata and their compilation into fault trees. Reliability Engineering and System Safety 78(1), 1–12 (2002)
Humbert, S., Bosc, J.-M., Castel, C., Darfeuil, P., Dutuit, Y., Seguin, C.: Méthodologie de modélisation AltaRica pour la sûreté de fonctionnement d’un système de propulsion hélicoptère incluant une partie logicielle. In: proceedings of Lambda Mu 15, communication 113, Lille, IMdR (2006)
Dutuit, Y., Rauzy, A.: Exact and Truncated Computation of Prime Implicants of Coherent and Non-Coherent Fault Trees within Aralia. Reliability Engineering and System Safety 58(2), 127–144 (1997)
Leveson, N.G.: Software Safety in Embedded Computer Systems. Communications of ACM 34(2), 34–46 (1991)
Hansen, K.M., Ravn, A.P., Stavridou, V.: From Safety Analysis to Software Requirements. IEEE Transaction on Software Engineering 24(7), 573–584 (1998)
Bouissou, M., Bouhadana, H., Bannelier, M., Villatte, N.: Knowledge modelling and reliability processing: presentation of the FIGARO language and associated tools. In: Lindeberg, J.F. (ed.) SAFECOMP 1991, IFAC Symposia, Trondheim, series #8, pp. 69–75. Pergamon Press, Oxford (1991)
Fenelon, P., McDermid, J.A., Nicholson, M., Pumfrey, D.J.: Towards Integrated Safety Analysis and Design. ACM Computing Reviews 2(1), 21–32 (1994)
Papadopoulos, Y., Maruhn, M.: Model-based automated synthesis of fault trees from Matlab-Simulink models. In: DSN 2001, International Conference on Dependable Systems and Networks (former FTCS), Gothenburg, pp.77–82 (2001) ISBN 0-7695-1101-5
Bozzano, M., Villafiorita, A., et al.: ESACS: an integrated methodology for design and safety analysis of complex systems. In: proceedings of ESREL 2003, European Safety and Reliability Conference, Maastricht, pp. 237–245. Balkema Publishers (2003)
Humbert, S.: Déclinaison d’exigences de sécurité du niveau système vers le niveau logiciel assistée par des modèles formels. PhD thesis of University of Bordeaux (2008)
Society of Automotive Engineers: ARP4754: Certification Considerations for Highly-Integrated or Complex Aircraft Systems. SAE International, Warrendale, PA (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Humbert, S., Seguin, C., Castel, C., Bosc, JM. (2008). Deriving Safety Software Requirements from an AltaRica System Model. In: Harrison, M.D., Sujan, MA. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2008. Lecture Notes in Computer Science, vol 5219. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87698-4_27
Download citation
DOI: https://doi.org/10.1007/978-3-540-87698-4_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87697-7
Online ISBN: 978-3-540-87698-4
eBook Packages: Computer ScienceComputer Science (R0)