Zsolt Lattmann
Vanderbilt University, Nashville, TN, USA
Adrian Pop
Department of Computer and Information Science, Linköping University, Linköping, Sweden
Johan de Kleer
Palo Alto Research Center, Palo Alto, CA 94304 USA
Peter Fritzson
Department of Computer and Information Science, Linköping University, Linköping, Sweden
Bill Janssen
Palo Alto Research Center, Palo Alto, CA 94304 USA
Sandeep Neema
Vanderbilt University, Nashville, TN, USA
Ted Bapty
Vanderbilt University, Nashville, TN, USA
Xenofon Koutsoukos
Vanderbilt University, Nashville, TN, USA
Matthew Klenk
Palo Alto Research Center, Palo Alto, CA 94304 USA
Daniel Bobrow
Palo Alto Research Center, Palo Alto, CA 94304 USA
Bhaskar Saha
Palo Alto Research Center, Palo Alto, CA 94304 USA
Tolga Kurtoglu
Palo Alto Research Center, Palo Alto, CA 94304 USA
Ladda ner artikel
http://dx.doi.org/10.3384/ecp14096353Ingår i: Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden
Linköping Electronic Conference Proceedings 96:37, s. 353-362
Publicerad: 2014-03-10
ISBN: 978-91-7519-380-9
ISSN: 1650-3686 (tryckt), 1650-3740 (online)
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 auto-mated 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.
This paper gives an overview of the META tools and their integration with OpenModelica. The integrated environment currently has four main uses of OpenModelica: importing Modelica models into the META tool model structure; performing simulations within test benches; analyzing Modelica models and automatically adding fault modes; and extracting equations (DAEs) for formal
verification tools; e.g. the QRM using qualitative reasonin./p>
A prototype of the integrated tool framework is in operation;
being able to generate and simulate thou-sands of designs in
an automated mann/p>
Inga referenser tillgängliga
