-
Toward Polychronous Analysis and Validation for Timed Software Architectures ...
International audience -
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... -
Design and Analysis for Multi-Clock and Data-Intensive Applications on Multip...
With the increase in the integration of functions, modern embedded systems have become very smart and sophisticated. The typical examples of this tendency are last... -
Polychronous modeling, analysis, verification and simulation for timed softwa...
International audience -
Exploring system architectures in AADL via Polychrony and SynDEx
International audience
