Dept. Reliability Systems and Software

Head :  Philippe PALANQUE

The “reliability of systems and software” (RSS) conducts research work centred around two complementary research activities

  • the design of rigorous techniques and methods supporting the development of high quality software and systems;
  • the development of high quality systems and software using rigorous methods and techniques;

with a permanent focus on the production of an assessment of the quality (safety, security, reliability, etc.)  of the developed systems and software.

Several application domains are targeted by the studies achieved in RSS: embedded systems and cyber-physical systems, human computer interaction, distributed systems, numerical computation in transportation systems, medical systems, etc.

Scientific themes

The research activities of the department study the development of high quality complex systems and software and the processes supporting such developments with a major focus on the assessment of the quality (time, safety, security, usability, etc.) of these systems and processes. The studied systems and software may be either process or data based, centralized or distributed, close or open loop controlled systems, communicating and interacting with the users and the environment, hybrid with both discrete and continuous behaviours and may involve both software and hardware. On the software process side the departement worked on a change‐aware process management system that allows process actors reporting emergent changes, analysing possible impacts, and notifying people affected by the changes.

The applications targeted by these studies are critical systems like embedded systems, transportation systems, medical systems, etc.

The department activities take part in the IRIT main research topic: “Design and Construction of systems (reliable, safe, adaptive, distributed, communicating, dynamic, …”. The target applications belong to the strategic application domains identified at IRIT: “on the application domains “Aeronautics and Space, transport” or “Security of Heritage and People” and “ Health, autonomy, living, and well-being”.

Structure of the department.

According to the structure adopted at IRIT, the RSS department is composed of 4 research teams: ACADIE, ARGOS, ICS and SM@RT with 34 permanent researchers and 24 PhD students and postdocs (January 2019).

The 4 research teams belong to 4 different universities: Université Paul Sabatier (UPS), INPT-ENSEEIHT, Université Toulouse 2 Jean-Jaurès (UT2J) and Université Toulouse 1 Capitole (UT1C). They are spread on 7 geographical sites (UPS IRIT, UPS IUT A, ENSEEIHT, UT1 Capitole, IUT Rodez , UT2J, IUT Blagnac) with the following distribution: ACADIE (19 at ENSEEIHT and 10 at UPS), ARGOS (2 at UPS, 4 at UPS-IUTA, 1 at UT2J and 1 UT2J IUT Blagnac), ICS (2 at UPS and 1 at UT1C) and SM@RT (5 at UT2J).

skills

Formal methods
Development process
Model engineering
Requirements engineering
Verification and validation
Embedded systems
Certification of tools and systems

publications du domaine d’application stratégique

International journals articles
National journals articles
Special issues of journal
International conferences articles
Conferences articles without published proceedings
Books
Thesis and HDR
  • Xavier Thirioux

    Verifying Embedded Systems

    HDR, Institut National Polytechnique de Toulouse, September 2016.

    BibTeX

  • Brahim Hamid

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

    HDR, Université de Toulouse-le-Mirail, December 2016.

    BibTeX

  • Florent Latombe

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

    Master’s Thesis, Institut National Polytechnique de Toulouse, July 2016.

    BibTeX

  • Marco Antonio Winckler

    Engineering Interactive Systems across application domains

    HDR, Université Paul Sabatier, July 2016.

    BibTeX

  • Guillaume Verdier

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

    Master’s Thesis, Université de Toulouse, March 2016.

    BibTeX

  • Régis Spadotti

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

    Master’s Thesis, Université Paul Sabatier, May 2016.

    Abstract
    BibTeX

  • Arnaud Dieumegard

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

    Master’s Thesis, Institut National Polytechnique de Toulouse, January 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

    Master’s Thesis, Université Paul Sabatier, July 2015.

    BibTeX

  • Jacob Geisel

    An Approach to Modeling Repository-Centric Secure Software Engineering Processes

    Master’s Thesis, Université Paul Sabatier, September 2015.

    Abstract
    BibTeX

  • Martina Ragosta

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

    Master’s Thesis, Université Paul Sabatier, May 2015.

    Abstract
    BibTeX

Reports
Wednesday 5 October 2022, 9h30
Affordance Theory in User Experience Evaluation
Hamna ASLAM – , IRIT UT3 Paul Sabatier, IRIT, Salle 001
#these
Monday 13 December 2021, 14h00
Integrated Conceptual Design Evaluation of Mechatronic Systems Using SysML
Mohammad CHAMI – Team SMART, IRIT UT3 Paul Sabatier, IRIT, Salle de Direction Rdc IRIT2
#these
Friday 3 December 2021, 14h00
Development of a Formal Verification Methodology for B specifications using PERF toolkit. Application to safety requirements of railway systems
Alexandra HALCHIN – Team ACADIE, IRIT INP-ENSEEIHT, Salle du Conseil (F501)
#these
Monday 8 November 2021, 14h30
Développement sans rupture de systèmes complexes : une approche basée multi-exigences
Florian GALINIER – Team SMART, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#these
Friday 29 October 2021, 14h00
Rigorous development of secure architecture within the negative and positive statements: properties, models, analysis and tool support
Quentin ROULAND – Team ARGOS, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#these
Thursday 14 January 2021, 15h00
Correct-by-Construction Design of Hybrid Systems Based on Refinement and Proof
Guillaume DUPONT – Team ACADIE, IRIT INP-ENSEEIHT, En visioconférence
#these
Thursday 14 January 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 – Team ICS, IRIT UT3 Paul Sabatier, Salle des thèses et en visioconférence
#these
Friday 18 December 2020, 9h00
Modélisation centrée utilisateur pour la configuration logicielle en environnement ambiant
Maroun KOUSSAIFI – Team SMAC, Team SMART, IRIT UT3 Paul Sabatier, En visioconférence
#these
Thursday 1 October 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 – Team ARGOS, Team SMART, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#these
Monday 14 September 2020, 10h00
Un environnement formel pour la sémantique des systèmes hétérogènes
Mathieu MONTIN – Team ACADIE, IRIT INP-ENSEEIHT, Auditorium et via visioconférence
#these
Monday 28 October 2019 – Thursday 31 October 2019
MEDI 2019 : 9th International Conference on Model and Data Engineering
INP-ENSEEIHT
#congres Know more
Monday 3 September 2018 – Friday 7 September 2018
ISSA : International Workshop on Interplay of Security, Safety and System/Software Architecture in conjunction with ESORICS 2018 conference
Barcelona (Espagne)
#congres Know more
Monday 11 September 2017 – Friday 15 September 2017
International Workshop on Interplay of Security, Safety and System/Software Architecture (ISSA)
Canterbury (Royaume-Uni)
#congres Know more
Monday 26 June 2017 – Friday 30 June 2017
École Jeunes Chercheurs en Programmation 2017 (EJCP 2017)
INP-ENSEEIHT, Toulouse
#congres Know more
Monday 12 December 2016 – Friday 16 December 2016
World Champions Programming School at Toulouse
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#congres Know more
Monday 5 September 2016 – Tuesday 6 September 2016
International Workshop on Interplay of Security, Safety and System/Software Architecture (ISSA)
Istanbul (Turquie)
#congres Know more
Wednesday 30 September 2015 – Friday 2 October 2015
5th International Conference on Application and Theory of Automation in Command and Control Systems
UT3 Paul Sabatier, IRIT
#congres Know more
Tuesday 1 July 2014 – Friday 4 July 2014
ICWE 2014 : International Conference on Web Engineering
UT1 Capitole
#congres Know more
Wednesday 18 June 2014 – Friday 20 June 2014
LACL 2014 : Logical Aspects of Computational Linguistics
UT3 Paul Sabatier, IRIT
#congres Know more
Monday 2 June 2014 – Thursday 5 June 2014
ABZ 2014 : 4th International Conference ASM, Alloy, B, TLA, VDM, Z
Toulouse
#congres Know more
Tuesday 13 July 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
Thursday 27 February 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
Thursday 26 September 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
Wednesday 29 May 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
Tuesday 9 April 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
Friday 29 March 2019, 15h30 – 16h45
Vers une taxonomie des exigences
Bertrand MEYER – Team SMART – IRIT (France) UT3 Paul Sabatier, IRIT, Salle 001
#seminaire
Friday 6 April 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 – Team SMART – IRIT (France) UT3 Paul Sabatier, IRIT, Salle des Thèses
#seminaire
Friday 16 February 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
Tuesday 21 February 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
Thursday 9 February 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
Friday 12 March 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 – Team SMART, IRIT UT2 Jean Jaurès, en visioconférence
#hdr
Wednesday 1 July 2020, 15h00
Model-Based Engineering of Critical Large Scale Socio-Technical Systems: Contributions and Future Directions
Celia MARTINIE DE ALMEIDA – Team ICS, IRIT UT3 Paul Sabatier, En visioconférence
#hdr
Friday 6 July 2018, 9h30
Formalisations pour les compositions de services
Aurélie HURAULT – Team ACADIE, IRIT INP-ENSEEIHT, Salle des thèses
#hdr
Monday 19 September 2016, 9h30
Verifying Embedded Systems
Xavier THIRIOUX – Team ACADIE – IRIT INP-ENSEEIHT, Salle des theses
#hdr
Wednesday 13 July 2016, 15h00
Engineering Interactive Systems across application domains
Marco Antonio WINCKLER – Team ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#hdr
Thursday 25 June 2015
Journée du GDR GPL – Génie Logiciel et Transfert Technologique
UT3 Paul Sabatier, IRIT
#journee
Wednesday 22 April 2015 – Thursday 23 April 2015
Journées FAC’2015 : Formalisation des Activités Concurrentes
INP-ENSEEIHT, Salle des theses
#journee