Paper published in a book (Scientific congresses, symposiums and conference proceedings)
From Graphs to the Science Computer of a Space Telescope. The power of Petri Nets in Systems Engineering
Graczyk, Rafal; Bujwan, Waldemar; Darmetko, Marcin et al.
2022In Graczyk, Rafal; Bujwan, Waldemar; Darmetko, Marcin et al. (Eds.) From Graphs to the Science Computer of a Space Telescope. The power of Petri Nets in Systems Engineering
Peer reviewed
 

Files


Full Text
paper-authors-copy.pdf
Author postprint (4.76 MB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Petri Net; Systems Engineering; Performance Modeling; On-Board Computer; Scientific Payload
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 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.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Critical and Extreme Security and Dependability Research Group (CritiX)
Disciplines :
Computer science
Author, co-author :
Graczyk, Rafal ;  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  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > CritiX
More authors (3 more) Less
External co-authors :
yes
Language :
English
Title :
From Graphs to the Science Computer of a Space Telescope. The power of Petri Nets in Systems Engineering
Publication date :
23 June 2022
Event name :
43rd International Conference on Applications and Theory of Petri Nets and Concurrency
Event date :
19-06-2022 to 24-06-2022
Audience :
International
Main work title :
From Graphs to the Science Computer of a Space Telescope. The power of Petri Nets in Systems Engineering
Author, co-author :
Graczyk, Rafal 
Bujwan, Waldemar
Darmetko, Marcin
Dziezyc, Marcin
Galano, Damien
Grochowski, Konrad
Kurowski, Michal
Juchnikowski, Grzegorz
Morawski, Marek
Mosdorf, Michal
Orleanski, Piotr
Thizy, Cedric
More authors (3 more) Less
Publisher :
Springer
ISBN/EAN :
978-3-031-06652-8
978-3-031-06653-5
Collection name :
Lecture Notes in Computer Science vol. 13288
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
FnR Project :
FNR14689454 - Hypervisor-enforced Radiation Tolerance In Multi-core Socs For Space, 2020 (01/09/2021-31/08/2024) - Marcus Völp
Funders :
FNR - Fonds National de la Recherche [LU]
Available on ORBilu :
since 29 June 2022

Statistics


Number of views
120 (12 by Unilu)
Number of downloads
100 (7 by Unilu)

Scopus citations®
 
0
Scopus citations®
without self-citations
0
OpenCitations
 
0

Bibliography


Similar publications



Contact ORBilu