Thuy Nguyen
EDF R&D, Chatou Cedex, France
Ladda ner artikel
http://dx.doi.org/10.3384/ecp140961227Ingå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
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.
[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.
