Volp, Marcus[University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > CritiX >]
23-Jun-2022
From Graphs to the Science Computer of a Space Telescope. The power of Petri Nets in Systems Engineering
Graczyk, Rafal
Bujwan, Waldemar
Darmetko, Marcin
Dziezyc, Marcin
Galano, Damien
Grochowski, Konrad
Kurowski, Michal
Juchnikowski, Grzegorz
Morawski, Marek
Mosdorf, Michal
Orleanski, Piotr
Thizy, Cedric
Volp, Marcus
Springer
Lecture Notes in Computer Science vol. 13288
Yes
International
978-3-031-06652-8
978-3-031-06653-5
43rd International Conference on Applications and Theory of Petri Nets and Concurrency
19-06-2022 to 24-06-2022
[en] Petri Net ; Systems Engineering ; Performance Modeling ; On-Board Computer ; Scientific Payload
[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 tradeoffs. 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.
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Critical and Extreme Security and Dependability Research Group (CritiX)