Tell a friend
Print
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, 2015-09-21 - 2015-09-23, Versailles, Frankreich. doi: 10.3384/ecp15118625.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
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: |
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 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 Start Date: | 21 September 2015 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Event End Date: | 23 September 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: | 24 Apr 2024 20:05 |
Repository Staff Only: item control page
