Making Modelica Applicable for Formal Methods

Matthew Klenk, Daniel Bobrow, Johan De Kleer, Bill Janssen
2014 Proceedings of the 10th International Modelica Conference, March 10-12, 2014, Lund, Sweden   unpublished
Engineers need to perform many different types of analyses as they design systems. Modelica has become a leading language to support numerical simulation. As a consequence there is widespread understanding of Modelica and a large number of Modelica model libraries available. This paper addresses the task of using formal methods to derive system properties such as whether a design meets its requirements for all possible inputs. We report on our experience building a qualitative reasoner
more » ... e reasoner operating on Modelica models. In this paper, we highlight five Modelica modeling practices that impede the application of formal methods.
doi:10.3384/ecp14096205 fatcat:xnwyvbvfuzbvhiugs6xsom7gsq