Reference : From Graphs to the Science Computer of a Space Telescope. The power of Petri Nets in ...
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/51465
From Graphs to the Science Computer of a Space Telescope. The power of Petri Nets in Systems Engineering
English
Graczyk, Rafal mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > CritiX >]
Bujwan, Waldemar [Centrum Badań Kosmicznych Polskiej Akademii Nauk]
Darmetko, Marcin [Centrum Badań Kosmicznych Polskiej Akademii Nauk]
Dziezyc, Marcin [N7 Space]
Galano, Damien [European Space Agency]
Grochowski, Konrad [N7 Space]
Kurowski, Michal [N7 Space]
Juchnikowski, Grzegorz [Centrum Badań Kosmicznych Polskiej Akademii Nauk]
Morawski, Marek [Centrum Badań Kosmicznych Polskiej Akademii Nauk]
Mosdorf, Michal [N7 Space]
Orleanski, Piotr [Centrum Badań Kosmicznych Polskiej Akademii Nauk]
Thizy, Cedric [Center Spatial de Liege]
Volp, Marcus mailto [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 mailto
Bujwan, Waldemar
Darmetko, Marcin
Dziezyc, Marcin
Galano, Damien
Grochowski, Konrad
Kurowski, Michal
Juchnikowski, Grzegorz
Morawski, Marek
Mosdorf, Michal
Orleanski, Piotr
Thizy, Cedric
Volp, Marcus mailto
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)
Fonds National de la Recherche - FnR
Researchers
http://hdl.handle.net/10993/51465
10.1007/978-3-031-06653-5_9
https://doi.org/10.1007/978-3-031-06653-5_9
FnR ; FNR14689454 > Marcus Völp > HERA > Hypervisor-enforced Radiation Tolerance In Multi-core Socs For Space > 01/09/2021 > 31/08/2024 > 2020

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
paper-authors-copy.pdfAuthor postprint4.65 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.