Towards a Formalized Modelica Subset
Lucas Satabin, Jean-Louis Colaço, Olivier Andrieu, Bruno Pagano · Linköping electronic conference proceedings · 2015
In this paper we address the problem of defining a practical Modelica subset that can be entirely formalized and we sketch the formalization of this subset with a concrete example. This work should serve as a basis to define a suitable language that can be used to both simulate systems and generate embedded critical code.