Call for Papers[CFP Flyer]
- Submission deadline: June 5 (extended)
- Author notification: June 20
- Camera-ready: August 15
- Workshop: September 5
ScopeDuring 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.
SubmissionResearchers 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.
PublicationIf 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 VersionEach 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 firstname.lastname@example.org
The full publication conditions are available here.