-
Latency-Insensitive Design and Central Repetitive Scheduling
The theory of latency-insensitive design (LID) was recently invented to cope with the time closure problem in otherwise synchronous circuits and programs. The idea is... -
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design... -
Refining cellular automata with routing constraints
A cellular automaton (CA) is an infinite array of cells, each containing the same automaton. The dynamics of a CA is distributed over the cells where each computes its... -
A Real-Time Architecture Design Language for Multi-Rate Embedded Control Systems
International audience -
Another glance at Relay Stations in Latency-Insensitive Designs
We revisit the formal modeling of relay stations, which are specific connection elements used in the theory of Latency-Insensitive Design of... -
Certified compilation of SCADE/LUSTRE
Synchronous languages first appeared during the 80’s, in order to provide a mathematical model for safety-critical systems. In this model, time is discrete. At each... -
Towards a safe and secure synchronous language
This thesis proposes a new approach to parallelism and concurrency, laying the basis for the design of a programming language with a clear and simple formal semantics,... -
Product model and whiteboard connection to support integration between synchr...
International audience
