Abstract Model-Driven Engineering is a development paradigm that uses models instead of
code as primary development artifacts. In this paper, we focus on executable models, which …

TimeSquare is an Eclipse and model-based environment for the specification, analysis and
verification of causal and temporal constraints. It implements the MARTE Time Model and its …

Abstract Executable Domain-Specific Modeling Languages (xDSMLs) enable the
application of early dynamic verification and validation (V&V) techniques for behavioral …

In the automotive industry, the Automotive Open System Architecture AUTOSAR is
established as a de-facto standard and is applied in a steadily increasing number of …

The growing use of models for separating concerns in complex systems has lead to a
proliferation of model composition operators. These composition operators have traditionally …

Despite the amount of proposed works for the verification of embedded systems,
understanding the root cause of violations of requirements in simulation or execution traces …

The Clock Constraint Specification Language (\ccsl) has been informally introduced in the
specifications of the\uml Profile for Modeling and Analysis of Real-Time and Embedded …

Embedded systems are very difficult to design and debug because of the limited access to
the device itself. Therefore, debugging usually requires to instrument the code so as to …

Operating CMOS circuits with power supplies below the threshold voltage has been
suggested for ultra-low power systems. High fan-in or fan-out circuits, such as those in …

A plethora of theoretical results are available which make possible the use of dynamic
analysis and model-checking for software and system models expressed in high-level …