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

A Continuous Verification Process in Concurrent Engineering

Schaus, Volker and Tiede, Michael and Fischer, Philipp M. and Lüdtke, Daniel and Gerndt, Andreas (2013) A Continuous Verification Process in Concurrent Engineering. AIAA Space Conference, 10.-12. Sep. 2013, San Diego, CA.

[img]
Preview
PDF
617kB

Abstract

This paper presents how a continuous mission verification process similar than in software engineering can be applied in early spacecraft design and Concurrent Engineering. Following the Model-based Systems Engineering paradigm, all engineers contribute to one single centralized data model of the system. The data model is enriched with some extra information to create an executable representation of the spacecraft and its mission. That executable scenario allows for verifications against requirements that have been formalized using appropriate techniques from the field of formal verification. The paper focuses on a current approach of integrating this verification mechanism into our Concurrent Engineering environment. In an example study, we explain how basic mission requirements are created at the beginning of the spacecraft design. After each iteration and change, the integrated verification will be executed. This instantly highlights the effects of the modification and points out potential problems in the design. Using the continuous verification process alongside the Concurrent Engineering process helps to mature both, the requirements and the design itself.

Item URL in elib:https://elib.dlr.de/84093/
Document Type:Conference or Workshop Item (Speech)
Title:A Continuous Verification Process in Concurrent Engineering
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Schaus, Volkervolker.schaus (at) dlr.deUNSPECIFIED
Tiede, Michaelmichael.tiede (at) dlr.deUNSPECIFIED
Fischer, Philipp M.philipp.fischer (at) dlr.deUNSPECIFIED
Lüdtke, DanielDaniel.Luedtke (at) dlr.dehttps://orcid.org/0000-0002-6758-1562
Gerndt, Andreasandreas.gerndt (at) dlr.deUNSPECIFIED
Date:11 September 2013
Refereed publication:No
Open Access:Yes
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Status:Published
Keywords:Verification, Spacecraft Design, Concurrent Engineering
Event Title:AIAA Space Conference
Event Location:San Diego, CA
Event Type:international Conference
Event Dates:10.-12. Sep. 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 - Virtueller Satellit
Location: Braunschweig
Institutes and Institutions:Institut of Simulation and Software Technology > Software for Space Systems and Interactive Visualisation
Deposited By: Schaus, Volker
Deposited On:16 Sep 2013 11:14
Last Modified:31 Jul 2019 19:42

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.