Langues : français English
Accueil > Equipes > AeLoS

AeLoS

Architectures et Logiciels Sûrs

Responsable

Christian ATTIOGBE
Téléphone +33(0)2 51 12 58 18

Responsable Adjointe

Dalila TAMZALIT
Téléphone +33(0)2 51 12 58 50

Assistante

Elodie GUIDON
Téléphone +33(0)2 51 12 58 70

L’équipe AeLoS

PDF - 302.6 ko
Rapport d’activités Coloss 2007-2010

Présentation

Dans le cadre du quadriennal 2012-2015, les anciennes équipes COLOSS et MODAL ont fusionné pour former ce nouveau projet d’équipe AeLoS (créée en Juin 2010).

Le nouveau projet scientifique s’appuie sur trois thématiques précises où les compétences des membres sont manifestes.
L’accent est mis sur les complémentarités des travaux (approches ascendante et descendante), sur la conjugaison des moyens pour relever le défi des architectures sûres et du logiciel sûr à différents niveaux : celui des objets, des services, des composants et des architectures.
L’architecture et le logiciel sont vus en terme de composition des entités précédentes.
L’approche formelle est transversale et permet d’attaquer le défi de la sûreté aussi bien pour les services, les composants que pour les architectures.

PDF - 97.5 ko
Projet AeLoS 2012-2015

Les thématiques de recherche

A travers la thématique architecture nous considérons une approche descendante du logiciel ; la thématique composants logiciels corrects couvre elle l’approche ascendante.
La thématique multiformalisme et analyse multifacette s’attaque au défi de l’interopérabilité et de l’analyse globale du logiciel.
Nous explorons les modèles sémantique de la concurrence et les outils d’analyse associés, notamment les modèles temporisés et les modèles probabilistes.

Quelques projets en cours

  • AFSEC-PdL (Communicating Embedded Systems), avec l’équipe STR/Irccyn
  • Descent Project, collaboartion dans le Labex CominLab, (avec l’équipe GDD)
  • EPOC Project, collaboration dans le LabexCominLab, (avec l’équipe Ascola)

Les domaines d’application

Les domaines d’application sont ceux des systèmes communicants, réactifs et répartis, fiables ou critiques, systèmes d’information à grande échelle, logiciels corrects pour l’Internet du futur, systèmes d’intelligence ambiante, les systèmes à base de composants et services.

Le projet scientifique de AeLoS s’intègre dans son ensemble dans les défis internationaux en cours (Verified Software, Hoare , Misra ; Software Architectues, Garlan, ...).

Mots clefs

Modèles et analyse formels ; Méthode B ; Modèles temporisés et probabilistes ; Vérification ; Construction correcte ; raffinement ; architecture ; systèmes à composants et services, SOA

Collaborations académiques

  • Equipe Acadie, IRIT, Toulouse ;
  • Equipe Convecs, Inria Rhones Alpes, Grenoble ;
  • Mosel, Loria, Nancy ;
  • Vesontio, Femto-ST, Besançon.
  • Scale, Nice

Dernière modification : mercredi 30 mars 2016