Matthew Klenk
Palo Alto Research Center, Palo Alto, CA, USA
Daniel G. Bobrow
Palo Alto Research Center, Palo Alto, CA, USA
Johan de Kleer
Palo Alto Research Center, Palo Alto, CA, USA
Bill Janssen
Palo Alto Research Center, Palo Alto, CA, USA
Download article
http://dx.doi.org/10.3384/ecp14096205Published in: Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden
Linköping Electronic Conference Proceedings 96:21, p. 205-211
Published: 2014-03-10
ISBN: 978-91-7519-380-9
ISSN: 1650-3686 (print), 1650-3740 (online)
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.
