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

Symbolic Abstraction of System Requirements

Steinmetz, Joachim and Maibaum, Olaf and Gerndt, Andreas and Borgert, Stephan and Mühlhäuser, Max (2010) Symbolic Abstraction of System Requirements. Systems Engineering Infrastructure Conference (SEISCONF), 19. Oct. 2010, Ottobrunn, Germany.

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


Because aerospace systems become more and more complex, the pile of documents specifying the requirements for such systems grows continuously. It is obvious that it is not enough just to produce more documents. The expressiveness of system requirements has to be considered as well. However, the ambiguity of natural language generally used to define requirements impedes a manageable growth of system complexities. Therefore, new approaches of abstraction and formalization are needed. In this paper, we describe a semi-automatic implementation of symbolic abstraction by using methods of natural language processing and temporal logic. A graphical presentation of grammatical relations supports the comprehensibility of symbolic abstraction whereas methods defined by the Linear Temporal Logic (LTL) are incorporated to specify the temporal order of requirements. We demonstrate our approach by using exemplary requirements for the ExoMars mission.

Document Type:Conference or Workshop Item (Speech, Paper)
Title:Symbolic Abstraction of System Requirements
AuthorsInstitution or Email of Authors
Steinmetz, JoachimDLR SC-RV
Maibaum, OlafDLR SC-RV
Gerndt, AndreasDLR SC-RV
Borgert, StephanTU Darmstadt
Mühlhäuser, MaxTU Darmstadt
Date:19 October 2010
Keywords:Requirements Engineering, Temporal Logic, Natural Language Processing, Model Based System Engineering
Event Title:Systems Engineering Infrastructure Conference (SEISCONF)
Event Location:Ottobrunn, Germany
Event Type:national Conference
Event Dates:19. Oct. 2010
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 - Projekt Virtueller Satellit (old)
Location: Braunschweig
Institutes and Institutions:Institut of Simulation and Software Technology
Institut of Simulation and Software Technology > Software für Raumfahrtsysteme und interaktive Visualisierung
Deposited By: Dr.rer.nat. Andreas Gerndt
Deposited On:22 Nov 2010 11:17
Last Modified:12 Dec 2013 21:05

Repository Staff Only: item control page

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