Making Modelica Applicable for Formal Methods
Matthew E. Klenk, Daniel G. Bobrow, Johan de Kleer, Bill Janssen · Linköping electronic conference proceedings · 2014
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 operating on Modelica models.In this paper, we highlight five Modelica modeling practices that impede the application of formal methods.