Formal Requirements Modeling for Simulation-Based Verification

201530 citationsJournal Articlehybrid Open Access

Authors

Martin Otter

Nguyen Ba Thuy · Électricité de France (France)

Daniel Bouskela · Électricité de France (France)

Lena Buffoni · Linköping University

Hilding Elmqvist · Dassault Systèmes (France)

Peter Fritzson · Linköping University

Alfredo Garro · University of Calabria

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 3valued temporal logic to describe requirements.

Topics & Keywords

Simulation Techniques and Applications Model-Driven Software Engineering Techniques Modeling and Simulation Systems

Publication Details

Published in: Linköping electronic conference proceedings

Volume 118, pp. 625-635

DOI: 10.3384/ecp15118625

Field-Weighted Citation Impact: 5.62

Command Palette

Formal Requirements Modeling for Simulation-Based Verification

Authors

Abstract

Topics & Keywords

Publication Details