Composition de l'équipe COLOSS (Composants et Logiciels Sûrs)

Responsable

Christian Attiogbé

(depuis juillet 2005)

Permanents

Pascal André	Maître de conférences
Gilles Ardourel	Maître de conférences
Christian Attiogbe	Professeur
Henri Habrias	Professeur
Arnaud Lanoix	Maître de Conférences

Non permanents

Mohamed Messabihi

Doctorant

Thématiques et objectifs de recherche

Les activités de recherche de l'équipe COLOSS se situent entre la recherche fondamentale et leurs applications.
L'objectif est d'élaborer des concepts, des méthodes et des techniques outillées pour les concepteurs ou développeurs de logiciels.
Nous explorons les approches formelles (celles basées sur des fondements mathématiques) d'aide à l'analyse et au développement du logiciel:

• Spécification multiformalisme et analyse formelle multifacette de systèmes.
• Spécification, vérification et validation des architectures logicielles, objets, composants.
  Le but est d'assurer la correction des composants utilisés et des compositions de ceux-ci dans le cadre de construction de systèmes informatiques complexes (i.e. non triviaux).

Objectifs et applications industrielles visées

• Des techniques de développement de composants et systèmes logiciels surs.
• Des outils d'aide à l'analyse et au développement de systèmes embarqués, concurrents, mobiles.

Projets et outils

Projets de recherche et développement

Propositions de sujets

Sujets de Stage, TER, Master, Thèse, etc