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
335kB |
Abstract
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/66387/ | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Document Type: | Conference or Workshop Item (Speech, Paper) | ||||||||||||||||||||||||
Title: | Symbolic Abstraction of System Requirements | ||||||||||||||||||||||||
Authors: |
| ||||||||||||||||||||||||
Date: | 19 October 2010 | ||||||||||||||||||||||||
Open Access: | Yes | ||||||||||||||||||||||||
Gold Open Access: | No | ||||||||||||||||||||||||
In SCOPUS: | No | ||||||||||||||||||||||||
In ISI Web of Science: | No | ||||||||||||||||||||||||
Status: | Published | ||||||||||||||||||||||||
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 System Technology | ||||||||||||||||||||||||
DLR - Research area: | Raumfahrt | ||||||||||||||||||||||||
DLR - Program: | R SY - Space System Technology | ||||||||||||||||||||||||
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 for Space Systems and Interactive Visualisation | ||||||||||||||||||||||||
Deposited By: | Gerndt, Dr.rer.nat. Andreas | ||||||||||||||||||||||||
Deposited On: | 22 Nov 2010 11:17 | ||||||||||||||||||||||||
Last Modified: | 31 Jul 2019 19:29 |
Repository Staff Only: item control page