[ecoop-info] CFP: Workshop EOOLT-2010- Equation-based, Object-Oriented Cyberphysical

[Peter Fritzson]

Dear All,

Please consider submitting a draft paper to the
EOOLT'2010 Workshop

Submission deadline: June 10 

Camera-ready paper: Sept 10


Best regards,

Peter Fritzson


CFP: Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT)

                       Call for Papers EOOLT'2010
  3rd International Workshop on Equation-Based Object-Oriented Languages and
Tools


                 Oslo, Norway, One of the days October 3-5, 2010

                      http://www.eoolt.org/2010/



SCOPE

During the last decade, integrated model-based design of complex
cyber-physical 
systems (which mix physical dynamics with soft-ware and networks) has gained

significant attention. Hybrid mod-eling 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 inte-grated modeling
capabilities of 
both the physically surrounding system and software for embedded systems.
The EOOLT 
work-shop 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 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 commit-tee. 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. 


IMPORTANT DATES

* Submission deadline: June 10 
* Author notification: July 1
* Camera-ready: September 10 
* Workshop: October 3, 4, or 5 (one day)


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. 


ORGANIZING COMMITTEE

* Peter Fritzson (Chair), Linköping University 
* Edward A. Lee (Co-Chair), U.C. Berkeley
* François E. Cellier (Co-Chair), ETH Zurich
* David Broman (Co-Chair), Linköping University 


PROGRAM COMMITTEE (Preliminary)

* Bernhard Bachmann - University of Applied Sciences, Bielefeld, Germany 
* Bert van Beek - Eindhoven University of Technology, Netherlands 
* Jan Broenink - University of Twente, Netherlands 
* David Broman - Linköping University, Sweden 
* Peter Bunus - Linköping University, Sweden 
* Francesco Casella - Politecnico di Milano, Italy 
* François Cellier - ETH Zurich, Switzerland 
* Olaf Enge-Rosenblatt - Fraunhofer, Dresden, Germany 
* Hilding Elmqvist - Dynasim AB, Lund, Sweden
* Peter Fritzson - Linköping University, Sweden 
* Petter Krus - Linköping University, Sweden 
* Edward A. Lee - U.C. Berkeley, California, USA
* Jakob Mauss - QTronic GmbH, Berlin, Germany 
* Sven-Erik Mattsson - Dynasim AB, Lund, Sweden
* Pieter Mosterman - MathWorks, Inc., Natick, MA, USA 
* Toby Myers - Griffith University, Brisbane, Australia
* Henrik Nilsson - University of Nottingham, United Kingdom 
* Dionisio de Niz Villasenor - Carnegie Mellon University, USA
* Martin Otter - DLR Oberpfaffenhofen, Germany 
* Chris Paredis - Georgia Institute of Technology, Atlanta, USA 
* Peter Pepper - TU Berlin, Germany
* Adrian Pop - Linköping University, Linköping, Sweden
* Nicolas Rouquette - NASA Jet Propulsion Laboratory, USA
* Peter Schwarz - Fraunhofer, Dresden, Germany 
* Christian Sonntag - TU Dortmund, Dortmund, Germany
* Martin Törngren - KTH, Stockholm, Sweden
* Alfonso Urquía - UNED, Madrid, Spain
* Hans Vangheluwe - McGill University, Canada
* Johan Åkesson - Lund University, Sweden