Verification and design exploration through Meta tool integration with OpenModelica


Event Modelica 2014


Bobrow, Daniel G.
Janssen Jr., William C.
Matthew Klenk
Tolga Kurtoglu
Bhaskar Saha
Technical Publications
March 14th 2014
Modelica models are typically used for simulation to investigate properties of a possible system designs. This is often done manually or combined with optimi- zation to select the best design parameters. It is desirable to have systematic and partly auto- mated support for exploration of the design space of possible designs and verifying their properties vs. re- quirements. The META design tool chain is being de- veloped to support this goal. It provides an integration framework for components, designs, design spaces, requirements, and test benches, as well as verification of requirements for the generated design models during design exploration This paper gives an overview of the META tools and their integration with OpenModelica. The integrat- ed environment currently has four main uses of OpenModelica: importing Modelica models into the META tool model structure, performing simulations within test benches, analyzing Modelica models and automatically adding fault modes, and extracting equa- tions (DAEs) for formal verification tools, e.g. the QRM using qualitative reasoning. A prototype of the integrated tool framework is in operation, being able to generate and simulate thou- sands of designs in an automated manner.


Lattmann, Z.; Pop, A.,deKleer, J.; Fritzon, P.; Janssen, B,; Neema, S.; Bapty, T; Koutsoukos, X.; Klenk, M.; Bobrow, D.; Saha, S.; Kurtoglu, T. Verification and design exploration through Meta tool integration with OpenModelica. Modelica 2014.; Tenth International Modelica Conference; 2014 March 10-12; Lund, Sweden

Additional information

Focus Areas

Our work is centered around a series of Focus Areas that we believe are the future of science and technology.

Licensing & Commercialization Opportunities

We’re continually developing new technologies, many of which are available for¬†Commercialization.


PARC scientists and staffers are active members and contributors to the science and technology communities.