ICS Team


The Interactive Critical Systems (ICS) team at IRIT carries out research centered in the field of Human-Computer Interaction with a specific on the engineering of interactive systems. The mains scientific contributions deal with notations, processes and tools for the design, implementation and evaluation of interactive systems thus having a strong bias towards software engineering or more specifically the validation and verification aspects of interactive systems and technologies. ICS team focusses on the integration of multiple and sometimes conflicting properties such as usability, user experience, dependability and safety.

We have a long-term experience in safety critical application domains including:

Beyond these well-known safety critical domains, we address domains where the potential costs of a failure is much higher that development costs. This includes application domains such as large web applications, mass-market systems such as home entertainment and computer games, and more recently health applications such as rehabilitation training platforms.

ICS team is renowned internationally for its research in HCI with the presidency of the IFIP Technical Committee TC13 on Human Computer Interaction. Beyond, some of the ICS team members have a major participation in the ACM SIGCHI leadership with long lasting involvement in its Executive Committee and via the chairing of the steering committee of ACM CHI conference series.

We regularly welcome visiting scientists to collaborate with us. Examples of recent visits are:

  • Andy Cockburn and Carl Gutwin for the design of safe touch interactions in the cockpit
  • Georgia Lallai and Davide Spano for the engineering of task-model based augmented reality for initial training in the cockpit

ICS team manages the master in HCI of the University of Toulouse III created in 2000 and co-accredited with ENAC.


Human-machine interaction
Interactive systems engineering
Critical interactive systems
formal methods
verification and validation

Members team

Permanent members
Non-permanent members
External members

publications team

