home › event - verification and design exploration through meta tool integration with openmodelica
Verification and design exploration through Meta tool integration with OpenModelica
Conferences & Talks
14 March 2014
descriptionModelica 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.
upcoming events view all