elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Formal Verification in Early Mission Planning

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.

[img] 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:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Fischer, Philipp M.UNSPECIFIEDhttps://orcid.org/0000-0003-2918-5195UNSPECIFIED
Lüdtke, DanielUNSPECIFIEDhttps://orcid.org/0000-0002-6758-1562UNSPECIFIED
Schaus, VolkerUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Maibaum, OlafUNSPECIFIEDhttps://orcid.org/0000-0003-3918-9667UNSPECIFIED
Gerndt, AndreasUNSPECIFIEDhttps://orcid.org/0000-0002-0409-8573UNSPECIFIED
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

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.