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

Formal Requirements Modeling for Simulation-Based Verification

Otter, Martin and Thuy, Nguyen and Bouskela, Daniel and Buffoni, Lena and Elmqvist, Hilding and Fritzson, Peter and Garro, Alfredo and Jardin, Audrey and Olsson, Hans and Payelleville, Maxime and Schamai, Wladimir and Thomas, Eric and Tundis, Andrea (2015) Formal Requirements Modeling for Simulation-Based Verification. 11th International Modelica Conference, 21.-23. Sept. 2015, Versailles, Frankreich. DOI: 10.3384/ecp15118625

[img] PDF
1MB

Abstract

This paper describes a proposal on how to model formal requirements in Modelica for simulation-based verification. The approach is implemented in the open source Modelica_Requirements library. It requires extensions to the Modelica language, that have been prototypically implemented in the Dymola and Open-Modelica software. The design of the library is based on the FOrmal Requirement Modeling Language (FORM-L) defined by EDF, and on industrial use cases from EDF and Dassault Aviation. It uses 2- and 3-valued temporal logic to describe requirements.

Item URL in elib:https://elib.dlr.de/99941/
Document Type:Conference or Workshop Item (Speech)
Title:Formal Requirements Modeling for Simulation-Based Verification
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Otter, MartinMartin.Otter (at) DLR.deUNSPECIFIED
Thuy, NguyenEDFUNSPECIFIED
Bouskela, DanielEDFUNSPECIFIED
Buffoni, LenaPELABUNSPECIFIED
Elmqvist, HildingDassault Systèmes ABUNSPECIFIED
Fritzson, PeterPFLABUNSPECIFIED
Garro, AlfredoDIMESUNSPECIFIED
Jardin, AudreyEDFUNSPECIFIED
Olsson, HansDassault Systems ABUNSPECIFIED
Payelleville, MaximeDassault AviationUNSPECIFIED
Schamai, WladimirAirbus Group InnovationsUNSPECIFIED
Thomas, EricDassault AviationUNSPECIFIED
Tundis, AndreaDIMESUNSPECIFIED
Date:2015
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
DOI :10.3384/ecp15118625
Status:Published
Keywords:requirements, verification, physical systems, 3-valued logic, temporal logic
Event Title:11th International Modelica Conference
Event Location:Versailles, Frankreich
Event Type:international Conference
Event Dates:21.-23. Sept. 2015
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Transport
HGF - Program Themes:Terrestrial Vehicles (old)
DLR - Research area:Transport
DLR - Program:V BF - Bodengebundene Fahrzeuge
DLR - Research theme (Project):V - Fahrzeugintelligenz (old)
Location: Oberpfaffenhofen
Institutes and Institutions:Institute of System Dynamics and Control > Vehicle System Dynamics
Deposited By: Klauer, Monika
Deposited On:01 Dec 2015 16:27
Last Modified:31 Jul 2019 19:56

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.