Deriving Safety Software Requirements from an AltaRica System Model

  • Sophie Humbert
  • Christel Seguin
  • Charles Castel
  • Jean-Marc Bosc
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5219)


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.


System safety requirements software functional requirement failure propagation models AltaRica languages and tools system control of helicopter turboshaft engines 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)Google Scholar
  2. 2.
    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),
  3. 3.
    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)Google Scholar
  4. 4.
    Arnold, A., Griffault, A., Point, G., Rauzy, A.: The AltaRica Formalism for Describing Concurrent Systems. Fundamenta Informaticae 40(2-3), 109–124 (2000)MathSciNetGoogle Scholar
  5. 5.
    The AltaRica project,
  6. 6.
    Rauzy, A.: Mode automata and their compilation into fault trees. Reliability Engineering and System Safety 78(1), 1–12 (2002)CrossRefMathSciNetGoogle Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    Leveson, N.G.: Software Safety in Embedded Computer Systems. Communications of ACM 34(2), 34–46 (1991)CrossRefGoogle Scholar
  10. 10.
    Hansen, K.M., Ravn, A.P., Stavridou, V.: From Safety Analysis to Software Requirements. IEEE Transaction on Software Engineering 24(7), 573–584 (1998)CrossRefGoogle Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    Fenelon, P., McDermid, J.A., Nicholson, M., Pumfrey, D.J.: Towards Integrated Safety Analysis and Design. ACM Computing Reviews 2(1), 21–32 (1994)CrossRefGoogle Scholar
  13. 13.
    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-5Google Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    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)Google Scholar
  16. 16.
    Society of Automotive Engineers: ARP4754: Certification Considerations for Highly-Integrated or Complex Aircraft Systems. SAE International, Warrendale, PA (1996)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Sophie Humbert
    • 1
  • Christel Seguin
    • 2
  • Charles Castel
    • 2
  • Jean-Marc Bosc
    • 1
  1. 1.TurbomecaBordes Cedex 
  2. 2.ONERA Centre de ToulouseToulouse Cedex 

Personalised recommendations