elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Kontakt | English
Schriftgröße: [-] Text [+]

Symbolic Abstraction of System Requirements

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

[img]
Vorschau
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
335kB

Kurzfassung

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.

Dokumentart:Konferenzbeitrag (Vortrag, Paper)
Titel:Symbolic Abstraction of System Requirements
Autoren:
AutorenInstitution oder E-Mail-Adresse der Autoren
Steinmetz, JoachimDLR SC-RV
Maibaum, OlafDLR SC-RV
Gerndt, AndreasDLR SC-RV
Borgert, StephanTU Darmstadt
Mühlhäuser, MaxTU Darmstadt
Datum:19 Oktober 2010
Status:veröffentlicht
Stichwörter:Requirements Engineering, Temporal Logic, Natural Language Processing, Model Based System Engineering
Veranstaltungstitel:Systems Engineering Infrastructure Conference (SEISCONF)
Veranstaltungsort:Ottobrunn, Germany
Veranstaltungsart:nationale Konferenz
Veranstaltungsdatum:19. Oct. 2010
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Raumfahrt
HGF - Programmthema:Technik für Raumfahrt
DLR - Schwerpunkt:Raumfahrt
DLR - Forschungsgebiet:R SY - Technik für Raumfahrtsysteme
DLR - Teilgebiet (Projekt, Vorhaben):R - Projekt Virtueller Satellit (alt)
Standort: Braunschweig
Institute & Einrichtungen:Institut für Simulations- und Softwaretechnik
Institut für Simulations- und Softwaretechnik > Software für Raumfahrtsysteme und interaktive Visualisierung
Hinterlegt von: Dr.rer.nat. Andreas Gerndt
Hinterlegt am:22 Nov 2010 11:17
Letzte Änderung:12 Dez 2013 21:05

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Copyright © 2008-2013 Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.