586: DLR-DAAD Postdoctoral Fellowship Nr. 586: PhD Computer Science (f/m/x) - Adapting unfolding-based dynamic partial order reduction for spacecraft operational behaviour verification in early design

Area of research:

Scientific / postdoctoral posts,Sonstiges

Job description:

The operational behaviour of a spacecraft needs to be modelled in early phases. It can be represented in state machines, transitions and triggering sequences. With hybrid models these state machines can be extended by time-continuous behaviour, usually described in differential equations. Depending on the complexity of the overall spacecraft, potentially dangerous states such as depleted batteries cannot be completely tested for absence.

It is envisaged to use hybrid model checking as a complete verification method. Nevertheless, this approach is confronted with the state space explosion problem and the need for time-continuous behaviour above first order. Therefore, it is needed to investigate methodologies to reduce the state space that needs to be explored by e.g. partitioning, and explore potential methods for model checking hybrid systems of higher order.

Please apply here: DLR-DAAD Research Fellowship Programme - DAAD - Deutscher Akademischer Austauschdienst

Further information and current vacancies: DLR Current offers - DAAD

This research center is part of the Helmholtz Association of German Research Centers. With more than 42,000 employees and an annual budget of over € 5 billion, the Helmholtz Association is Germany's largest scientific organisation.