This paper describes a proposal on how to modelformal requirements in Modelica for simulation-basedverification. The approach is implemented in the opensource Modelica_Requirements library. It requiresextensions to the Modelica language, that have beenprototypically implemented in the Dymola and Open-Modelica software. The design of the library is basedon the FOrmal Requirement Modeling Language(FORM-L) defined by EDF, and on industrial use casesfrom EDF and Dassault Aviation. It uses 2- and 3-valued temporal logic to describe requirements.
Formal Requirements Modeling for Simulation-Based Verification
GARRO, Alfredo;Tundis A.
2015-01-01
Abstract
This paper describes a proposal on how to modelformal requirements in Modelica for simulation-basedverification. The approach is implemented in the opensource Modelica_Requirements library. It requiresextensions to the Modelica language, that have beenprototypically implemented in the Dymola and Open-Modelica software. The design of the library is basedon the FOrmal Requirement Modeling Language(FORM-L) defined by EDF, and on industrial use casesfrom EDF and Dassault Aviation. It uses 2- and 3-valued temporal logic to describe requirements.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
