Files:DescriptionFile size Format
Fulltext6.76 MBPDF (requires Acrobat Reader)
  
Editors:François E. Cellier, David Broman, Peter Fritzson, Edward A. Lee
Conference:Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, Zurich, Switzerland, September 5, 2011
Publication type: Conference proceedings
Issue:056
Language:English
Introduction:During the past decade, integrated model-based design of complex cyber-physical systems (which mix physical dynamics with software and networks) has gained significant attention. Hybrid modeling languages based on equations, supporting both continuous-time and eventbased aspects (e.g. Modelica, SysML, VHDL-AMS, and Simulink/ Simscape) enable high-level reuse and integrated modeling capabilities of both the physically surrounding system and software for embedded systems. Using such equation-based object-oriented (EOO) modeling languages, it has become feasible to model complex systems covering multiple application domains at a high level of abstraction through reusable model components.

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
David Linder, Erik Postma, Elena Shmoylova, Hisahiro Ito, Akira Ohata, Ken Butts, Jürgen Gerhard, Masoud Abbaszadeh
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]

Year:2011
ISBN (print):978-91-7519-825-5
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
File:http://www.ep.liu.se/ecp/056/ecp11056.pdf
Available:2011-11-03
Publisher:Linköping University Electronic Press, Linköpings universitet

REFERENCE TO THIS PAGE
François E. Cellier, David Broman, Peter Fritzson, Edward A. Lee (2011). Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, Zurich, Switzerland, September 5, 2011 http://www.ep.liu.se/ecp_home/index.en.aspx?issue=056 (9/1/2014)