Complex systems demand diversity in the modeling mechanisms. One way to deal with a
diversity of requirements is to create flexible modeling frameworks that can be adapted to …

Modern multiprocessor embedded systems execute a large number of tasks on shared
processors and handle their complex communications on shared communication networks …

This paper gives a semantics for discrete-event (DE) models that generalizes that of
synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that …

In this paper, we present an overview of the Artemis workbench, which provides modelling
and simulation methods and tools for efficient performance evaluation and exploration of …

This paper presents the methodological background and implementation of a structured
modeling environment developed to meet the requirements of modeling activities …

The Sesame environment provides modeling and simulation methods and tools for the
efficient design space exploration of heterogeneous embedded multimedia systems. In this …

Increasing complexity and massive use of current web services raise multiple issues for
achieving adequate service validation while sticking to time-to-market imperatives. For …

Reflection and automated introspection of a design in system level design frameworks are
seen as necessities for the CAD tools to manipulate the designs within the tools. These …

Scientific workflows have become an important tool used by scientists to conduct large-scale
analysis in distributed environments. Today thereare a variety of workflow systems that …

Actor-oriented languages provide a component composition methodology that emphasizes
concurrency. The interfaces to actors are parameters and ports (vs. members and methods …