Équipe ARGOS

Responsable : Ileana OBER

L’équipe ARGOS (Advancing Rigorous Software and System Engineering) regroupe des compétences recouvrant le développement de logiciel tout au long de son cycle de vie, avec une souci particulier dans l’utilisation de techniques permettant le développement de systèmes et logiciels de qualité. Dans cette optique, l’équipe se propose de relever des défis autour de la correction des logiciels et des systèmes, du développement de systèmes sécurisés, ainsi que de l’adaptation et optimisation des processus et des conceptions.

Les problèmes traités par ces trois axes sont étudiés en utilisant des modèles et des patrons de conception, intégrant l’expression formelle des propriétés à vérifier. Une attention particulière est portée à la construction d’outils support des méthodes développées, sur la base des plates-formes outils existants (lien) et la réalisation d’évaluations et d’expérimentations des recherches menés.

Mots clés : génie logiciel, ingénierie système, spécification et vérification formelle, ingénierie à base de modèles, validation de modèles, ingénierie de langages, langages (de modélisation) dédiés, patrons & bonnes pratiques, méthodes agiles, gestion de processus, évaluation empirique

Sujets scientifiques liés : Conception et construction de systèmes

Domaines d’application : systèmes cyber-physiques, robotique, cloud

Correction des logiciels et des systèmes

L’enjeu scientifique de cet axe concerne la qualité des logiciels et des systèmes, du point de vue du respect des exigences fonctionnelles et non fonctionnelles. L’objectif des travaux de l’axe est de faciliter la construction correcte et la validation des logiciels et des systèmes en utilisant des approches rigoureuses de spécification et de vérification issues des méthodes formelles.

Nos travaux s’appuient sur différentes techniques de spécification formelle à base de modèles logiques ou opérationnels (logiques temporelles, automates, algèbres de processus), ainsi que sur différentes méthodes d’analyse de ces modèles (model-checking, interprétation abstraite, preuve, test). Raisonner en amont sur des modèles des systèmes à développer permet d’abstraire la complexité des systèmes et d’assurer que ces systèmes présentent les propriétés souhaitées.

Une attention particulière est portée à intégrer les techniques formelles dans le développement traditionnel en les rendant accessibles aux ingénieurs du terrain. Une spécificité de nos travaux est de mettre à contribution des techniques de l’ingénierie des modèles (IDM) ainsi que des langages de modélisation standards de l’industrie (e.g., UML, SysML). Nous nous intéressons à la sémantique de ces langages, à l’intégration de spécifications formelles, à l’application de méthodes de vérification, basées notamment sur le model-checking, ainsi qu’au test.

Développement rigoureux des architectures sécurisées

L’enjeu scientifique de cet axe est de répondre à la double nécessité de construire des systèmes résilients d’un point de vue cyber-sécurité, tout en garantissant leur richesse fonctionnelle.

Les activités de recherche visent le développement d’un cadre méthodologique de conception permettant de gérer et d’intégrer à la fois les éléments garants de la sécurité du système et l’architecture de la chaîne fonctionnelle, tout en assurant une validation continue de la sécurité et de l’architecture.

Le but ultime est de bâtir de nouvelles pratiques visant à accroître la réutilisation de patrons de conception sécurisée pour réduire les coût des développements tout en augmentant la confiance dans les systèmes.

Adaptation et optimisation des processus et des conceptions

L’enjeu scientifique est l’accompagnement de l’émergence de nouveaux processus et de nouvelles architectures répondant aux besoins d’adaptation au changement.

Au niveau processus, nous cherchons à contrôler les activités de développement pour assurer leur cohérence et la traçabilité. Puis nous visons à appliquer des pratiques et techniques pour rendre le développement plus flexible et adaptatif afin d’améliorer en permanence les processus de développement. Nous nous intéressons à l’encadrement de l’émergence de processus de développement spécifiques élaborés par les équipes agiles et à des langages de patterns pérennisant les conceptions émergentes issues de ces approches. Nous travaillons également sur l’optimisation de la représentation des modèles pour aller vers des Systèmes de Gestions de Bases de Modèles.

Compétences

spécification, modélisation et vérification formelle
logiciel et systèmes cyber-physiques
ingénierie système à base de modèles
langages dédiés
patrons & bonnes pratiques

personnel de l’équipe

Membres permanents
Membres non – permanents

publications de l’équipe

Articles dans des revues internationales
Articles dans des revues nationales
Pas de publications
Conférences et workshops internationaux avec actes édités et comité de lecture
Conférences sans actes publiés
Pas de publications
Thèses et habilitations
Pas de publications

contrats de l’équipe

AcronymeTitreResp. scDébut – fin
AcronymeTitreResp. scDébut – fin
TERESA
[Contrat terminé]
autre Trusted computing Engineering for Resource constrained Embedded Systems Applications HAMID Brahim
2009 – 2012
AcronymeTitreResp. scDébut – fin
TOPCASED
[Contrat terminé]
TOPCASED – Toolkit in open source for Critical Application & SystEms Development FILALI Mamoun
PERCEBOIS Christian
2006 – 2010
Lundi 30 Septembre 2019, 10h00
Une approche intégrée des systèmes ferroviaires et prenant en charge leur validation
Ronan BADUEL – Equipe SMART, Equipe ARGOS, IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#these
Vendredi 8 Février 2019, 14h00
Environnement d’assistance au développement de transformations de graphes correctes
Amani MAKHLOUF – Equipe ARGOS – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#these
Lundi 16 Juillet 2018, 16h00
Rendre Agile les tests d’intégration des systèmes avioniques par des langages dédiés
Robin BUSSENOT – Equipe ARGOS – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#these
Lundi 3 Septembre 2018 – Vendredi 7 Septembre 2018
ISSA : International Workshop on Interplay of Security, Safety and System/Software Architecture in conjunction with ESORICS 2018 conference
Barcelona (Espagne)
#congres En savoir plus
Lundi 11 Septembre 2017 – Vendredi 15 Septembre 2017
International Workshop on Interplay of Security, Safety and System/Software Architecture (ISSA)
Canterbury (Royaume-Uni)
#congres En savoir plus
Lundi 5 Septembre 2016 – Mardi 6 Septembre 2016
International Workshop on Interplay of Security, Safety and System/Software Architecture (ISSA)
Istanbul (Turquie)
#congres En savoir plus