International journals articles
National journals articles
Special issues of journal
International conferences articles
  • Sara Nikula, Célia Martinie, Philippe Palanque, Julius Hekkala, Outi-Marja Latvala, Kimmo Halunen

    Models-Based Analysis of Both User and Attacker Tasks: Application to EEVEHAC

    9th IFIP WG 13.2 International Working Conference on Human-Centered Software Engineering (HCSE 2022), Aug 2022, Eindhoven, Netherlands. pp.70-89, ⟨10.1007/978-3-031-14785-2_5⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03772286

  • Maroua Tikat, Aline Menin, Michel Buffa, Marco Winckler

    Engineering Annotations to Support Analytical Provenance in Visual Exploration Processes

    22nd International Conference of Web Engineering (ICWE 2022), Jul 2022, Bari, Italy. pp.1-16

    Accès: https://hal.archives-ouvertes.fr/hal-03779349

  • Célia Martinie, Philippe Palanque

    Task Models Based Gameful Design as a Mean to Increase Engagement with Automation

    Workshop on Engaging with Automation (AutomationXP 2022) co-located CHI 2022, Apr 2022, New Orleans, United States

    Accès: https://hal.archives-ouvertes.fr/hal-03703922

  • Célia Martinie, Christos Grigoriadis, Eleni-Maria Kalogeraki, Panayiotis Kotzanikolaou

    Modelling Human Tasks to Enhance Threat Identification in Critical Maritime Systems

    25th Pan-Hellenic Conference on Informatics (PCI 2021), Nov 2021, Volos, Greece. pp.375-380, ⟨10.1145/3503823.3503892⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03586864

  • Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque

    Leveraging Event-B Theories for Handling Domain Knowledge in Design Models

    7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing/Online, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03487124

  • Célia Martinie, Philippe Palanque

    Interactive Systems: a Unique Place for Human‐Hardware‐Software Integration and their Vulnerability to Human‐Made and Natural Faults

    International Symposium on Human System Integration (INCOSE 2021), International Council on Systems Engineering (INCOSE), Nov 2021, San Diego (Virtual), United States. pp.224-233, ⟨10.1002/iis2.12889⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03612380

  • Elodie Bouzekri, Célia Martinie, Philippe Palanque, Katrina Atwood, Christine Gris

    Should I Add Recommendations to My Warning System? The RCRAFT Framework Can Answer This and Other Questions About Supporting the Assessment of Automation Designs

    18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2021), Aug 2021, Bari, Italy. pp.405-429, ⟨10.1007/978-3-030-85610-6_24⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03376253

  • Konrad Baumann, José Creissac Campos, Alan Dix, Laurence Nigay, Philippe Palanque, Jean Vanderdonckt, Gerrit Van der Veer, Benjamin Weyers

    HCI-E²: HCI Engineering Education: For Developers, Designers and More

    18th IFIP TC 13 International Conference on Human-Computer-Interaction (INTERACT 2021), IFIP: International Federation for Information Processing, Aug 2021, Bary, Italy. pp.542-547, ⟨10.1007/978-3-030-85607-6_74⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03376240

  • Philippe Palanque

    POISE: A Framework for Designing Perfect Interactive Systems with and for Imperfect People

    18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2021), Aug 2021, bari, Italy. pp.39-59, ⟨10.1007/978-3-030-85623-6_5⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03376236

  • Tilo Mentler, Philippe Palanque, Susanne Boll, Chris Johnson, Kristof van Laerhoven

    Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues

    IFIP WG 13.5 Workshop @18th IFIP TC 13 International Conference on Human-Computer-Interaction (INTERACT 2021), IFIP: International Federation for Information Processing, Aug 2021, Bari, Italy. pp.542-547, ⟨10.1007/978-3-030-85607-6_72⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03376237

  • National conferences articles
  • Philippe Palanque, Célia Martinie de Almeida, Fayollas Camille

    Automation: danger or opportunity? Designing and assessing automation for interactive systems (CHI 2017)

    CHI Conference on Human Factors in Computing Systems (CHI 2017), ACM SIGCHI: ACM Special Interest Group on Computer-Human Interaction, May 2017, Denver, Colorado, United States. pp.1257-1260, ⟨10.1145/3027063.3027115⟩

    Accès: https://hal.archives-ouvertes.fr/hal-02875050

  • Conferences articles without published proceedings
    Books Books edition Books parts
    Thesis and HDR
    Reports Other publications

    Contracts team

    AcronymeTitreResp. scDébut – fin
    TEAM-UP Ingénierie des systèmes interactifs intelligents d’entrainement Celia MARTINIE DE ALMEIDA
    2022 – 2026
    [Contract completed]
    autre Personal Information Management though Internet Andreas HERZIG
    Marco Antonio WINCKLER
    2010 – 2013
    AcronymeTitreResp. scDébut – fin
    Fly Higher
    [Contract completed]
    autre FLY HIGHER – Shaping the new evolving generation of aeronautic professionals Philippe PALANQUE
    2012 – 2014
    [Contract completed]
    autre Higher Automation Levels in ATM PHD Effective automation in ATM Philippe PALANQUE
    2011 – 2016
    [Contract completed]
    autre Higher Automations Levels in Air Traffic Management Philippe PALANQUE
    2010 – 2014
    AcronymeTitreResp. scDébut – fin
    [Contract completed]
    autre UBILOOP Marco Antonio WINCKLER
    2010 – 2013
    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
    Thursday 18 July 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 – Team ICS, IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
    Friday 14 December 2018, 8h00
    Identification systématique et représentation des erreurs humaines dans les modèles de tâches
    Racim Mehdi FAHSSI – Team ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    Wednesday 18 October 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 – Team ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    Wednesday 3 May 2017, 10h30
    Apport d’une conception centrée utilisateur adaptée selon les besoins des personnes en situation de handicap
    Damien SAUZIN – Team ELIPSE – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    Tuesday 21 July 2015, 10h00
    Generic Software Architecture and Model-Based Approach for the Dependability of Critical Interactive Systems
    Camille FAYOLLAS – Team ICS – IRIT LAAS-CNRS, Toulouse
    Thursday 7 May 2015, 10h00
    A multi-modelS based approach for the modelling and the analysis of usable and resilient partly autonomous interactive systems
    Martina RAGOSTA – Team ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    Wednesday 17 December 2014, 10h00
    Définition d’un langage et d’une méthode pour la description et la spécification d’IHM post-W.I.M.P. pour les cockpits interactifs
    Arnaud HAMON – Team ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    Monday 26 June 2017 – Friday 30 June 2017
    École Jeunes Chercheurs en Programmation 2017 (EJCP 2017)
    INP-ENSEEIHT, Toulouse
    #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
    Saturday 26 April 2014 – Thursday 1 May 2014
    CHI 2014 : 32nd ACM International Conference on Human Factors in Computing Systems
    Toronto (Canada)
    #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
    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
    Thursday 15 May 2014, 15h30
    Ensuring Aviation Safety: Verification of Interactions between Automated Systems and Humans
    Neha Shyam RUNGTA – NASA Ames Research Center, California (Etats-Unis) UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    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
    Wednesday 13 July 2016, 15h00
    Engineering Interactive Systems across application domains
    Marco Antonio WINCKLER – Team ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand