Accueil > Equipes > AeLoS > Equipe COLOSS

Equipe COLOSS

Présentation de l’équipe

(équipe-projet du LINA depuis juillet 2005)

Axes 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 composants et des architectures logiciels.

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).

PDF - 185.6 ko
rapport d’activité

PDF - 917 ko
Projet Scientifique

Dernière modification : mercredi 12 janvier 2011