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.