Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Greif, Fabian"'
Autor:
Bloem, Roderick, Fey, Goerschwin, Greif, Fabian, Koenighofer, Robert, Pill, Ingo, Riener, Heinz, Roeck, Franz
Constructing good test cases is difficult and time-consuming, especially if the system under test is still under development and its exact behavior is not yet fixed. We propose a new approach to compute test strategies for reactive systems from a giv
Externí odkaz:
http://arxiv.org/abs/1809.01607
Autor:
Bloem, Roderick, Fey, Görschwin, Greif, Fabian, Könighofer, Robert, Pill, Ingo, Riener, Heinz, Röck, Franz
Publikováno v:
Formal Methods in System Design
Formal Methods in System Design 2 (55): 103-135 (2019)
Formal Methods in System Design 2 (55): 103-135 (2019)
Constructing good test cases is difficult and time-consuming, especially if the system under test is still under development and its exact behavior is not yet fixed. We propose a new approach to compute test strategies for reactive systems from a giv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::38d5433db1b802950cc11cb3ec5c367e
http://europepmc.org/articles/PMC6892341
http://europepmc.org/articles/PMC6892341
Autor:
Delovski, Toni, Düvel, Catherin, Greif, Fabian, Heidecker, Ansgar, Kottmeier, Sebastian, Mierheim, Olaf, Nohka, Falk, Orlowski-Feldhusen, Fabian
Publikováno v:
International Journal of Aerospace Engineering, Vol 2019 (2019)
Eu:CROPIS is DLR’s first mission of the Compact Satellite Program. Its primary payload focuses on the research of closed-loop biological, regenerative life support systems, in a simulated gravitational environment of the Moon and Mars over months a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3c66f15bc3ccc228f47f396a5f6a64c2
https://elib.dlr.de/112573/
https://elib.dlr.de/112573/
Fault detection, isolation, and recovery (FDIR) mechanisms in on-board software are essential to guarantee the survival of the satellite in case of a hardware malfunction. E.g., outage of essential attitude control system (ACS) actuators or sensors c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1640::5e326729abb381c85aff4f545a8c79ff
https://elib.dlr.de/129297/
https://elib.dlr.de/129297/
The possibilities to observe and interact with any given spacecraft are naturally limited compared to groundbased systems due to a number of factors. These include but are not limited to the availability and bandwidth of their connection to ground, t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1640::9875a64d36327faf2c7b0c6c738b26d0
https://elib.dlr.de/129255/
https://elib.dlr.de/129255/
Autor:
Ofenloch, Annika, Greif, Fabian
Before launching spacecrafts, the on-board software (OBSW) and the communication of the on-board computer (OBC) with the subsystems must be tested to identify and correct possible errors in the software. Therefore, simulation environments are increas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1640::34d91526acb8be7f4bc8574cd4f24b66
https://elib.dlr.de/111427/
https://elib.dlr.de/111427/
Publikováno v:
Internet der Dinge: Echtzeit 2016; 2016, p127-132, 6p