Dépt. Fiabilité des systèmes et des logiciels

Responsable :  Yamine AÏT-AMEUR

Le département « Fiabilité des Systèmes et du Logiciel » (FSL) mène des travaux de recherche centrés autour de deux activités complémentaires :

  • la conception de techniques et de méthodes rigoureuses supportant le développement de systèmes et de logiciels de qualité.
  • le développement de systèmes et de logiciels de qualité en utilisant des méthodes et techniques rigoureuses ;

avec une attention systématique à la production de certificat de confiance sur la qualité (sûreté, sécurité, fiabilité…) des systèmes et logiciels étudiés

Plusieurs domaines d’applications sont visés par les différentes études menées au sein du département FSL : systèmes embarqués et cyber-physiques, systèmes interactifs, systèmes distribués, logiciels de calculs numériques, aéronautique et transport, systèmes médicaux, etc.

Activités scientifiques

Les activités de recherche du département FSL traitent du développement de systèmes et de logiciels complexes de qualité ainsi que des processus supports à ces développements avec un intérêt particulier sur l’évaluation de la qualité (temps, sureté, sécurité, utilisabilité, etc.) à la fois de ces systèmes et des processus. Les systèmes et logiciels étudiés peuvent être aussi bien à base de processus ou de données, centralisés ou distribués, contrôlés en boucle ouverte ou fermée, communicants ou interagissant avec l’humain ou l’environnement, hybrides intégrant des comportements discrets et continus, et peuvent impliquer du logiciel et du matériel. Coté processus de développement, le département s’intéresse tout particulièrement aux changements et aux évolutions des systèmes avec la prise en compte de la gestion des évolutions, du reporting et de l’analyse d’impact définition des processus.

Les applications visées sont principalement les systèmes critiques comme les systèmes embarqués, les systèmes de transport, les systèmes médicaux, etc.

Les activités du département s’inscrivent dans le grand sujet scientifique de l’IRIT « Conception et construction de systèmes (fiables, surs, adaptatifs, distribués, communicants, dynamiques …). Les applications visées appartiennent aux domaines d’applications stratégiques de l’IRIT « Aéronautique et espace, transport », « Sécurité du patrimoine et des personnes » ou « Santé, autonomie, vivant, bien-être ».

Structure du département

En accord avec la structure adoptée au sein de l’IRIT, le département FSL est composé de 4 équipes de recherche ACADIE, ARGOS, ICS et SM@RT avec 34 chercheurs et enseignants-chercheurs permanents et 24 doctorants (Janvier 2019).

Les 4 équipes de recherche regroupent des permanents appartenant à quatre différents établissements : Université Paul Sabatier, (UPS), INPT-ENSEEIHT, Université de Toulouse 2 Jean Jaurès (UT2J) et Université de Toulouse 1 Capitole (UT1C). Les personnels sont répartis sur 7 sites géographiques (UPS IRIT, UPS IUT A, ENSEIHT, UT1 Capitole, IUT Rodez, UT2J, IUT Blagnac) comme suit : ACADIE (19 à l’ENSEEIHT et 10 à l’UPS), ARGOS (2 à l’UPS, 4 à l’UPS-IUT A, 1 à l’UT2J et 1 à UT2J IUT Blagnac), ICS (2 à l’UPS et 1 l’UT1C) et SM@RT (5 à l’UT2J).

Compétences

méthodes formelles
processus de développement
ingénierie des modèles
validation
systèmes embarqués

publications du domaine

