elib
DLR-Header
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.

Full text not available from this repository.

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

Abstract

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
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Fischer, Philipp M.Philipp.Fischer (at) dlr.dehttps://orcid.org/0000-0003-2918-5195
Lüdtke, DanielDaniel.Luedtke (at) dlr.dehttps://orcid.org/0000-0002-6758-1562
Schaus, Volkervolker.schaus (at) dlr.deUNSPECIFIED
Gerndt, Andreasandreas.gerndt (at) dlr.deUNSPECIFIED
Date:2013
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Status:Published
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 Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Technik für Raumfahrtsysteme
DLR - Research theme (Project):R - Vorhaben SISTEC
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 Jun 2018 19:24

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.