Abstract Model-based design methodologies are commonly used in industry for the
development of complex cyber-physical systems (CPSs). There are many different …

Cyber-physical systems have developed into a very active research field, with a broad range
of challenges and research directions going from requirements, to implementation and …

Hybrid system modelers have become a corner stone of complex embedded system
development. Embedded systems include not only control components and software, but …

Models that include a notion of time are ubiquitous in disciplines such as the natural
sciences, engineering, philosophy, and linguistics, but in computing the abstractions …

Ptolemy‡ is an open-source and extensible modelling and simulation framework. It offers
heterogeneous modeling capabilities by allowing different models of computation, both …

We add, to the common combination of a While-language and a Hoare-style program logic,
a constant dt that represents an infinitesimal (ie infinitely small) value. The outcome is a …

Modern modeling languages for general physical systems, such as Modelica, Amesim, or
Simscape, rely on Differential Algebraic Equations (DAEs), ie, constraints of the form f (x …

Model-based Systems Architecting is a key tool for designing complex industrial systems. It
is dedicated to the working systems architects, engineers and modelers, in order to help …

CESAM Community, which allowed the origin of the CESAM Method and its Pocket Guide, is
managed by CESAMES Association. CESAMES Association emerged in 2009 as a spin-off …

Hybrid modelers such as Simulink have become corner stones of embedded systems
development. They allow both discrete controllers and their continuous environments to be …