Singhoff Frank
Professeur des Universités, 27ème section
Bureau C-202
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
Offre d'emploi dans l'équipe:
- Post-Doc sur l'ingénierie par les modèles pour les systèmes temps
réel critiques : SMART_postdoc.pdf
Fonctions administratives :
- Directeur
du département informatique (35 enseignants/chercheurs, 300
étudiants environ) de l'UFR Sciences et techniques, UBO.
- Directeur
de la filière ingénierie informatique (130 étudiants environ).
Enseignements (en français) :
- Thématiques :
systèmes temps réel, systèmes répartis, applications multimédias et
visualisation 3D.
- J'enseigne essentiellement en Master 1 et 2 informatique et aussi quelques heures en Licence 1.
- Liste de TP et des supports de cours/TD.
Teaching in English :
-
A set of lectures and exercises on real-time systems programming, written
for the USTH . This course that may take between 25 and 30 hours and is
composed of :
- Lectures on real-time scheduling analysis.
- Lectures on programming RTEMS with C/POSIX.
- Lectures on programming RTEMS with Ada.
- Text book (with exercises and
solutions) about real-time systems and Ada : Building Parallel, Embedded,
and Real-Time Applications with Ada. J. W. McCormick, F. Singhoff, J. Hugues.
Cambridge University Press, UK, 365 pages, Jully 2010.
ISBN-13: 9780521197168. Solutions of the exercises and the Ada programs of this
book are freely available from the Cambridge University Press website.
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 Lab-STICC.
- 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.
- Je suis membre du comité de normalisation AS-2C de
la SAE (Society of Automotive Engineers). Ce comité
international de normalisation est en charge de la définition du langage AADL
(Architecture Analysis and Design Language).
- En 2002, j’ai initié le développement de Cheddar, un outil d’analyse
basé sur la théorie de l’ordonnancement temps réel et la théorie des files
d’attente.
La théorie de l'ordonnancement temps réel propose des méthodes analytiques
et des algorithmes de simulation qui permettent la vérification
de contraintes temporelles.
Toutefois, cette théorie n'est que très rarement appliquée par les entreprises du domaine,
même si la demande pour ce type de méthode de vérification est grande.
Le projet Cheddar étudie pourquoi cette théorie n'est actuellement pas employée
et comment son utilisation pourrait être améliorée.
Le logiciel Cheddar est un logiciel libre, toutefois, la société
Ellidiss Technologies, avec qui nous
collaborons, offre un support industriel pour cet outil. Ce logiciel est
développé par une équipe mixte UBO/Lab-STICC et Ellidiss
Technologies, équipe actuellement constituée
de Pierre Dissaux (Ellidiss Technologies),
de Jérôme Legrand (Ellidiss Technologies),
d’Alain Plantec (UBO/Lab-STICC),
de Stéphane Rubini (UBO/Lab-STICC)
et de Frank Singhoff (UBO/Lab-STICC).
Ce logiciel est sponsorisé/financé par Ellidiss Technologies et le Conseil régional de Bretagne.
Ces
activités de recherche autour de Cheddar sont menées en collaboration
avec diverses équipes :
- 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).
Evénements :
Parcours :
- Professeur des Universités , section 27, depuis septembre 2009.
- Habilitation à diriger des recherches de l'Université de Bretagne Occidentale, novembre 2008.
- Nommé en septembre 2000 Maître de conférences à l'Université de Bretagne Occidentale, section 27.
- Doctorat de l'ENST Paris, spécialité informatique et réseaux. Décembre 1999.
- Ingénieur CNAM Paris (1997).
Page maintenue par Frank Singhoff (singhoff@univ-brest.fr)
Dernière mise à jour en décembre 2011