Verification and design exploration through Meta tool integration with OpenModelica

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.

Citation

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