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.