Models composition in FORM-L: Study of complex socio-cyber-physical systems and large scale systems of systems

This paper presents a constraints modelling language named FORM-L (for FOrmal Requirements Modelling Language) and an associated modelling and analysis methodology that has been developed in the framework of the ITEA2 project MODRIO (MOdel DRIven system design and Operation). The objective is to support all the phases of the engineering lifecycle (prospective studies, development and operation) of complex socio-cyber-physical systems (SCPSs) such as a large power plant, and large scale systems of systems (SoSs) such as a national or continental power grid.