VERIMAG/Synchrone is led by Pascal Raymond.
The Synchrone group works on languages and tools for the design, simulation and verification of embedded systems. The name of the group comes from one of the roots of the group: the synchronous language Lustre (the core of the SCADE industrial tool).
- Languages and Tools for Critical Real-Time Systems.
The group is working on languages and tools for the implementation of critical real-time reactive systems. Based on the Lustre language experience, we are working on extensions of the language to allow exploiting the parallelism of many-core architectures. We now also focus on estimation of Worst-Case Execution Time (WCET) and on mixed-criticality systems.
[More on this topic] - Virtual Prototyping and Simulation.
Virtual prototyping consists in writing an executable model of a system before the actual system is available. It allows validating some aspects of the system early in the design flow and developing embedded software. We focus on virtual prototyping of Systems-on-a-Chip (SoC) using SystemC.
[More on this topic] - Distributed Algorithms and Applications to Embedded Systems.
We work on two complementary axes. First, the design, validation, and complexity analysis of distributed fault-tolerant algorithms. Second, the modeling, simulation, and deployment of distributed applications dedicated to embedded systems.
[More on this topic] - Automatic Testing of Reactive Systems.
Reactive systems continously react to an environment they try to control. In order to provide realistic inputs to the System Under Test, we need to design environments that are also reactive. This motivated the design of the LUTIN language, which then led to the creation of the Argosim start-up company.
[More on this topic] - Past Research Topics.
Previous activities of the Synchrone team (transferred to another team or to a company).
- The Synchronous Language Lustre
- Energy aware programming and controller synthesis
- Virtual Prototyping
- Formal Verification, Theory, Techniques and Tools
- Embedded Software Implementation
[More on this topic]
