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

Formal Verification of Simulation Scenarios in Aviation Scenario Definition Language (ASDL)

Chhaya, Bharvi and Jafer, Shafagh and Durak, Umut (2018) Formal Verification of Simulation Scenarios in Aviation Scenario Definition Language (ASDL). Aerospace. Multidisciplinary Digital Publishing Institute (MDPI). DOI: 10.3390/aerospace5010010 ISSN 2226-4310

[img] PDF - Registered users only
3MB

Official URL: http://www.mdpi.com/2226-4310/5/1/10

Abstract

Formal methods offer well-defined means for mathematical verification of the functional specifications of software systems. For model-based engineering, model checking is a verification technique that explores all possible system states. The Aviation Scenario Definition Language is a domain-specific language designed based on a scenario development process from a model-driven engineering perspective. It aims at providing a well-structured definition language to specify departure, en route, re-route, and landing scenarios. This paper uses statecharts and a model checker for the verification of each scenario generated and uses examples to demonstrate conformance to the rules established in the statecharts to verify the logic of all future scenarios.

Item URL in elib:https://elib.dlr.de/118677/
Document Type:Article
Title:Formal Verification of Simulation Scenarios in Aviation Scenario Definition Language (ASDL)
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Chhaya, BharviERAUUNSPECIFIED
Jafer, ShafaghERAUUNSPECIFIED
Durak, UmutUmut.Durak (at) dlr.dehttps://orcid.org/0000-0002-2928-1710
Date:January 2018
Journal or Publication Title:Aerospace
Refereed publication:Yes
Open Access:Yes
Gold Open Access:Yes
In SCOPUS:Yes
In ISI Web of Science:No
DOI :10.3390/aerospace5010010
Publisher:Multidisciplinary Digital Publishing Institute (MDPI)
ISSN:2226-4310
Status:Published
Keywords:DSL; ASDL; formal methods; verification; statecharts
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:06 Feb 2018 10:40
Last Modified:13 Jun 2018 14:19

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.