Many engineers rely heavily on model-based design and control of complex cyber-physical systems. Of paramount importance is the ability to capture all central aspects of such systems in the models, including the physical behavior of the system components and the architecture description of its software and hardware. This calls for a special class of modelling languages: hybrid modeling languages based on equations that support both continuous-time and event-based aspects. Modelica, SysML, VHDL-AMS and Simulink/Simscape are prominent examples. Using such a language offers a number of advantages: models can be reused, integration can be tested in an early design phase, and simulation code can be generated for a number of different platforms.
The EOOLT workshop addresses the current state of the art of equation-based object-oriented (EOO) modeling languages and explores topics that aim to overcome limits of their expressiveness, correctness, and usefulness. Moreover, integration of and comparison with related approaches and languages, such as actor-oriented, synchronous, and domain specific languages, are of particular interest.
Contributions to this workshop focus on methodological aspects and describe new solutions for the design and use of equation-based languages. In addition to full contributions, shorter work-in-progress paper are welcome, offering an opportunity to discuss current approaches within the community.
The registration is unfortunately no longer possible