Formal Requirements Engineering for Smart Industries Toward a Model-Based Graphical Language

Requirements engineering is a most critical activity in the engineering process of complex cyber-physical systems. To avoid the ambiguity of natural or semi-formal languages and to provide tool support for engineering activities all along a system lifecycle (from scoping studies to system operation and maintenance), EDF has developed FORM-L, a formal constraints-based language for the modelling of assumptions, requirements and preliminary designs. This language can be interfaced with detailed design languages such as Modelica [7]. We present in this paper an ongoing work that aims at developing a graphical representation of FORM-L. The main objective is to facilitate the understanding of models, in particular by persons not familiar with FORM-L.