FORM-L: A MODELICA Extension for Properties Modelling Illustrated on a Practical Example

Thuy Nguyen
EDF R&D, Chatou Cedex, France

Ladda ner artikelhttp://dx.doi.org/10.3384/ecp140961227

Ingår i: Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden

Linköping Electronic Conference Proceedings 96:130, s. 1227-1236

Visa mer +

Publicerad: 2014-03-10

ISBN: 978-91-7519-380-9

ISSN: 1650-3686 (tryckt), 1650-3740 (online)


As systems engineering methodologies for complex systems make increasing use of modelling and simulation techniques; it has become important to extend the MODELICA language to also cover requirements; and more generally; properties modelling. The ITEA2 MODRIO project is currently developing an extension for that very purpose: the FORM-L lan-guage (FOrmal Requirements Modelling Language). This paper presents an overview of the FORM-L concepts; and illustrates them with examples based on a practical case study; the Backup Power Supply (BPS) system.


Physical modelling; requirement modelling; systems engineering; methodology


[1] Schamai W., Buffoni L., Bouskela D., Fritzson P., ‘Automatic Model Composition using Bindings in Modelica’, Modelica 2014 conference proceedings, Lund, 2014.

[2] Bouskela D., El Hefni B., ‘A physical solution for solving the zero-flow singularity in static thermalhydraulics mixing models’, Modelica 2014 conference proceedings, Lund, 2014.

[3] Bouskela D., Jardin A., Nguyen T. ’Innovative Modelling Architecture for Design Verification against System requirements’, , Modelica 2014 conference proceedings, Lund, 2014.

Citeringar i Crossref