Article | Proceedings of the 10<sup>th</sup> International Modelica Conference; March 10-12; 2014; Lund; Sweden | FORM-L: A MODELICA Extension for Properties Modelling Illustrated on a Practical Example Linköping University Electronic Press Conference Proceedings
Göm menyn

Return to Index
Title:
FORM-L: A MODELICA Extension for Properties Modelling Illustrated on a Practical Example
Author:
Thuy Nguyen: EDF R&D, Chatou Cedex, France
DOI:
10.3384/ecp140961227
Download:
Full text (pdf)
Year:
2014
Conference:
Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden
Issue:
096
Article no.:
130
Pages:
1227-1236
No. of pages:
10
Publication type:
Abstract and Fulltext
Published:
2014-03-10
ISBN:
978-91-7519-380-9
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet

Export in BibTex, RIS or text

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.

Keywords: Physical modelling; requirement modelling; systems engineering; methodology

Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden

Author:
Thuy Nguyen
Title:
FORM-L: A MODELICA Extension for Properties Modelling Illustrated on a Practical Example
DOI:
http://dx.doi.org/10.3384/ecp140961227
References:

[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.

Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden

Author:
Thuy Nguyen
Title:
FORM-L: A MODELICA Extension for Properties Modelling Illustrated on a Practical Example
DOI:
https://doi.org10.3384/ecp140961227
Note: the following are taken directly from CrossRef
Citations:
  • Shaofan ZHU, Jian TANG, Jean-Marie GAUTHIE & Raphaël FAUDOU (2019). A formal approach using SysML for capturing functional requirements in avionics domain. Chinese Journal of Aeronautics, 32(12): 2717. DOI: 10.1016/j.cja.2019.03.037
    •


    Responsible for this page: Peter Berkesand
    Last updated: 2019-11-06