Abstract
Timed Failure Propagation Graphs (TFPGs) are used in the design of safety-critical systems as a way of modeling failure propagation, and to support the evaluation and implementation of functions for Fault Detection, Isolation, and Recovery (FDIR). TFPGs are a very rich formalism: they enable modeling Boolean combinations of faults and events, and quantitative delays between them. Several formal techniques have been recently developed to analyze them as stand-alone models or to compare them to models that describe the more detailed dynamics of the system of reference, specifically under faulty conditions.
In this paper we present several case studies that apply TFPGs to Solar Orbiter, an ESA deep-space probe under development by Airbus. The mission is characterized by high requirements on on-board autonomy and FDIR. We focus on three possible application areas: hardware-to-software propagations, system-level propagations, and propagations across architectural hierarchies. The case studies show the added value of TFPGs for safety analysis and FDIR validation, as well as the scalability of available analysis tools for non-trivial industrial problems.
B. Bittner was partially supported by ESA NPI contract No. 4000111815/14/NL/FE.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Abdelwahed, S., Karsai, G., Mahadevan, N., Ofsthun, S.: Practical implementation of diagnosis systems using timed failure propagation graph models. IEEE Trans. Instrum. Meas. 58(2), 240–247 (2009)
Bittner, B., Bozzano, M., Cavada, R., Cimatti, A., Gario, M., Griggio, A., Mattarei, C., Micheli, A., Zampedri, G.: The xSAP safety analysis platform. In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 533–539. Springer, Heidelberg (2016). doi:10.1007/978-3-662-49674-9_31
Bittner, B., Bozzano, M., Cimatti, A.: Automated synthesis of timed failure propagation graphs. In: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2016), pp. 972–978 (2016)
Bittner, B., Bozzano, M., Cimatti, A., Ferluc, R., Gario, M., Guiotto, A., Yushtein, Y.: An integrated process for FDIR design in aerospace. In: Ortmeier, F., Rauzy, A. (eds.) IMBSA 2014. LNCS, vol. 8822, pp. 82–95. Springer, Cham (2014). doi:10.1007/978-3-319-12214-4_7
Bittner, B., Bozzano, M., Cimatti, A., Zampedri, G.: Automated verification and tightening of failure propagation models. In: Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016) (2016)
Bozzano, M., Cimatti, A., Gario, M., Micheli, A.: SMT-based validation of timed failure propagation graphs. In: Twenty-Ninth AAAI Conference on Artificial Intelligence (2015)
ECSS-Q-ST-30-02C: Space product assurance; failure modes, effects (and criticality) analysis (FMEA/FMECA). Technical report (2009)
European Space Agency: Statement of Work: FDIR Development and Verification and Validation Process, Appendix to ESTEC ITT AO/1-6992/11/NL/JK (2011)
FAME: FAME project web page (2016). http://es.fbk.eu/projects/fame
McDermott, R., Mikulak, R.J., Beauregard, M.: The Basics of FMEA. SteinerBooks, Great Barrington (1996)
Misra, A.: Senor-based diagnosis of dynamical systems. Ph.D. thesis, Vanderbilt University (1994)
Misra, A., Sztipanovits, J., Underbrink, A., Carnes, R., Purves, B.: Diagnosability of dynamical systems. In: Third International Workshop on Principles of Diagnosis (1992)
Müller, D., Marsden, R.G., Cyr, O.S., Gilbert, H.R., et al.: Solar orbiter. Solar Phys. 285(1–2), 25–70 (2013)
Ofsthun, S.C., Abdelwahed, S.: Practical applications of timed failure propagation graphs for vehicle diagnosis. In: 2007 IEEE Autotestcon, pp. 250–259. IEEE (2007)
Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15, 29–62 (2015)
Vesely, W., Goldberg, F., Roberts, N., Haasl, D.: Fault Tree Handbook (NUREG-0492). Division of Systems and Reliability Research, Office of Nuclear Regulatory Research, US Nuclear Regulatory Commission, Washington, DC (1981)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Bittner, B., Bozzano, M., Cimatti, A. (2017). Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study. In: Bozzano, M., Papadopoulos, Y. (eds) Model-Based Safety and Assessment. IMBSA 2017. Lecture Notes in Computer Science(), vol 10437. Springer, Cham. https://doi.org/10.1007/978-3-319-64119-5_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-64119-5_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-64118-8
Online ISBN: 978-3-319-64119-5
eBook Packages: Computer ScienceComputer Science (R0)