posted by user: mpstew || 5874 views || tracked by 12 users: [display]

EOOLT 2010 : Workshop on Equation-Based Object-Oriented Languages and Tools

FacebookTwitterLinkedInGoogle


Conference Series : Equation-Based Object-Oriented Modeling Languages and Tools
 
Link: http://www.eoolt.org/2010/
 
When Oct 3, 2010 - Oct 5, 2010
Where Oslo, Norway
Submission Deadline Jun 3, 2010
Notification Due Jul 1, 2010
Final Version Due Sep 10, 2010
Categories    cyber-physical systems   embedded systems   modeling   software
 

Call For Papers

Note that this workshop occurs during one of the three days of October 3-5. (See also
http://models2010.ifi.uio.no/)

SCOPE

During the last 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.

Note that this workshop occurs during one of the three days of October 3-5, concurrent with 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 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 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.


Related Resources

IJPLA 2022   International Journal of Programming Languages and Applications
SLATe 2022   SLATe 2022- 11th Symposium on Languages, Applications and Technologies
ECOOP 2022   European Conference on Object-Oriented Programming
VLSIE 2022   3rd International Conference on VLSI Embedded Systems
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
MULTI 2022   Call For Papers 9th International Workshop on Multi-Level Modelling at MODELS 2022
EEIJ 2022   Electrical Engineering: An International Journal
LOPSTR 2022   32nd International Symposium on Logic-Based Program Synthesis and Transformation
NLDM 2022   2nd International Conference on NLP & Data Mining
VOLI 2022   Visual Object-oriented Learning meets Interaction: Discovery, Representations, and Applications (ECCV22 VOLI Workshop)