LiU Electronic Press

The interest in EOO languages and tools is rapidly growing in the industry because of their increasing importance in modeling, simulation, and specification of complex systems. There exist several different EOO language communities today that grew out of different application domains (multi-body system dynamics, electronic circuit simulation, chemical process engineering). The members of these disparate communities rarely talk to each other in spite of the similarities of their modeling and simulation needs.

The EOOLT workshop series aims at bringing these different communities together to discuss their common needs and goals as well as the algorithms and tools that best support them.

There was a good response to the Call for Papers. Ten papers were in the end accepted for full presentations whereas two work-in-progress papers were accepted for shorter presentations. One additional presentation was invited by the workshop organizers. All papers were subject to rather detailed reviewing by the program committee; on the average, four reviews were received per manuscript submitted.

On behalf of the program committee, the Program Chairs would like to thank all those who submitted papers to EOOLT’2011. Special thanks go to the program committee members for reviewing the papers on a strict time schedule.

Zurich, August 2011

François E. Cellier
David Broman
Peter Fritzson
Edward A. Lee

Contents

Langueages and Tools for Model-Based Design

056:001
Pieter J. Mosterman, Justyna Zander
AdvancingModel-Based Design by Modeling Approximations of Computational Semantics
[Abstract and Fulltext]

056:002
Hongchao Ji, Oliver Lenord, Dieter Schramm
A Model Driven Approach for Requirements Engineering of Industrial Automation Systems
[Abstract and Fulltext]

056:003
Wuzhu Chen, Michaela Huhn, Peter Fritzson
A Generic FMU Interface for Modelica
[Abstract and Fulltext]

Modeling Language Design

056:004
Hisahiro Ito, Akira Ohata, Ken Butts, Jürgen Gerhard, Masoud Abbaszadeh, David Linder, Erik Postma, Elena Shmoylova
Equation-Based Model Data Structure for High Level Physical Modelling, Model Simplification and Modelica-Export
[Abstract and Fulltext]

056:005
Nate Soule, Azer Bestavros, Assaf Kfoury, Andrei Lapets
Safe Compositional Equation-based Modeling of Constrained Flow Networks
[Abstract and Fulltext]

056:006
P. Pepper, A. Mehlhase, Ch. Höger, L. Scholz
A Compositional Semantics for Modelica-style Variable-structureModeling
[Abstract and Fulltext]

Simulation and Model Caompilation

056:007
Klaus Röbenack, Jan Winkler, Siqian Wang
LIEDRIVERS— A Toolbox for the Efficient Computation of Lie Derivatives Based on the Object-Oriented Algorithmic Differentiation Package ADOL-C
[Abstract and Fulltext]

056:008
Martin Sjölund, Peter Fritzson
Debugging Symbolic Transformations in Equation Systems
[Abstract and Fulltext]

056:009
Uwe Pohlmann, Matthias Tichy
Modelica code generation from ModelicaML state machines extended by asynchronous communication
[Abstract and Fulltext]

Real-Time Oriented Modeling Languages and Tools

056:010
Gregory Provan
Using Equation-Based Languages for Generating Embedded Code for Smart Building Applications
[Abstract and Fulltext]

056:011
Toby Myers, Wladimir Schamai, Peter Fritzon
Comodeling Revisited: Execution of Behavior Trees in Modelica
[Abstract and Fulltext]

056:012
Javier Bonilla, Luis J. Yebra, Sebastián Dormido
Exploiting OpenMP in the Initial Section of Modelica Models (Work in Progress)
[Abstract and Fulltext]

056:013
Cristoph Höger
Separate Compilation of Causalized Equations -Work in Progress
[Abstract and Fulltext]