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 

Disruptive Technologies in Manufacturing (Opening Keynote)
Stephen Hoover
28 April 2015 | Seattle, WA
Conferences & Talks  

The First Five Kilobytes are the Hardest
George Dyson
29 April 2015 | George E. Pake Auditorium, PARC
PARC Forum  

Printed Hybrid Logic Circuits
Janos Veres
29 April 2015 | Berlin, Germany
Conferences & Talks  

IoT User Experience Design
Mike Kuniavsky
12 May 2015 | San Francisco, CA
Conferences & Talks  

CCNxCon 2015
Glenn Edens, Bill Janssen, Marc Mosko, Glenn Scott, Dick Sillman, Nacho Solis, Chris Wood, Yali Wang
18 May 2015 - 21 May 2015 | Palo Alto, CA
Conferences & Talks