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

Formal Scenario Definition Language for Aviation: Aircraft Landing Case Study

Jafer, Shafagh und Chhaya, Bharvi und Durak, Umut und Gerlach, Torsten (2016) Formal Scenario Definition Language for Aviation: Aircraft Landing Case Study. Modeling and Simulation Technologies Conference, 2016-06-13 - 2016-06-17, Washington, D.C.. doi: 10.2514/6.2016-3521.

[img] PDF
596kB

Offizielle URL: http://dx.doi.org/10.2514/6.2016-3521

Kurzfassung

Although the importance of scenarios in modeling and simulation has long been well known, there still exists a lack of common understanding and standardized practices in simulation scenario development. This paper proposes a Domain-Specific Language (DLS) to provide a standard scenario specification that will lead to a common mechanism for verifying and executing aviation scenarios, effective sharing of scenarios among various simulation environments, improve the consistency among different simulators and simulations, and even enable the reuse of scenario specifications. Following DSL design practices, the proposed Aviation Scenario Definition Language (ASDL) will provide a well-structured definition language to formally specify complete aircraft landing scenarios. In order to capture the necessary constructs for a simulation scenario, Simulation Interoperability Standards Organization (SISO) Base Object Model (BOM) is adopted as the baseline metamodel. This baseline is extended using the fundamentals of aircraft landing that cover all the domain-related concepts and terminology as constructs. By taking a formal approach in defining aviation scenarios, ASDL aims at providing consistency and completeness checking, and model-to-text transformations capabilities for various targets in the aviation scenario definition domain. The results of this work will be used to develop a graphical modeling environment and automatic means to transform scenario models into executable scenario scripts. The work presented here is the first stepping stone in formal scenario definition in aviation domain.

elib-URL des Eintrags:https://elib.dlr.de/105206/
Dokumentart:Konferenzbeitrag (Vortrag)
Titel:Formal Scenario Definition Language for Aviation: Aircraft Landing Case Study
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Jafer, ShafaghERAUNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Chhaya, BharviERAUNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Durak, UmutUmut.Durak (at) dlr.dehttps://orcid.org/0000-0002-2928-1710NICHT SPEZIFIZIERT
Gerlach, TorstenTorsten.Gerlach (at) dlr.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:2016
Referierte Publikation:Ja
Open Access:Ja
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
DOI:10.2514/6.2016-3521
Status:veröffentlicht
Stichwörter:Simulation Scenarios, Scenario Development, Domain Specific Languages, Formal Scenario Language
Veranstaltungstitel:Modeling and Simulation Technologies Conference
Veranstaltungsort:Washington, D.C.
Veranstaltungsart:internationale Konferenz
Veranstaltungsbeginn:13 Juni 2016
Veranstaltungsende:17 Juni 2016
Veranstalter :AIAA
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Luftfahrt
HGF - Programmthema:Flugzeuge
DLR - Schwerpunkt:Luftfahrt
DLR - Forschungsgebiet:L AR - Aircraft Research
DLR - Teilgebiet (Projekt, Vorhaben):L - Simulation und Validierung (alt)
Standort: Braunschweig
Institute & Einrichtungen:Institut für Flugsystemtechnik > Flugdynamik und Simulation
Hinterlegt von: Durak, Umut
Hinterlegt am:26 Okt 2016 11:31
Letzte Änderung:24 Apr 2024 20:10

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.