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.
 

upcoming events   view all 

The Future of the Internet: Meaning and Names or Numbers?
Glenn Edens
13 February 2015 | San Jose, CA
Conferences & Talks  

CTO Forum
Jatinder Singh
13 February 2015 | East Palo Alto, CA
Conferences & Talks  

Privacy in an Era of Big Data: Directions, Advances, and Reflections
Ersin Uzun
15 February 2015 | San Jose, CA
Conferences & Talks