elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Formal Scenario Definition Language for Aviation: Aircraft Landing Case Study

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

[img] PDF
596kB

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

Abstract

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.

Item URL in elib:https://elib.dlr.de/105206/
Document Type:Conference or Workshop Item (Speech)
Title:Formal Scenario Definition Language for Aviation: Aircraft Landing Case Study
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Jafer, ShafaghERAUUNSPECIFIED
Chhaya, BharviERAUUNSPECIFIED
Durak, UmutUmut.Durak (at) dlr.dehttps://orcid.org/0000-0002-2928-1710
Gerlach, TorstenTorsten.Gerlach (at) dlr.deUNSPECIFIED
Date:2016
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Status:Published
Keywords:Simulation Scenarios, Scenario Development, Domain Specific Languages, Formal Scenario Language
Event Title:Modeling and Simulation Technologies Conference
Event Location:Washington, D.C.
Event Type:international Conference
Event Dates:13.-17. Jun. 2016
Organizer:AIAA
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Aeronautics
HGF - Program Themes:fixed-wing aircraft
DLR - Research area:Aeronautics
DLR - Program:L AR - Aircraft Research
DLR - Research theme (Project):L - Simulation and Validation
Location: Braunschweig
Institutes and Institutions:Institute of Flight Systems > Flight Dynamics and Simulation
Deposited By: Durak, Umut
Deposited On:26 Oct 2016 11:31
Last Modified:31 Jul 2019 20:02

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.