Call for Papers

Important Dates

Submission deadline: June 17 (extended)
Author notification: July 1
Camera-ready: September 10
Workshop: October 3

Scope

During the last 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 event-based 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. The EOOLT workshop addresses the current state of the art of such equation-based object-oriented (EOO) modeling languages, as well as open issues that currently still limit their expressiveness, correctness, and usefulness. Moreover, integration of and comparison with related approaches and languages, such as actor oriented, synchronous, and domain specific languages, are of particular interest. The workshop is concerned with, but not limited to, the following EOO related themes:

Acausality and its role in model reusability.
Component systems for EOO languages.
Discrete-event and hybrid modeling.
Embedded systems and efficient code generation.
Modeling language constructs in support of simulation, optimization, diagnostics, and system identification.
EOO mathematical modeling vs. UML software modeling.
Integrated hardware-software modeling of cyberphysical systems.
Requirement to model traceability, translation, and integration.
Formal semantics of EOO related languages.
Multi-resolution / multi-scale modeling using EOO languages.
Model-driven development related to EOO languages.
Numerical coupling of EOO simulators and other simulation tools.
Parallel execution of EOO models.
Programming / modeling environments.
Real-time simulation using EOO languages.
Reflection and meta-programming.
Verification, type systems, and early static checking.
Relation to functional reactive programming (FRP) and synchronous languages.
Comparison with related causal or hybrid formalisms.

Submission

Researchers and practitioners are invited to submit full-length papers (up to 10 pages) for consideration by the program committee. Papers are welcome that offer presentations and discussions of existing languages and tools, their capabilities and limitations; reports on practical experience; demonstrations of languages, tools, ideas, and concepts; positions related to relevant questions; and discussion topics.

Templates and author guidelines are available both for the LaTeX and the Microsoft Word environment. Papers should be submitted as PDF-files in A4 format, using the online submission system.

Publication

If a paper has been accepted, the authors should present the paper at the workshop and also have the paper published in electronic proceedings (and a local conference paper version) at Linköping University Electronic Press.

Camera-Ready Version

Each author/coauthor needs to sign and fax an agreement to allow Linköping University Electronic Press to publish your paper. All authors retain copyright of their work.

Print, sign, and fax This pdf file to fax: +46 13 28 4424 attention: Peter Berkesand (his phone: +46 13 28 29 45) no later than September 10, 2009. Alternatively, scan the paper and email the pdf to peter.berkesand@liu.se

The full publication conditions are available here.