elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | 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. In: SEISCONF 2010. SEISCONF 2010, 2010-10-19, Ottobrunn.

Dies ist die aktuellste Version dieses Eintrags.

[img]
Vorschau
PDF
335kB

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

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.

elib-URL des Eintrags:https://elib.dlr.de/67177/
Dokumentart:Konferenzbeitrag (NICHT SPEZIFIZIERT)
Titel:Symbolic Abstraction of System Requirements
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Steinmetz, JoachimJoachim.Steinmetz (at) dlr.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Maibaum, OlafOlaf.Maibaum.dlr.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Gerndt, AndreasAndreas.Gerndt (at) dlr.dehttps://orcid.org/0000-0002-0409-8573NICHT SPEZIFIZIERT
Borgert, Stephanborgert (at) tk.informatik.tu-darmstadt.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Mühlhäuser, Maxmax (at) tk.informatik.tu-darmstadt.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:19 Oktober 2010
Erschienen in:SEISCONF 2010
Referierte Publikation:Ja
Open Access:Ja
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
Status:veröffentlicht
Stichwörter:Requirements Engineering, Temporal Logic, Natural Language Processing, Model Based System Engineering
Veranstaltungstitel:SEISCONF 2010
Veranstaltungsort:Ottobrunn
Veranstaltungsart:nationale Konferenz
Veranstaltungsdatum:19 Oktober 2010
Veranstalter :EADS Innovation Works
HGF - Forschungsbereich:Verkehr und Weltraum (alt)
HGF - Programm:Weltraum (alt)
HGF - Programmthema:W SY - Technik für Raumfahrtsysteme
DLR - Schwerpunkt:Weltraum
DLR - Forschungsgebiet:W SY - Technik für Raumfahrtsysteme
DLR - Teilgebiet (Projekt, Vorhaben):W - Projekt Virtueller Satellit (alt)
Standort: Braunschweig
Institute & Einrichtungen:Institut für Simulations- und Softwaretechnik > Software-Qualitätssicherung und eingebettete Systeme
Hinterlegt von: Steinmetz, Joachim
Hinterlegt am:10 Jan 2011 10:56
Letzte Änderung:24 Apr 2024 19:32

Verfügbare Versionen dieses Eintrags

  • Symbolic Abstraction of System Requirements. (deposited 10 Jan 2011 10:56) [Gegenwärtig angezeigt]

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

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