Abstract
The correct operation of complex critical systems increasingly relies on the ability to detect and recover from faults. The design of Fault Detection, Isolation and Recovery (FDIR) sub-systems is highly challenging, due to the complexity of the underlying system, the number of faults to be considered and their dynamics. Existing industrial practices for FDIR are often based on ad-hoc solutions, that are conceived and developed late in the design process, and do not consider the software- and system-level RAMS analyses data (e.g., FTA and FMEA).
In this paper we propose the FAME process: a novel, model-based, integrated process for FDIR design, that addresses the shortcomings of existing practices. This process aims at enabling a consistent and timely FDIR conception, development, verification and validation. The process is supported by the FAME environment, a model-based toolset that encompasses a wide range of formal analyses, and supports the FDIR design by providing functionality to define mission and FDIR requirements, fault propagation modeling, and automated synthesis of FDIR models. The FAME process and environment have been developed within an ESA-funded study, and have been thoroughly evaluated by the industrial partners on a case study derived from the ExoMars project.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abdelwahed, S., Karsai, G., Mahadevan, N., Ofsthun, S.C.: Practical implementation of diagnosis systems using timed failure propagation graph models. IEEE Transactions on Instrumentation and Measurement 58(2), 240–247 (2009)
ADeS, a simulator for AADL., http://www.axlog.fr/aadl/ades_en.html
Bensana, E., Pucel, X., Seguin, C.: Improving FDIR of Spacecraft Systems with Advanced Tools and Concepts. In: Proc. ERTS (2014)
Berthomieu, B., Bodeveix, J.P., Farail, P., Filali, M., Garavel, H., Gaufillet, P., Lang, F., Vernadat, F., et al.: Fiacre: An Intermediate Language for Model Verification in the TOPCASED Environment. In: Proc. ERTS (2008)
Bittner, B., Bozzano, M., Cimatti, A., De 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, Heidelberg (2014)
Blanquart, J.-P., Valadeau, P.: Model-based FDIR development and validation. In: Proc. MBSAW (2011)
Bozzano, M., Cimatti, A., Gario, M., Tonetta, S.: A formal framework for the specification, verification and synthesis of diagnosers. In: Workshops at the Twenty-Seventh AAAI Conference on Artificial Intelligence (2013)
Bozzano, M., Cimatti, A., Katoen, J.-P., Nguyen, V.Y., Noll, T., Roveri, M.: Safety, dependability, and performance analysis of extended AADL models. The Computer Journal (March 2010) doi: 10.1093/com
Bozzano, M., Cimatti, A., Nguyen, V.Y., Noll, T., Katoen, J.-P., Roveri, M.: Codesign of Dependable Systems: A Component-Based Modeling Language. In: Proc. MEMOCODE 2009 (2009)
Bozzano, M., Villafiorita, A.: The FSAP/NuSMV-SA Safety Analysis Platform. Software Tools for Technology Transfer 9(1), 5–24 (2007)
Cimatti, A., Dorigatti, M., Tonetta, S.: OCRA: A tool for checking the refinement of temporal contracts. In: ASE, pp. 702–705 (2013)
Cimatti, A., Pecheur, C., Cavada, R.: Formal Verification of Diagnosability via Symbolic Model Checking. In: Proc. IJCAI, pp. 363–369. Morgan Kaufmann (2003)
Cimatti, A., Roveri, M., Bertoli, P.: Conformant planning via symbolic model checking and heuristic search. Artificial Intelligence 159(1), 127–206 (2004)
The COMPASS Project, http://compass.informatik.rwth-aachen.de
European Cooperation for Space Standardization. European cooperation for space standardization web site, http://www.ecss.nl/ .
The FAME Project, http://es.fbk.eu/projects/fame
Grunske, L., Kaiser, B., Papadopoulos, Y.: Model-driven safety evaluation with state-event-based component failure annotations. In: Heineman, G.T., Crnković, I., Schmidt, H.W., Stafford, J.A., Ren, X.-M., Wallnau, K. (eds.) CBSE 2005. LNCS, vol. 3489, pp. 33–48. Springer, Heidelberg (2005)
Güdemann, M., Ortmeier, F.: A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis. In: Proc. HASE, pp. 132–141 (2010)
Mokos, K., Meditskos, G., Katsaros, P., Bassiliades, N., Vasiliades, V.: Ontology-Based Model Driven Engineering for Safety Verification. In: Proc. SEAA, pp. 47–54. IEEE (2010)
The nuXmv model checker, https://nuxmv.fbk.eu
The XSAP safety analysis platform, https://es.fbk.eu/tools/xsap
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Bittner, B. et al. (2014). An Integrated Process for FDIR Design in Aerospace. In: Ortmeier, F., Rauzy, A. (eds) Model-Based Safety and Assessment. IMBSA 2014. Lecture Notes in Computer Science, vol 8822. Springer, Cham. https://doi.org/10.1007/978-3-319-12214-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-12214-4_7
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-12213-7
Online ISBN: 978-3-319-12214-4
eBook Packages: Computer ScienceComputer Science (R0)