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
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).
A synchronous language with partial delay specification for
real-time systems
programming, to appear 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.
