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

Formal Requirements Modeling for Simulation-Based Verification

Otter, Martin und Thuy, Nguyen und Bouskela, Daniel und Buffoni, Lena und Elmqvist, Hilding und Fritzson, Peter und Garro, Alfredo und Jardin, Audrey und Olsson, Hans und Payelleville, Maxime und Schamai, Wladimir und Thomas, Eric und 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

Kurzfassung

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.

elib-URL des Eintrags:https://elib.dlr.de/99941/
Dokumentart:Konferenzbeitrag (Vortrag)
Titel:Formal Requirements Modeling for Simulation-Based Verification
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Otter, MartinMartin.Otter (at) DLR.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Thuy, NguyenEDFNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Bouskela, DanielEDFNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Buffoni, LenaPELABNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Elmqvist, HildingDassault Systèmes ABNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Fritzson, PeterPFLABNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Garro, AlfredoDIMESNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Jardin, AudreyEDFNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Olsson, HansDassault Systems ABNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Payelleville, MaximeDassault AviationNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Schamai, WladimirAirbus Group InnovationsNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Thomas, EricDassault AviationNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Tundis, AndreaDIMESNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:2015
Referierte Publikation:Ja
Open Access:Ja
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
DOI:10.3384/ecp15118625
Status:veröffentlicht
Stichwörter:requirements, verification, physical systems, 3-valued logic, temporal logic
Veranstaltungstitel:11th International Modelica Conference
Veranstaltungsort:Versailles, Frankreich
Veranstaltungsart:internationale Konferenz
Veranstaltungsdatum:21.-23. Sept. 2015
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Verkehr
HGF - Programmthema:Bodengebundener Verkehr (alt)
DLR - Schwerpunkt:Verkehr
DLR - Forschungsgebiet:V BF - Bodengebundene Fahrzeuge
DLR - Teilgebiet (Projekt, Vorhaben):V - Fahrzeugintelligenz (alt)
Standort: Oberpfaffenhofen
Institute & Einrichtungen:Institut für Systemdynamik und Regelungstechnik > Fahrzeug-Systemdynamik
Hinterlegt von: Klauer, Monika
Hinterlegt am:01 Dez 2015 16:27
Letzte Änderung:31 Jul 2019 19:56

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.