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.
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 the
current 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).
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. To appear.
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.
Participation to EJCP'2007 (young researcher school on programming)
Teaching
(in French)
"Programmation fonctionnelle et introduction à la
théorie des types" (Supaéro, 1e année), cours et TPs, ici.
"Exécutifs Temps Réel" (Master 2e année CAMSI,
Université Paul Sabathier), cours et TPs, ici
"Programmation de systèmes embarqués : l'approche
synchrone" (ENSA Marrakech, 5e année), cours et TPs, ici
TPs "Ordonnancement de tâches et approches synchrones" (INSA Toulouse, GEI, 5e
année). Cours sur les extensions du langage Lustre.
TPs "Programmation et algorithmique" (ENAC, IENAC S, 1e année). Voir les
sujets de TPs.