Université
de Bretagne Occidentale
Département Informatique
Singhoff Frank
Professeur des Universités
Bureau C-203
20, avenue le Gorgeu
CS 93837
29238 BREST Cedex 3
Tél : 02 98 01 62 11
Fax : 02 98 01 80 11
E-mail : singhoff@univ-brest.fr
http://beru.univ-brest.fr/~singhoff
English version
Enseignements :
- Une liste de TP et des supports de cours/TD .
Recherche :
- Thématiques : systèmes embarqués temps réel, modélisation et vérification, langage d’architecture, analyse de performances, théorie des files d’attente, théorie de l’ordonnancement temps réel.
- Je suis membre du laboratoire LISyC.
- Mes activités de recherche portent principalement sur les problèmes de dimensionnement dans les systèmes temps réel embarqués, et plus particulièrement sur la théorie de l’ordonnancement temps réel et sur les langages d’architectures. Depuis quelques années, nous développons des outils d’analyse tels que Cheddar, un outil d’analyse basé sur la théorie de l’ordonnancement temps réel et la théorie des files d’attente. Le logiciel Cheddar est un logiciel libre, toutefois, la société Ellidiss Technologies, avec qui nous collaborons, offre un support industriel pour cet outil.
- Par ailleurs, je suis
membre du comité de normalisation AS-2C de
- Les activités de recherche autour d’AADL et de Cheddar sont menées en collaboration avec Ellidiss Technologies, l’équipe S3 de Télécom-Paris-Tech et l’ISAE.
- Liste des publications.
- Encadrements de thèse : Loic Plassart (co-encadrement avec P. Le Parc), Jérôme Legrand (co-encadrement avec L. Marcé et L. Nana).
- Outil : Cheddar, un outil open-source d’analyse basé sur la théorie de l’ordonnancement temps réel.
Formation :
- Habilitation à diriger des recherches de l’Université de Bretagne Occidentale, Brest, Novembre 2008.
- Doctorat de l'Ecole Nationale Supérieure des Télécommunications, Paris. Décembre 1999.
- Ingénieur du Conservatoire National des Arts et Métiers, Paris. Septembre 1996.
Dernière mise à jour en novembre 2009