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

Responsable :  Philippe PALANQUE

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
Ingénierie des exigences
Vérification et validation
Systèmes embarqués
Certification des outils et des systèmes

publications of the apllication areas

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
  • Xavier Thirioux

    Verifying Embedded Systems

    Habilitation à diriger des recherches, Institut National Polytechnique de Toulouse, septembre 2016.

    BibTeX

  • Brahim Hamid

    Engineering secure systems: patterns, properties, models, analysis and experimental evaluations

    Habilitation à diriger des recherches, Université de Toulouse-le-Mirail, décembre 2016.

    BibTeX

  • Florent Latombe

    Systematic use of models of concurrency in executable domain-specific modelling languages

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

    BibTeX

  • Marco Antonio Winckler

    Engineering Interactive Systems across application domains

    Habilitation à diriger des recherches, Université Paul Sabatier, juillet 2016.

    BibTeX

  • Guillaume Verdier

    Variantes de spécifications à ensembles d’acceptation pour la conception modulaire de systèmes

    Thèse de doctorat, Université de Toulouse, mars 2016.

    BibTeX

  • Régis Spadotti

    Une théorie mécanisée des arbres réguliers en théorie des types dépendants

    Thèse de doctorat, Université Paul Sabatier, mai 2016.

    Résumé
    BibTeX

  • Arnaud Dieumegard

    Formal Guaranties for Safety Critical Code Generation : the Case of Highly Variable Languages

    Thèse de doctorat, Institut National Polytechnique de Toulouse, janvier 2015.

    BibTeX

  • Camille Fayollas

    Architecture logicielle générique et approche à base de modèles pour la sûreté de fonctionnement des systèmes interactifs critiques

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

    BibTeX

  • Jacob Geisel

    An Approach to Modeling Repository-Centric Secure Software Engineering Processes

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

    Résumé
    BibTeX

  • Martina Ragosta

    A multi-modelS based approach for the modelling and the analysis of usable and resilient partly-autonomous interactive systems

    Thèse de doctorat, Université Paul Sabatier, mai 2015.

    Résumé
    BibTeX

Rapports
Jeudi 15 Décembre 2022, 9h30
Towards the certification of Machine~Learning-based Avionic Systems : leveraging mathematical proofs for ensuring trustworthiness
Eric VIDOT – Equipe ARGOS, IRIT ISAE-SUPAERO salle 11.114, Toulouse
#these
Mercredi 5 Octobre 2022, 9h30
Théorie de l’affordance dans l’évaluation de l’expérience utilisateur
Hamna ASLAM – , IRIT UT3 Paul Sabatier, IRIT, Salle 001
#these
Lundi 13 Décembre 2021, 14h00
Integrated Conceptual Design Evaluation of Mechatronic Systems Using SysML
Mohammad CHAMI – Equipe SMART, IRIT UT3 Paul Sabatier, IRIT, Salle de Direction Rdc IRIT2
#these
Vendredi 3 Décembre 2021, 14h00
Development of a Formal Verification Methodology for B specifications using PERF toolkit. Application to safety requirements of railway systems
Alexandra HALCHIN – Equipe ACADIE, IRIT INP-ENSEEIHT, Salle du Conseil (F501)
#these
Lundi 8 Novembre 2021, 14h30
Développement sans rupture de systèmes complexes : une approche basée multi-exigences
Florian GALINIER – Equipe SMART, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#these
Vendredi 29 Octobre 2021, 14h00
Rigorous development of secure architecture within the negative and positive statements: properties, models, analysis and tool support
Quentin ROULAND – Equipe ARGOS, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#these
Jeudi 14 Janvier 2021, 15h00
Conception Correcte par Construction de Systèmes Hybrides Basée sur le Raffinement et la Preuve
Guillaume DUPONT – Equipe ACADIE, IRIT INP-ENSEEIHT, En visioconférence
#these
Jeudi 14 Janvier 2021, 14h00
Notation et processus outillé pour la description, l’analyse et la compréhension de l’automatisation dans les systèmes de commande et contrôle
Elodie BOUZEKRI – Equipe ICS, IRIT UT3 Paul Sabatier, Salle des thèses et en visioconférence
#these
Vendredi 18 Décembre 2020, 9h00
Modélisation centrée utilisateur pour la configuration logicielle en environnement ambiant
Maroun KOUSSAIFI – Equipe SMAC, Equipe SMART, IRIT UT3 Paul Sabatier, En visioconférence
#these
Jeudi 1 Octobre 2020, 14h00
Méthodologie de conception de systèmes de simulation en entreprise étendue, basée sur l’ingénierie système dirigée par les modèles
Renan LEROUX-BEAUDOUT – Equipe ARGOS, Equipe SMART, 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
Mercredi 8 Mars 2023, 14h00 – 15h30
Talking ‘bout my Generation … or not?: The Digital Technology Life Experiences of Older People
Helen PETRIE – University of York (Royaume-Uni) UT3 Paul Sabatier, IRIT, Salle des Thèses
#seminaire
Jeudi 16 Juin 2022, 13h00 – 14h00
Identifying and Analyzing Implicit Interactions in Critical Infrastructure Systems
Jason JASKOLKA – Carleton University (Canada) UT3 Paul Sabatier, IRIT, Salle des Thèses
#seminaire
Mardi 13 Juillet 2021, 15h30 – 16h30
It Seems (Un)Fair to Me…Users’ perception of algorithmic fairness: a framework and a case study
Tsvii KUFLIK – University of Haifa (Israel) UT3 Paul Sabatier, IRIT, Salle 001
#seminaire
Jeudi 27 Février 2020, 16h00 – 17h00
Défis de génie logiciel dans l’évolution collaborative de l’assistant de preuve Coq et son écosystème
Théo ZIMMERMANN – Inria, Université de Paris, IRIF, CNRS UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#seminaire
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
Vendredi 12 Mars 2021, 9h00
Modélisation des systèmes complexes et Points de vue : l’Ingénierie Des Modèles centrée utilisateur pour l’Ingénierie Système
Sophie EBERSOLD – Equipe SMART, IRIT UT2 Jean Jaurès, en visioconférence
#hdr
Mercredi 1 Juillet 2020, 15h00
Model-Based Engineering of Critical Large Scale Socio-Technical Systems: Contributions and Future Directions
Celia MARTINIE DE ALMEIDA – Equipe ICS, IRIT UT3 Paul Sabatier, En visioconférence
#hdr
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