On-Board Computer; Performance Modeling; Petri Net; Scientific Payload; Systems Engineering; Design-process; Development stages; Onboard computers; Performance characteristics; Performance risk; Power; Risk trade-offs; Scientific payloads; Space system engineering; Theoretical Computer Science; Computer Science (all)
Abstract :
[en] Space system engineering has to follow a rigorous design process to manage performance/risk trade-offs at each development stage and possibly across several functional and organizational domains. The process is further complicated by the co-development of multiple solutions, each contributing differently to the goal and with different trade-offs. Moreover, the design process is iterative, involving both changing requirements and specifications along the different ways that lead to the set goal of the mission. The above requires rigorous modeling that, in addition, must be easily extendible and maintainable across organizational units. On the example of the PROBA-3 science computer (instrument control unit, CCB DPU), we show how Petri Nets can serve as such a simple-to-maintain, holistic model, combining finite-state characterizations with dynamic system behavior caused by hardware-software interactions, to express the component-state dependent end-to-end performance characteristics of the system. The paper elaborates on how the proposed Petri-Net-modeling scheme allows for system architecture optimization that result in safely reduced technical margins and in turn substantial savings in components costs. We show that performance metrics, obtained from simulation, correlate well with the real performance characteristics of the flight model of PROBA-3’s science computer.
Disciplines :
Space science, astronomy & astrophysics
Author, co-author :
Graczyk, Rafal ; Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Esch-sur-Alzette, Luxembourg
Bujwan, Waldemar; Centrum Badań Kosmicznych Polskiej Akademii Nauk, Warsaw, Poland
Darmetko, Marcin; Centrum Badań Kosmicznych Polskiej Akademii Nauk, Warsaw, Poland
Dziezyc, Marcin; N7 Space, Warsaw, Poland
Galano, Damien; European Space Agency, Noordwijk, Netherlands
Grochowski, Konrad; N7 Space, Warsaw, Poland
Kurowski, Michal; N7 Space, Warsaw, Poland
Juchnikowski, Grzegorz; Centrum Badań Kosmicznych Polskiej Akademii Nauk, Warsaw, Poland
Morawski, Marek; Centrum Badań Kosmicznych Polskiej Akademii Nauk, Warsaw, Poland
Mosdorf, Michal; N7 Space, Warsaw, Poland
Orleanski, Piotr; Centrum Badań Kosmicznych Polskiej Akademii Nauk, Warsaw, Poland
Thizy, Cédric ; Université de Liège - ULiège > Centres généraux > CSL (Centre Spatial de Liège) ; Center Spatial de Liege, Liege, Belgium
Völp, Marcus ; Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Esch-sur-Alzette, Luxembourg
The Proba-3 ASPIICS project is developed under the auspices of the ESA’s General Support Technology Programme (GSTP) and the ESA’s Prodex Programme thanks to the sponsorships of seven member states: Belgium, Poland, Romania, Italy, Ireland, Greece, and the Czech Republic. This work is also supported by the Fond Nationale de Recherche, Luxembourg, through grant CS20/IS/14689454 - HERA.
Blommestijn, R., Fuchs, J.: Specification and description language (SDL), July 1999. z.100
Blommestijn, R., Fuchs, J.: Technical Dossier on System Modelling and Simulation Tools, July 2012. iss 2, rev 2A
Bluff, R.: Avionic system modelling. In: International Conference on Simulation 1998 (Conf. Publ. No. 457), pp. 11–18, September 1998. https://doi.org/10.1049/cp:19980610
Bollig, B., Fortin, M., Gastin, P.: Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic. J. Comput. Syst. Sci. 115, 22–53 (2021). https://doi.org/10.1016/j.jcss.2020.06.006
Eickhoff, J.: Onboard Computers, Onboard Software and Satellite Operations: An Introduction, 2012 edn. Springer, New York (2011)
Ereau, J.F., Saleman, M.: Modeling and simulation of a satellite constellation based on Petri nets, pp. 66–72, January 1996. https://doi.org/10.1109/RAMS. 1996.500644
Feiler, P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language, 1st edn. Addison-Wesley Professional (2012)
Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. J. Comput. Syst. Sci. 18(2), 194–211 (1979). https://doi.org/10.1016/00220000(79)90046-1
Galano, D., et al.: Development of ASPIICS: a coronagraph based on Proba-3 formation flying mission. In: Lystrup, M., MacEwen, H.A., Fazio, G.G., Batalha, N., Siegler, N., Tong, E.C. (eds.) Space Telescopes and Instrumentation 2018: Optical, Infrared, and Millimeter Wave, vol. 10698, pp. 906–918. International Society for Optics and Photonics, SPIE (2018). https://doi.org/10.1117/12.2312493
German, R., Kelling, C., Zimmermann, A., Hommel, G.: TimeNET-a toolkit for evaluating non-Markovian stochastic Petri nets. In: Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, pp. 210–211, October 1995. https://doi.org/10.1109/PNPM.1995.524333
Girault, C., Valk, R.: Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)
Graczyk, R.: Reliability and performance modeling of configurable electronic systems for unmanned spacecraft. Editorial Series on Accelerator Science, Warsaw University of Technology Publishing House, Warsaw (2016)
Hall, A.D.: A Methodology for Systems Engineering. Van Nostrand (1962)
Holt, J.: UML for systems engineering (2004)
Kelling, C., German, R., Zimmermann, A., Hommel, G.: TimeNET: evaluation tool for non-Markovian stochastic Petri nets. In: Proceedings of IEEE International Computer Performance and Dependability Symposium, September 1996. https://doi.org/10.1109/IPDS.1996.540206
Kordon, F., Canals, A., Dohet, A.: Embedded systems analysis and modeling with SysML, UML and AADL. Electonics Engineering Series, ISTE, London (2013)
Kossiakoff, A., Sweet, W.N.: Systems Engineering Principles and Practice, 1st edn. Wiley-Interscience, New York (2002)
Lloret, J.C., Roux, J.L., Algayres, B., Chamontin, M.: Modelling and evaluation of a satellite system using EVAL, a Petri Net based industrial tool. In: Jensen, K. (ed.) ICATPN 1992. LNCS, vol. 616, pp. 379–383. Springer, Heidelberg (1992). https://doi.org/10.1007/3-540-55676-1 23
Malott, L., Palangpour, P.: Small spacecraft software modeling: a Petri net-based approach. In: AIAA/USU Conference on Small Satellites, August 2013
Molloy: Performance analysis using stochastic petri nets. IEEE Trans. Comput. C-31(9), 913–917 (1982). https://doi.org/10.1109/TC.1982.1676110
Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989). https://doi.org/10.1109/5.24143
Perrotin, M., et al.: TASTE in action. In: 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016). TOULOUSE, France, January 2016. https://hal.archives-ouvertes.fr/hal-01289678
Platzer, A.: Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics. Springer, Heidelberg (2010)
Rechtin, E.: Systems Architecting: Creating and Building Complex Systems. Prentice Hall (1991)
Renotte, E., et al.: Recent achievements on ASPIICS, an externally occulted coronagraph for PROBA-3. In: MacEwen, H.A., Fazio, G.G., Lystrup, M., Batalha, N., Siegler, N., Tong, E.C. (eds.) Space Telescopes and Instrumentation 2016: Optical, Infrared, and Millimeter Wave, vol. 9904, pp. 1112–1126. International Society for Optics and Photonics, SPIE (2016). https://doi.org/10.1117/12.2232695
Zimmermann, A.: Modeling and evaluation of stochastic Petri nets with TimeNET 4.1. In: 2012 6th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS), pp. 54–63, October 2012
Zurawski, R., Zhou, M.: Petri nets and industrial applications: a tutorial. IEEE Trans. Ind. Electron. 41(6), 567–583 (1994). https://doi.org/10.1109/41.334574
