Présentation de l'équipe Architectures et Logiciels Sûrs (AeLoS)
Le projet scientifique de l'équipe s’appuie sur trois thématiques : architecture, composants logiciels, multiformalisme et analyse multifacette. 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.
Les domaines d’application sont ceux des systèmes communicants, fiables ou critiques, systèmes d’information à grande échelle, logiciels corrects pour l’Internet du futur, systèmes d’intelligence ambiante.
