+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * +**********************************************************************
Zeit: Donnerstag, 12. Januar 2023, 10:00 Uhr Ort: 9222 (Gebäude E3, Informatikzentrum)
Referent: Sascha Müller M.Sc. DLR Braunschweig
Thema: Synthesizing FDIR Recovery Strategies for Space Systems
Abstract: This talk proposes an inherently non-deterministic model for Dynamic Fault Trees (DFTs) to analyze Fault Detection Isolation and Recovery concepts with a particular focus on the needs of space systems. Deterministic recovery strategies are synthesized by transforming these non-deterministic DFTs into Markov automata. From the corresponding scheduler, optimized to maximize a given RAMS metric, an optimal recovery strategy can then be derived and represented by a model we call recovery automaton. We discuss dedicated techniques for reducing the state space of this recovery automaton and investigate lifting the approach to a partially observable setting.
Es laden ein: die Dozentinnen und Dozenten der Informatik