Conference article

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

Download articlehttp://dx.doi.org/10.3384/ecp14096353

Published in: Proceedings of the 10^th International Modelica Conference; March 10-12; 2014; Lund; Sweden

Linköping Electronic Conference Proceedings 96:37, p. 353-362

Published: 2014-03-10

ISBN: 978-91-7519-380-9

ISSN: 1650-3686 (print), 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>

[1] Modelica Association. Modelica?A Unified Object-Oriented Language for Physical Systems Modeling: Language Specification Version 3.2 rev 2. Available at http://www.modelica.org, August, 2013.

[2] Modelica Association. Modelica Standard Library 3.2 rev 1. http://www.modelica.org. Aug. 2013.

[3] Peter Fritzson. Principles of Object Oriented Modeling and Simulation with Modelica 2.1, ISBN 0-471-471631, Wiley-IEEE Press. 2004.

[4] Peter Fritzson. Principles of Object Oriented Modeling and Simulation with Modelica 3.3, Accepted for Publication, Wiley-IEEE Press. 2004.

[5] Adaptive Vehicle Make. http://www.darpa.mil/Our_Work/TTO/Programs/Adaptive_Vehicle_Make__(AVM).aspx

[6] A. Ledeczi, M. Maroti, A. Bakay, G. Karsai, J. Garrett, C. Thomasson, G. Nordstrom, J. Sprinkle, and P. Volgyesi, "The Generic Modeling Environment", Workshop on Intelligent Signal Processing, Budapest, Hungary, May, 2001.

[7] Sandeep Neema, J. Sztipanovits, G Karsai, and K. Butts. Constraint-based design-space exploration and model synthesis". In Embedded Software, R. Alur and I. Lee, eds., pp. 290–305, Vol. 2855 of Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 2003.

[8] Laszlo Juracz, Zsolt Lattmann, Tihamer Levendovszky, Graham Hemingway, Will Gaggioli, Tanner Netterville, Gabor Pap, Kevin Smyth, Larry Howard. VehicleFORGE: A Cloud- Based Infrastructure for Collaborative Model-Based Design., In Proc. of 2nd International Workshop on Model-Driven Engineering for High Performance and CLoud computing (MDHPCL), MODELS 2013, Miami, Fl., USA, 2013.

[9] Raj Minhas, Johan de Kleer, Ion Matei, Bhaskar Saha, Daniel G. Bobrow and Tolga Kurtoglu. Using Fault Augmented Modelica Models for Fault Diagnostics. Submitted to Modelica’2014. Dec 2013.

[10] Wladimir Schamai. Model-Based Verification of Dynamic System Behavior against Requirements - Method, Language, and Tool. Linköping Studies in Science and Technology, Dissertation No. 1547, www.ep.liu.se, Nov 12, 2013.

[11] Wladimir Schamai, Philipp Helle, Peter Fritzson, and Christiaan Paredis. Virtual Verification of System Designs against System Requirements. In Proc. of 3rd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES’2010). In conjunction with MODELS’2010. Oslo, Norway, Oct 4, 2010.

[12] Lena Rogovchenko-Buffoni, Andrea Tundis, Muhammed Zoheb Hossain, Mattias Nyberg, Peter Fritzson. An Integrated Tool chain For Model Based Functional Safety Analysis. Accepted to Journal of Computational Science, June, 2013.

[13] Johan de Kleer, Bill Janssen, Daniel G. Bobrow, Tolga Kurtoglu, Bhaskar Saha, Nicholas R. Moore and Saravan Sutharshana, Fault Augmented Modelica Models, 24th International Workshop on Principles of Diagnosis, Jerusalem, pp. 71-78, 2013.