Thuy Nguyen
EDF R&D, Chatou Cedex, France
Download article
http://dx.doi.org/10.3384/ecp140961227Published in: Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden
Linköping Electronic Conference Proceedings 96:130, p. 1227-1236
Published: 2014-03-10
ISBN: 978-91-7519-380-9
ISSN: 1650-3686 (print), 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.
[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.