Call for paper 〔OPEN〕

My submissions

Registration 〔OPEN〕

My tickets

〔CLOSED〕
Introduction

During 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 usefulness. Moreover, integration of and comparison with related approaches and languages, such as actor-oriented, synchronous, and domain specific languages, are of particular interest.

Call for paper

Important date

2014-07-06
Abstract submission deadline

Submission Topics

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 model-ing. Integrated hardware-software modeling of cyber-physical systems. Requirements for modeling traceability, translation, and integration. Formal semantics of EOO related languages. Multi-resolution / multi-scale modeling using EOO lan-guages. Model-driven development related to EOO languages. Numerical coupling of EOO simulators and other simula-tion 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. Functional Mock-up Interface (FMI)

Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Oct 10

    2014

    Conference Date

  • Jul 06 2014

    Abstract Submission Deadline

  • Oct 10 2014

    Registration deadline

Sponsored By
Technische Universty