home › event - verification and design exploration through meta tool integration with openmodelica

EVENT:

Verification and design exploration through Meta tool integration with OpenModelica
Conferences & Talks

Modelica 2014

14 March 2014

 

description

Modelica models are typically used for simulation to investigate properties of a possible system designs. This is often done manually or combined with optimization to select the best design parameters. It is desirable to have systematic and partly automated support for exploration of the design space of possible designs and verifying their properties vs. requirements. The META design tool chain is being developed 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.