Abstract
This paper presents a solution to evaluate the availability of a satellite system on the basis of its physical architecture modelled using the Capella Model-Based Systems Engineering environment. In the paper, we propose a set of modelling concepts to capture the fault occurrence, error propagation, and failure occurrence processes. Focus is placed on the effect of radiations on hardware components. We propose the constructs to represent the error detection, masking and mitigation means. Finally, we illustrate the use of the tool to evaluate the availability of a simple satellite platform.
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
Similar content being viewed by others
Notes
- 1.
A very synthetic view of the method can be found at https://www.eclipse.org/capella/arcadia.html.
- 2.
Available at https://www.eclipse.org/capella.
- 3.
“An error is that part of the system state which is liable to lead to subsequent failure: an error affecting the service is an indication that a failure occurs or has occurred. The adjudged or hypothesized case of an error is a fault” [3].
- 4.
As per [5], this approximation is applicable if \(\lambda {T}_{m}<0.1\).
- 5.
To simplify the model, we consider 4 elements, with 3 elements out of 4 are required to power the satellite.
- 6.
- 7.
References
Bitetti, L., Ferluc, R.D., Mailland, D., Gregoris, G., Capogna, F.: Model-based approach for RAMS analyses in the space domain with Capella open-source tool. In: Papadopoulos, Y., Aslansefat, K., Katsaros, P., Bozzano, M. (eds.) IMBSA 2019. LNCS, vol. 11842, pp. 18–31. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-32872-6_2
Voirin, J.-L.: Model-Based System and Architecture Engineering with the Arcadia Method. Elsevier, Amsterdam (2017)
Laprie, J.-C.: Dependability: basic concepts and terminology. In: Laprie, J.C. (ed.) Dependability: Basic Concepts and Terminology. Dependable Computing and Fault-Tolerant Systems, vol. 5, pp. 3–245. Springer, Vienna (1992). https://doi.org/10.1007/978-3-7091-9170-5_1
Prosvirnova, T., et al.: The AltaRica 3.0 project for model-based safety assessment. In: 4th IFAC Workshop on Dependable Control of Discrete Systems (2013)
Modarres, M., Kaminskiy, M., Krivtsov, V.: Reliability Engineering and Risk Analysis: A Practical Guide. CRC Press, Boca Raton (2016)
Sinibaldi, C., Vella, B., Bonnet, F., Spizzi, P.: Modular boxes for a modular architecture. In: 33rd Annual AIAA/USU Conference on Small Satellites (2019)
Machin, M., Sagaspe, L., de Bossoreille, X.: SimfiaNeo, complex systems, yet simple safety. In: 9th European Congress on Embedded Real-Time Software and Systems (2018)
Yushtein, Y., et al.: System-software co-engineering: dependability and safety perspective. In: 2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology (2011)
Feiler, P.H., Lewis, B.A., Vestal, S.: The SAE architecture analysis design language (AADL) a standard for engineering performance critical systems. In: 2006 IEEE Conference on Computer Aided Control Systems Design (2006)
Adedjouma, M., Yakymets, N.: A framework for model-based dependability analysis of cyber-physical systems. In: IEEE 19th International Symposium on High Assurance Systems Engineering (2019)
Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language. Elsevier, Amsterdam (2014)
Yakymets, N., Munoz, J., Lanusse, A.: Sophia un environnement pour l’analyse de sûreté à partir de modèles (Sophia framework for model-based safety analysis). In: 9e Congrès de Maîtrise des Risques et Sûreté de Fonctionnement (2014)
Cimatti, A., et al.: NuSMV 2: an OpenSource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359–364. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45657-0_29
Acknowledgements
The authors would like to thank the European Space Agency for funding this work in the context of the OSIP 2020 call under contract number 4000133652/20/NL/GLC/kk.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Brau, G., Jenn, E., Radu, S. (2022). A Capella-Based Tool for the Early Assessment of Nano/Micro Satellites Availability. In: Seguin, C., Zeller, M., Prosvirnova, T. (eds) Model-Based Safety and Assessment. IMBSA 2022. Lecture Notes in Computer Science, vol 13525. Springer, Cham. https://doi.org/10.1007/978-3-031-15842-1_12
Download citation
DOI: https://doi.org/10.1007/978-3-031-15842-1_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-15841-4
Online ISBN: 978-3-031-15842-1
eBook Packages: Computer ScienceComputer Science (R0)