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

A Formal Method for Early Spacecraft Design Verification

Fischer, Philipp M. and Lüdtke, Daniel and Schaus, Volker and Gerndt, Andreas (2013) A Formal Method for Early Spacecraft Design Verification. IEEE Aerospace 2013, 2.-9. Mar 2013, Big Sky, Montana, USA. doi: 10.1109/AERO.2013.6496878.

Full text not available from this repository.

Official URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6496878


Abstract—In the early design phase of a spacecraft, various aspects of the system under development are described and modeled using parameters such as masses, power consumption or data rates. In particular power and data parameters are special since their values can change depending on the spacecrafts operational mode. These mode-dependent parameters can be easily verified to static requirements like a maximum data rate. Such quick verifications allow the engineers to check the design after every change they apply. In contrast, requirements concerning the mission lifetime such as the amount of downlinked data during the whole mission, demands a more complex procedure. We propose an executable model together with a simulation framework to evaluate complex mission scenarios. In conjunction with a formalized specification of mission requirements it allows a quick verification by means of formal methods.

Item URL in elib:https://elib.dlr.de/119908/
Document Type:Conference or Workshop Item (Speech)
Title:A Formal Method for Early Spacecraft Design Verification
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-1562139068901
Gerndt, AndreasUNSPECIFIEDhttps://orcid.org/0000-0002-0409-8573UNSPECIFIED
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In ISI Web of Science:No
Keywords:Early Design, Formal Methods, Verification, Concurrent Engineering
Event Title:IEEE Aerospace 2013
Event Location:Big Sky, Montana, USA
Event Type:international Conference
Event Dates:2.-9. Mar 2013
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 - Vorhaben SISTEC (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:21 Jun 2018 19:24
Last Modified:21 Jul 2023 11:23

Repository Staff Only: item control page

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