Article | Proceedings of the 10<sup>th</sup> International Modelica Conference; March 10-12; 2014; Lund; Sweden | Verification and Design Exploration through Meta Tool Integration with OpenModelica
Göm menyn

Title:
Verification and Design Exploration through Meta Tool Integration with OpenModelica
Author:
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
DOI:
10.3384/ecp14096353
Download:
Full text (pdf)
Year:
2014
Conference:
Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden
Issue:
096
Article no.:
037
Pages:
353-362
No. of pages:
10
Publication type:
Abstract and Fulltext
Published:
2014-03-10
ISBN:
978-91-7519-380-9
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


Export in BibTex, RIS or text

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>

Keywords: Modelica; simulation; design exploration; verification

Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden

Author:
Zsolt Lattmann, Adrian Pop, Johan de Kleer, Peter Fritzson, Bill Janssen, Sandeep Neema, Ted Bapty, Xenofon Koutsoukos, Matthew Klenk, Daniel Bobrow, Bhaskar Saha, Tolga Kurtoglu
Title:
Verification and Design Exploration through Meta Tool Integration with OpenModelica
DOI:
http://dx.doi.org/10.3384/ecp14096353
References:

[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.

Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden

Author:
Zsolt Lattmann, Adrian Pop, Johan de Kleer, Peter Fritzson, Bill Janssen, Sandeep Neema, Ted Bapty, Xenofon Koutsoukos, Matthew Klenk, Daniel Bobrow, Bhaskar Saha, Tolga Kurtoglu
Title:
Verification and Design Exploration through Meta Tool Integration with OpenModelica
DOI:
http://dx.doi.org/10.3384/ecp14096353
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment


Responsible for this page: Peter Berkesand
Last updated: 2017-02-21