-
CLASSY: a clock analysis system for rapid prototyping of embedded application...
International audience -
CLASSY: a Clock Analysis System for Rapid Prototyping of Embedded Application...
This paper presents an abstract clock-based reasoning for the rapid prototyping of embedded applications executed on multiprocessor systems-on-chip (MPSoCs). In this... -
Introducing Control in the Gaspard2 Data-Parallel Metamodel: Synchronous Appr...
In this document, we study the introduction of control in the Gaspard2 application UML metamodel by using the synchronous reactive system principles. This allows to... -
Polychronous Design of Embedded Real-Time Systems
This report proposes a design methodology for embedded real-time systems using a synchronous multi-clocked framework, which provides a well-defined mathematical model... -
High Level Design and Control of Adaptive Multiprocessor Systems-on-Chip
The design of modern embedded systems is getting more and more complex, as more functionality is integrated into these systems. At the same time, in order to meet the... -
Synchronous composition of discretized control actions: design, verification ...
International audience