Articles dans des revues internationales
Articles dans des revues nationales
Rédaction de numéros spéciaux de revues
Conférences et workshops internationaux avec actes édités et comité de lecture
Conférences sans actes publiés
Livres (monographies)
Thèses et habilitations
  • Kahina Hacid

    Explicitation de la sémantique du domaine dans les modèles de systèmes/ Une approche à base d’ontologies.

    Thèse de doctorat, Institut National Polytechnique de Toulouse, mars 2018.

    BibTeX

  • Robin Bussenot

    Rendre Agile les tests d’int ́egration des syst`emes avioniques par des langages d ́edi ́es

    Thèse de doctorat, Université Paul Sabatier, juillet 2018.

    Accès : http://thesesups.ups-tlse.fr/4037/1/2018TOU30128.pdf
    BibTeX

  • Jari Nisula

    A risk management framework for a complex adaptive transport system

    Thèse de doctorat, Université Paul Sabatier, mars 2018.

    BibTeX

  • Racim Mehdi Fahssi

    Identification systématique et représentation des erreurs humaines dans les modèles de tâches

    Thèse de doctorat, Université Paul Sabatier, décembre 2018.

    Résumé
    BibTeX

  • Thiago Rocha Silva

    A Behavior-Driven Approach for Specifying and Testing User Requirements in Interactive Systems

    Thèse de doctorat, Université Paul Sabatier, septembre 2018.

    Résumé
    BibTeX

  • Aurélie Hurault

    Formalisations pour les compositions de services

    Habilitation à diriger des recherches, Institut National Polytechnique de Toulouse, juillet 2018.

    Accès : http://hurault.perso.enseeiht.fr/hdr.pdf
    BibTeX

  • Mojtaba Hajmoosaei

    A Bottom-up Process Management Environment dedicated to Process Actors

    Thèse de doctorat, Université Paul Sabatier, janvier 2018.

    BibTeX

  • Hélène Uninski

    Une ingénierie participative des exigences pour les systèmes interactifs complexes en aéronautique

    Thèse de doctorat, Université Paul Sabatier, décembre 2017.

    BibTeX

  • Anas Motii

    Engineering Secure Software Architectures: Patterns, Models and Analysis

    Thèse de doctorat, Université Paul Sabatier, novembre 2017.

    BibTeX

  • Soukayna M’Sirdi

    Modular Avionics Software Integration on Multi-Core COTS : certification-Compliant Methodology and Timing Analysis Metrics for Legacy Software Reuse in Modern Aerospace Systems

    Thèse de doctorat, Institut National Polytechnique de Toulouse, juillet 2017.

    Résumé
    BibTeX

Rapports
Mardi 15 Octobre 2019, 14h00
Sur le pouvoir expressif des structures applicatives et monadiques indexées
Ian MALAKHOVSKI – Equipe ACADIE, IRIT UT3 Paul Sabatier, IRIT, Salle 001
#these
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
Jeudi 18 Juillet 2019, 14h00
Ingénierie des annotations pour le support de processus de conception de systèmes interactifs: une approche basée modèle et outillée
Jean-Luc HAK – Equipe ICS, IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#these
Vendredi 12 Juillet 2019, 10h00
Exigences orientées objets dans un cycle de vie continu
Alexandr NAUMCHEV – Equipe SMART, 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
Vendredi 14 Décembre 2018, 8h00
Identification systématique et représentation des erreurs humaines dans les modèles de tâches
Racim Mehdi FAHSSI – Equipe ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#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
Vendredi 15 Décembre 2017, 9h00
Formal decomposition of Event-B centralized specifications: application to BIP distributed systems
Badr SIALA – Equipe ACADIE – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#these
Mercredi 22 Novembre 2017, 10h15
Formalisation des interactions asynchrones
Florent CHEVROU – Equipe ACADIE – IRIT INP-ENSEEIHT, Salle des thèses
#these
Mercredi 18 Octobre 2017, 9h15
Une approche pour l’ingénierie des systèmes interactifs critiques multimodaux et multi-utilisateurs : Application à la prochaine génération de cockpit d’aéronefs
Martin CRONEL – Equipe ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#these
Lundi 28 Octobre 2019 – Jeudi 31 Octobre 2019
MEDI 2019 : 9th International Conference on Model and Data Engineering
INP-ENSEEIHT
#congres En savoir plus
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 26 Juin 2017 – Vendredi 30 Juin 2017
École Jeunes Chercheurs en Programmation 2017 (EJCP 2017)
INP-ENSEEIHT, Toulouse
#congres En savoir plus
Lundi 12 Décembre 2016 – Vendredi 16 Décembre 2016
World Champions Programming School at Toulouse
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#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
Mercredi 30 Septembre 2015 – Vendredi 2 Octobre 2015
5th International Conference on Application and Theory of Automation in Command and Control Systems
UT3 Paul Sabatier, IRIT
#congres En savoir plus
Mardi 1 Juillet 2014 – Vendredi 4 Juillet 2014
ICWE 2014 : International Conference on Web Engineering
UT1 Capitole
#congres En savoir plus
Mercredi 18 Juin 2014 – Vendredi 20 Juin 2014
LACL 2014 : Logical Aspects of Computational Linguistics
UT3 Paul Sabatier, IRIT
#congres En savoir plus
Lundi 2 Juin 2014 – Jeudi 5 Juin 2014
ABZ 2014 : 4th International Conference ASM, Alloy, B, TLA, VDM, Z
Toulouse
#congres En savoir plus
Jeudi 26 Septembre 2019, 14h00 – 15h00
Security and Privacy in Smart Environments
Andrey CHECHULIN – Saint-Petersbourg Institute for Informatics and Automatisation (Russie) UT3 Paul Sabatier, IRIT, Salle 003
#seminaire
Mercredi 29 Mai 2019, 14h30 – 15h30
Sécurité avec SGAC et ASTD
Marc FRAPPIER – Université de Sherbrooke, Groupe de recherche en informatique fondamentale (GRIF) (Canada) INP-ENSEEIHT, Salle des thèses
#seminaire
Mardi 9 Avril 2019, 15h00 – 16h00
Amplification of the Human Mind and Intervention User Interfaces: New Interaction Paradigms in the Age of Artificial Intelligence
Albrecht SCHMIDT – Ludwig-Maximilians-Universität München (Allemagne) UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#seminaire
Vendredi 29 Mars 2019, 15h30 – 16h45
Vers une taxonomie des exigences
Bertrand MEYER – Equipe SMART – IRIT (France) UT3 Paul Sabatier, IRIT, Salle 001
#seminaire
Vendredi 6 Avril 2018, 13h00 – 14h00
Séminaire IRIT-UT2J – Initiation à la programmation par les objets, Eiffel et la conception par contrats : 15 ans et 5000 étudiants plus tard
Bertrand MEYER – Equipe SMART – IRIT (France) UT3 Paul Sabatier, IRIT, Salle des Thèses
#seminaire
Vendredi 16 Février 2018, 10h30 – 12h00
Algorithmes naturels et systèmes d’influence
Bernadette CHARRON-BOST – Laboratoire d’informatique de l’École Polytechnique (LIX) (France) INP-ENSEEIHT, Salle des thèses
#seminaire
Mardi 21 Février 2017, 16h00 – 17h30
Symbolic Dynamics, Asymptotic Combinatorics and Game Theory
Nicolaï VASILYEV – Inst. de Mathématiques Steklov, St. Petersbourg (Russie) UT3 Paul Sabatier, IRIT, Salle 001
#seminaire
Jeudi 9 Février 2017, 14h00 – 15h30
Ingénierie des Exigences
Nacer Eddine ZAROURDE – Université Constantine 2 (Algérie) UT2J, Maison de la Recherche, Bât Olympe de Gouges, GS 121
#seminaire
Mardi 10 Janvier 2017, 14h00 – 15h30
A new dimension of Cloud Governance
Ernesto PIMENTEL – Université de Malaga (Espagne) INP-ENSEEIHT, Salle des thèses
#seminaire
Lundi 12 Décembre 2016, 14h00 – 15h30
Challenges in Certification of Model-Based Design of Cyber-Physical Systems
Alain WASSYNG – Université de Mac Master, Hamilton, Ontario (Canada) ENSEEIHT, Amphitheâtre A001
#seminaire
Vendredi 6 Juillet 2018, 9h30
Formalisations pour les compositions de services
Aurélie HURAULT – Equipe ACADIE, IRIT INP-ENSEEIHT, Salle des thèses
#hdr
Lundi 19 Septembre 2016, 9h30
Verifying Embedded Systems
Xavier THIRIOUX – Equipe ACADIE – IRIT INP-ENSEEIHT, Salle des theses
#hdr
Mercredi 13 Juillet 2016, 15h00
Engineering Interactive Systems across application domains
Marco Antonio WINCKLER – Equipe ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#hdr
Jeudi 25 Juin 2015
Journée du GDR GPL – Génie Logiciel et Transfert Technologique
UT3 Paul Sabatier, IRIT
#journee
Mercredi 22 Avril 2015 – Jeudi 23 Avril 2015
Journées FAC’2015 : Formalisation des Activités Concurrentes
INP-ENSEEIHT, Salle des theses
#journee