Home | Research | Enseignement | Prelude

Research

Research areas

Real-time scheduling, Real-time programming (mixing functional and temporal aspects), Formal languages, Compiling.

Short Vitae

I recently started working on a new team project called Emeraude (LIFL/IRCICA);
Sep. 2010-now: Associate professor, University Lille 1, DaRT team (LIFL/INRIA);
Nov. 2009-Aug. 2010: post-doc at LaBRI;
Nov. 2006-Nov. 2009: Ph.D. thesis at ONERA-ISAE (Supaéro), see below;
2005-2006: Engineer at Esterel Technologies. Worked as a developper of the new compiler of the SCADE development environment for safety-critical embedded applications (based on the Lustre language);
2002-2004: Engineer at INRIA-Rocquencourt in the AOSTE team. Worked as a developper of SynDEx, a conception software for distributed real-time embedded systems;
2002: Master in Computer Science (DEA+DESS) at the University of Bordeaux I.

Program Committee

RTNS 2013

I am a member of the Program Committee of the 21st International Conference on Real-Time Networks and Systems, to be held in Sophia Antipolis, France, October 17-18, 2013.
RTNS is a friendly conference with a great sense of community that presents excellent opportunities for collaboration. I hope to see you there.

Ph.D. thesis

The title of my thesis is A Synchronous Language for Critical Embedded Systems with Multiple Real-Time Constraints. We defined a language, called Prelude, and its compiler for embedded control systems of the aeronautical and aerospatial domains:

We deal with strong real-time constraints, namely: precedences, multi-period and latency constraints;
The language has strong formal properties, building on synchronous languages such as Lustre or Lucid Synchrone;
This language includes high level real-time primitives missing in previous synchronous languages to program multi-periodic reactive systems;
These primitives are based on a specific class of statically computable clocks, called Strictly Periodic Clocks;
Programs are compiled into a set of concurrent real-time tasks (multi-threaded C code).

Supervised by Frédéric Boniol, Claire Pagetti and David Lesens (Astrium Space Transportation).
Thesis defended, November 19, 2009, at ISAE-Supaéro (Toulouse): see the slides or the manuscript.

Download the Prelude compiler here.

Publications/conferences

(Chronologic order)

Propriétés de latence, fraîcheur et réactivité dans un programme synchrone multi-périodique, to appear
R. Wyss, F. Boniol, C. Pagetti, J. Forget
In AFADL 2013, Nancy, France, April 3-5, 2013.
A synchronous language with partial delay specification for real-time systems programming, pdf
R. Wyss, F. Boniol, J. Forget, C. Pagetti
In 10th Asian Symposium on Programming Languages and Systems (APLAS'12), Kyoto, Japan, December 11-13 2012.
Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset, pdf
M Cordovilla, F. Boniol, J. Forget, E. Noulard and C. Pagetti
In 19th International Conference on Real-Time and Network Systems (RTNS'11), Nantes, France, September 29-30 2011.
Multi-task implementation of multi-periodic synchronous programs, pdf
C. Pagetti, J. Forget, F. Boniol, M. Cordovilla and D. Lesens
In Discrete Event Dynamic Systems, Vol 22, Num 3, 2011.
Dynamic Priority Scheduling of Periodic Tasks with Extended Precedences,pdf
J. Forget, E. Grolleau, C. Pagetti and P. Richard.
In 16th IEEE Conference on Emerging Technologies and Factory Automation (ETFA'11), Toulouse, France, September 5-9 2011.
Ordonnancement de tâches périodiques avec précédences étendues sans sémaphores
J. Forget, E. Grolleau, and C. Pagetti.
In 12e congrès annuel de la Société française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'11), Saint-Etienne, France, March 2-4 2011.
Scheduling Dependent Periodic Tasks Without Synchronization Mechanisms, pdf
J. Forget, F. Boniol, E. Grolleau, D. Lesens and C. Pagetti.
In 16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'10), Stockholm, Sweden, April 12-15 2010.
A Real-Time Architecture Design Language for Multi-Rate Embedded Control Systems., pdf
J. Forget, F. Boniol, D. Lesens, C. Pagetti.
In 25th ACM Symposium on Applied Computing (SAC'10), Sierre, Switzerland, March 22-26 2010.
Implementing Multi-Periodic Critical Systems: from Design to Code Generation, pdf
J. Forget, F. Boniol, D. Lesens, C. Pagetti.
In Formal Methods for Aerospace (FMA'09), workshop affiliated with Formal Methods Week (FM'09), 3 Nov. 2009, Eindhoven, The Netherlands.
Implantation multitâche de programmes synchrones multipériodiques
F. Boniol, M. Cordovilla, J. Forget, D. Lesens, C. Pagetti.
In 7ième colloque francophone sur la Modélisation des Systèmes Réactifs (MSR'09), Nov. 16-18 2009, Nantes, France.
A Multi-Periodic Synchronous Data-Flow Language, pdf, slides.
J. Forget, F. Boniol, D. Lesens, C. Pagetti.
In 11th IEEE High Assurance Systems Engineering Symposium (HASE'08), Dec. 3-5 2008, Nanjing, China.
Programming Languages For Hard Real-Time Embedded Systems, pdf
J. Forget, F. Boniol, D. Lesens, C. Pagetti, M. Pouzet.
In Embedded Real Time Software (ERTS'08), Jan. 29 - Feb. 1 2008, Toulouse, France. Also presented at FAC'2008.