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

As systems engineering methodologies for complex systems make increasing use of modelling and simulation techniques, it has become important to exten d 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 language (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.