• home
  • main
  • call for papers
  • organization
  • PC
  • attending
  • final program

    • News

    January 22
    EOOLT 2017 Proceedings available

    November 27
    Final Program is available here.

    November 15
    Soical Program is announced. Find out more about     attending the workshop.

    October 30
    Registration is now online! Find out more about attending the workshop.

    October 30
    Preliminary program of the workshop can be found here.

    August 31
    Please note that the submission deadline has been extended by two weeks!
    The new deadline is September 15.

    Registration for the workshop will be open after author notification.

    August 01
    Posters and submission information is available.

    ACM SigConf Templates for submission using the EasyChair conference management system.

    June 09
    Poster for advertisement is available.

    May 17
    All accepted papers will be published in the Scopus-indexed ACM Digital Library.

    March 3
    The next EOOLT workshop will take place near Munich, Germany, on December 1, 2017.

    EOOLT 2017, December 1, Munich, Germany

    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.

    Nagy / Presseamt München

    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.

    Typical themes of the EOOLT workshop range from language design via modeling aspects to simulation code:

    • Design aspects of equation-based languages and their formal semantics
    • Relation to other languages such as functional reactive programming (FRP) or synchronous languages
    • Verification, type systems, and early static checking
    • Discrete-event and hybrid system modeling
    • Acausality/non-causality and its role in model reusability
    • Multi-resolution / multi-scale modeling using EOO languages
    • Model-driven development related to EOO languages
    • Equation-based modeling in the frame of system engineering
    • Reflection and meta-programming
    • Environments for modeling, simulation and debugging
    • Mathematical formalisms for simulation semantics
    • Code generation for real-time systems, embedded system, multi-core platforms, and distributed systems
    • Tools for analyzing or optimizing equation-based models