DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | 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. In: SEISCONF 2010. SEISCONF 2010, 2010-10-19, Ottobrunn.

This is the latest version of this item.


Official URL: http://www.seisconf.org/


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.

Item URL in elib:https://elib.dlr.de/67177/
Document Type:Conference or Workshop Item (UNSPECIFIED)
Title:Symbolic Abstraction of System Requirements
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Maibaum, OlafOlaf.Maibaum.dlr.deUNSPECIFIEDUNSPECIFIED
Gerndt, AndreasUNSPECIFIEDhttps://orcid.org/0000-0002-0409-8573UNSPECIFIED
Date:19 October 2010
Journal or Publication Title:SEISCONF 2010
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In ISI Web of Science:No
Keywords:Requirements Engineering, Temporal Logic, Natural Language Processing, Model Based System Engineering
Event Title:SEISCONF 2010
Event Location:Ottobrunn
Event Type:national Conference
Event Date:19 October 2010
Organizer:EADS Innovation Works
HGF - Research field:Aeronautics, Space and Transport (old)
HGF - Program:Space (old)
HGF - Program Themes:W SY - Technik für Raumfahrtsysteme
DLR - Research area:Space
DLR - Program:W SY - Technik für Raumfahrtsysteme
DLR - Research theme (Project):W - Projekt Virtueller Satellit (old)
Location: Braunschweig
Institutes and Institutions:Institut of Simulation and Software Technology > Software Quality Assurance and Embedded Systems
Deposited By: Steinmetz, Joachim
Deposited On:10 Jan 2011 10:56
Last Modified:24 Apr 2024 19:32

Available Versions of this Item

  • Symbolic Abstraction of System Requirements. (deposited 10 Jan 2011 10:56) [Currently Displayed]

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.