A Correct-by-construction methodology for supporting execution time
variability in real-time systems
- ANR PRCE project, AAP 2017
- Défi 7, Société de l'information et de la communication
- Coordinator: Giuseppe Lipari (University of Lille)
- Partners: CRIStAL, ONERA Toulouse, RTaW
- Starting date: 1 Jan 2018
In real-time safety critical systems, it is of paramount importance to
guarantee that computation is performed within certain time bounds,
otherwise a critical failure may happen.
Today, it is difficult to build efficient and predictable real-time
systems on modern processors, because the execution time of a piece of
code exhibits a large variability. The worst-case can be hundreds of
times larger than the best-case, due to dynamically varying parameters
such as the state of cache memories for instance.
The overall objective of this project is to contribute to the design
and development of the next generation of safety critical embedded
real-time systems. In particular, we aim at solving the problem of the
large variability of execution times by using sound and provably
correct programming models that combine functional and timing aspects.
Click on the left menu for more information on the project.
The third meeting of the consortium has taken place on the 11 and 12
of june 2019 in Toulouse, at the ONERA's premises.
In this meeting, we discussed the state of the project.
F. Fort (CRIStAL) presented recent work on the synchronous language
L. Havet (RTaW) described progress on WP1 on the CPAL language tool,
and possible integrations with the Prelude language.
C. Ballabriga (CRIStAL) presented his work on WP2, and in particular
on our recent work on abstract interpretation of binary code.
We worked together on the definition and the refinement of the
project's requirements (WP4). In particular, we selected a case study of a
robotic application that will be used to demonstrate the technology
developed in the course of the project.
We also discussed the work that has to be done on the scheduling
analysis (WP3) and we made plans for recruiting a new member of the
During the meeting, we also invited H. Cassé of the University of
Toulouse to discuss the evolution of the OTAWA
tool. This tool will be used in the project to support the research on
Changes at ONERA: Luca Santinelli leaves ONERA (and the project)
to join Airbus. We wish him all the best in his new job! Two new
people join the project for ONERA: Youcef Bouchebaba and David
Changes at RTAW: Loïc Fejoz has left RTaW and the project. We
thank him for his dedication to the project, and we wish all the
best in his future endeavours. The new responsible for the project
at RTaW is Lionel Havet.
Photo of the meeting at ONERA