Formal Requirements Engineering for Smart Industries: Toward a Model-Based Graphical Language
Alexandre Le Borgne, Nicolas Belloir, Jean‐Michel Bruel, Thuy Thi-Dieu Nguyen · 2016
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, to provide tool support for engineering activities all along a system lifecycle (from scoping studies to system operation, maintenance), EDF has developed FORM-L, a formal constraints-based language for the modelling of assumptions, requirements, preliminary designs. This language can be interfaced with detailed design languages such as Modelica. 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.