Call for Papers

[CFP Flyer]

Important Dates

• Submission deadline: June 5 (extended)
• Author notification: June 20
• Camera-ready: August 15
• Workshop: September 5

Scope

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 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 use-fulness. 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 cyber-physical 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.

The camera-ready version should be uploaded using the online submission system.

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.