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, 2015-09-21 - 2015-09-23, Versailles, Frankreich. doi: 10.3384/ecp15118625.

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:

Autoren	Institution oder E-Mail-Adresse	Autoren-ORCID-iD	ORCID Put Code
Otter, Martin	Martin.Otter (at) DLR.de	https://orcid.org/0000-0001-6348-9569	NICHT SPEZIFIZIERT
Thuy, Nguyen	EDF	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Bouskela, Daniel	EDF	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Buffoni, Lena	PELAB	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Elmqvist, Hilding	Dassault Systèmes AB	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Fritzson, Peter	PFLAB	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Garro, Alfredo	DIMES	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Jardin, Audrey	EDF	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Olsson, Hans	Dassault Systems AB	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Payelleville, Maxime	Dassault Aviation	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Schamai, Wladimir	Airbus Group Innovations	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Thomas, Eric	Dassault Aviation	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Tundis, Andrea	DIMES	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT

Datum:

2015

Referierte Publikation:

Open Access:

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

Veranstaltungsbeginn:

21 September 2015

Veranstaltungsende:

23 September 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:

24 Apr 2024 20:05

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags