P. Le Guernic, Th. Gautier et B. Houssais ont donné des cours
de DEA, 
année Insa et
DESS-Isa consacrés à la programmation du temps réel.
Les membres de l'équipe participent à divers titres à la formation d'étudiants à l'université et à l'Insa.
Dans le cadre des formations de troisième cycle nous avons assuré l'encadrement d'étudiants stagiaires du DEA informatique :
Sylvain Machard,
Samuel Ketels,
François Forgues,
Stéphane Carlo,
Sébastien Gicquel (co-encadré avec S. Donikian, projet Siames),
Christine Sinoquet
(co-encadrée avec O. Roux, Lan/ECN, Nantes).