SYLVA is a system level synthesis framework that transforms DSP sub-systems modeled as
synchronous data flow into hardware implementations in ASIC, FPGAs or CGRAs. SYLVA …

The ForSyDe methodology aims to push system design to a higher level of abstraction by
combining the functional programming paradigm with the theory of Models of Computation …

The increasing processing power of today's HW/SW platforms leads to the integration of
more and more functions in a single device. Additional design challenges arise when these …

BACKGROUND The present disclosure generally relates to systems man agement, and
more particularly relates to improving systems management based on semantic models and …

Embedded systems are commonly built upon heterogeneous digital and analog integrated
circuits, including sensors and actuators. Model-driven approaches for designing software …

New methodologies are needed for the development of avionics systems to meet today's
software explosion in complexity and related cost due to the increased functionality in the …

Abstract models are important tools to manage the increasing complexity of system design.
The choice of a modeling language for constructing models governs what types of systems …

The increasing processing power of today's HW/SW platforms leads to the integration of
more and more functions in a single device. Additional design challenges arise when these …

This paper introduces a new approach to tackle the virtual prototyping of analog and mixed-
signal embedded (AMS) systems. The application and hardware components are modeled …

Cyber physical systems are built upon digital and analog circuits, making it necessary to
handle different models of computation during their design and verification (eg, by …