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 Work
Stephen Hoover
12 December 2016 | Stanford, CA
Conferences & Talks  

Connecting through Play: Tech to Augment In-Person Interaction
Katherine Isbister
15 December 2016 | George E. Pake Auditorium, PARC
PARC Forum  

National Security and Diplomacy: What’s Entrepreneurship Have To Do With It?
Colonel (ret.) Peter Newell, Colonel (ret.) Joe Felter, Tom Byers
12 January 2017 | George E. Pake Auditorium, PARC
PARC Forum  

Dawn of the Labs: The Next Gen of Tech Innovation
Marzieh Nabi, Panelist
10 March 2017 - 19 March 2017 | Austin, TX
Conferences & Talks