Fischer, Philipp M. and Lüdtke, Daniel and Schaus, Volker and Maibaum, Olaf and Gerndt, Andreas (2012) Formal Verification in Early Mission Planning. Simulation and EGSE facilities for Space Programmes, 25.-27. September 2012, Noordwijk.
![]() |
PDF
148kB |
Official URL: http://www.congrexprojects.com/12c09/programme
Abstract
Spacecraft are complex systems. Changing one of its design parameter can have implications on the overall design and might become a crucial factor to mission success. In the early phases of spacecraft design, parameters as well as the mission goals are likely to change. These changes have to be applied carefully and need to be analyzed in respect to the whole system and the intended mission. The software Virtual Satellite supports this analysis by using an abstract model where the engineers can enter design data of their components. It allows describing operational phases of the spacecraft by defining modes such as Recharge or Science. These operational modes can be referenced by parameters to define individual values for them. Together with their respective mode durations, it can be determined for example how much energy is consumed in a specific mode or how much is produced. But this does not consider the influence of the parameter with respect to the overall mission goals. For example having a mission life time of 20 years and a spacecraft which spends too much of that time to maintain its power state, it remains unclear if the remaining time is long enough to gather enough scientific data as demanded by the mission requirements. This paper shows an approach to such problems based on formal verification. The data of the early phase model is used to create a state model of the spacecraft. Both, the model and the formalized requirements will be given to a model checker that automatically verifies on formal basis that the spacecraft complies with its specification. This method enables engineers to quickly check the design with respect to the mission requirements once they applied changes to it or to the requirements.
Item URL in elib: | https://elib.dlr.de/119907/ | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Document Type: | Conference or Workshop Item (Speech) | ||||||||||||||||||||||||
Title: | Formal Verification in Early Mission Planning | ||||||||||||||||||||||||
Authors: |
| ||||||||||||||||||||||||
Date: | 25 September 2012 | ||||||||||||||||||||||||
Refereed publication: | No | ||||||||||||||||||||||||
Open Access: | Yes | ||||||||||||||||||||||||
Gold Open Access: | No | ||||||||||||||||||||||||
In SCOPUS: | No | ||||||||||||||||||||||||
In ISI Web of Science: | No | ||||||||||||||||||||||||
Status: | Published | ||||||||||||||||||||||||
Keywords: | Formal Verification, Phase 0/A, Phase A, Model Checking, Mission Planning, Virtual Satellite | ||||||||||||||||||||||||
Event Title: | Simulation and EGSE facilities for Space Programmes | ||||||||||||||||||||||||
Event Location: | Noordwijk | ||||||||||||||||||||||||
Event Type: | Workshop | ||||||||||||||||||||||||
Event Dates: | 25.-27. September 2012 | ||||||||||||||||||||||||
Organizer: | European Space Agency (ESA) | ||||||||||||||||||||||||
HGF - Research field: | Aeronautics, Space and Transport | ||||||||||||||||||||||||
HGF - Program: | Space | ||||||||||||||||||||||||
HGF - Program Themes: | Space System Technology | ||||||||||||||||||||||||
DLR - Research area: | Raumfahrt | ||||||||||||||||||||||||
DLR - Program: | R SY - Space System Technology | ||||||||||||||||||||||||
DLR - Research theme (Project): | R - Projekt Virtueller Satellit (old) | ||||||||||||||||||||||||
Location: | Braunschweig | ||||||||||||||||||||||||
Institutes and Institutions: | Institut of Simulation and Software Technology Institut of Simulation and Software Technology > Software for Space Systems and Interactive Visualisation | ||||||||||||||||||||||||
Deposited By: | Fischer, Philipp M. | ||||||||||||||||||||||||
Deposited On: | 20 Jul 2018 09:46 | ||||||||||||||||||||||||
Last Modified: | 29 Mar 2023 00:37 |
Repository Staff Only: item control page