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

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

Chhaya, Bharvi und Jafer, Shafagh und 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 - Nur DLR-intern zugänglich
3MB

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

Kurzfassung

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.

elib-URL des Eintrags:https://elib.dlr.de/118677/
Dokumentart:Zeitschriftenbeitrag
Titel:Formal Verification of Simulation Scenarios in Aviation Scenario Definition Language (ASDL)
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Chhaya, BharviERAUNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Jafer, ShafaghERAUNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Durak, UmutUmut.Durak (at) dlr.dehttps://orcid.org/0000-0002-2928-1710NICHT SPEZIFIZIERT
Datum:Januar 2018
Erschienen in:Aerospace
Referierte Publikation:Ja
Open Access:Ja
Gold Open Access:Ja
In SCOPUS:Ja
In ISI Web of Science:Ja
DOI:10.3390/aerospace5010010
Verlag:Multidisciplinary Digital Publishing Institute (MDPI)
ISSN:2226-4310
Status:veröffentlicht
Stichwörter:DSL; ASDL; formal methods; verification; statecharts
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:06 Feb 2018 10:40
Letzte Änderung:21 Nov 2023 09:15

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.