Équipe ICS

Responsable : Celia MARTINIE DE ALMEIDA

L’équipe ICS (Interactive Critical Systems) concentre ses recherches sur le domaine des interactions homme-machine en mettant en avant une approche d’ingénierie. Ses principales contributions couvrent l’ensemble du processus de développement et concernent les notations, formalismes, méthodes, outils logiciels et processus pour la spécification, la conception, l’implémentation et la validation de systèmes interactifs critiques. Elle s’intéresse au traitement de façon intégrée de plusieurs facteurs du logiciel tels que : utilisabilité, expérience utilisateur, fiabilité, jouabilité, tolérance aux fautes, … Elle s’intéresse aussi aux possibles conflits entre ces propriétés ainsi qu’à leur résolution tout au long du cycle de vie du logiciel.

Les différents travaux de l’équipe ICS ont été appliqués aux domaines d’application des systèmes critiques:

Au-delà de ces domaines critiques bien connus, nous abordons les domaines où les coûts potentiels d’une défaillance sont beaucoup plus élevés que les coûts de développement. Il s’agit notamment de domaines d’application tels que les grandes applications web, les systèmes grand public comme le divertissement à domicile et les jeux vidéo, et plus récemment les applications de santé comme les plateformes d’entraînement à la réadaptation post-AVC.

L’équipe d’ICS est reconnue internationalement pour ses recherches en IHM avec notamment la présidence du comité technique TC13 de l’IFIP. De plus, certains des membres de l’équipe ICS ont une participation majeure dans le leadership de l’ACM SIGCHI avec une implication de longue durée dans son comité exécutif et via la présidence du comité de pilotage de la série de conférences ACM CHI.

Nous accueillons régulièrement des chercheurs invites pour collaborer avec nous: Voici des exemples de visites récentes :

  • 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

L’équipe ICS gère le master en IHM de l’Université Toulouse III – Paul Sabatier créé en 2000 et co-accrédité avec l’ENAC.

Compétences

Interaction homme-machine
Ingénierie des systèmes interactifs
Systèmes interactifs critiques
Modélisation
Méthodes formelles
Vérification & Validation

personnel de l’équipe

Membres permanents
Membres non – permanents
Membres extérieur

publications de l’équipe

Articles dans des revues internationales
  • Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont, Dominique Méry, Philippe Palanque

    Formal domain-driven system development in Event-B: Application to interactive critical systems

    Journal of Systems Architecture, 2023, 135, pp.102798. ⟨10.1016/j.sysarc.2022.102798⟩

    Accès: https://inria.hal.science/hal-03904803

  • Sebastian S. Feger, Felix Ehrentraut, Christopher Katins, Philippe Palanque, Thomas Kosch

    HCI for general aviation: current state and research challenges

    Interactions, 2022, 29 (6), pp.60-65. ⟨10.1145/3564040⟩

    Accès: https://hal.science/hal-03855018

  • Célia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Sandra Steere

    Engineering Operations-based Training

    Proceedings of the ACM on Human-Computer Interaction , 2022, ACM Journals, 6 : EICS (Article 164), pp.1-25. ⟨10.1145/3534518⟩

    Accès: https://hal.science/hal-03703942

  • Marco Winckler, Philippe Palanque, Jean-Luc Hak, Eric Barboni, Olivier Nicolas, Laurent Goncalves

    Engineering Annotations: A Generic Framework For Gluing Design Artefacts in Models of Interactive Systems

    Proceedings of the ACM on Human-Computer Interaction , In press, Journal PACM EICS series, EICS 2022

    Accès: https://inria.hal.science/hal-03657095

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

    F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID

    Journal of Software: Evolution and Process, In press, ⟨10.1002/smr.2439⟩

    Accès: https://hal.science/hal-03617603

  • Alexandre Canny, Célia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Christine Gris

    Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool

    Proceedings of the ACM on Human-Computer Interaction , 2021, 5 (EICS, article 207), pp.1-30. ⟨10.1145/3461729⟩

    Accès: https://hal.science/hal-03376229

  • Mathias Funk, Rong-Hao Liang, Philippe Palanque, Jun Hu, Panos Markopoulos

    Designing and Engineering Interactive Computing Systems

    Proceedings of the ACM on Human-Computer Interaction , 2021, 5 (EICS, article 193), pp.1-4. ⟨10.1145/3457140⟩

    Accès: https://hal.science/hal-03376227

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

    On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications

    Interacting with Computers, 2021, ⟨10.1093/iwcomp/iwab016⟩

    Accès: https://inria.hal.science/hal-03224780

  • Giorgia Lallai, Giovanni Loi Zedda, Célia Martinie, Philippe Palanque, Mauro Pisano, Lucio Davide Spano

    Engineering Task-based Augmented Reality Guidance: Application to the Training of Aircraft Flight Procedures

    Interacting with Computers, 2021, pp.iwab007. ⟨10.1093/iwcomp/iwab007⟩

    Accès: https://hal.science/hal-03198857

  • David Navarre, Philippe Palanque, Sven Coppers, Kris Luyten, Davy Vanacken

    Model-based Engineering of Feedforward Usability Function for GUI Widgets

    Interacting with Computers, 2021, 33 (1), pp.73-91. ⟨10.1093/iwcomp/iwab014⟩

    Accès: https://hal.science/hal-03376225

  • 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
  • Sandra Steere, Eric Barboni, Célia Martinie, David Navarre, Philippe Palanque, Daniel Rodriguez-Hernando, Francesc Tinto

    Operator-centered and model-based design for critical HMIS

    3rd Ground-Based Space Facilities Symposium (GBSF 2022), Dec 2022, Marseille, France. pp.1-9

    Accès: https://hal.science/hal-03905124

  • Philippe Palanque

    User Tasks Description: a Retrospective, Recent Contributions and some Research Challenges @ RoCHI 2020

    17th International Conference on Human–Computer Interaction (RoCHI 2020), Oct 2022, Sibiu, Romania. pp.1-4, ⟨10.37789/rochi.2020.1.1.1⟩

    Accès: https://hal.science/hal-03857822

  • Célia Martinie, Philippe Palanque, Marco Winckler

    Usability and User Experience are not Enough: Gaps to Fill to Design for and Assess Well-Being and Engagement

    VIII Iberoamerican Conference on Human-Computer Interaction 2022, Oct 2022, La Havane, Cuba. pp.1-14

    Accès: https://inria.hal.science/hal-03811274

  • Jose Manuel Negrete Ramírez, Célia Martinie, Philippe Palanque, Yudith Cardinale

    A task-model based approach for detecting ADL-related anomalies

    10th International Workshop on e-Health Pervasive Wireless Applications and Service @ WiMob 2022, IEEE ComSoc, Oct 2022, Thessaloniki, Greece. pp.57-62, ⟨10.1109/WiMob55322.2022.9941688⟩

    Accès: https://hal.science/hal-03862889

  • Maxime Savary-Leblanc, Xavier Le Pallec, Philippe Palanque, Célia Martinie, Arnaud Blouin, Frédéric Jouault, Mickaël Clavreul, Thibault Raffaillac

    Mining human factors general trends from +100k UML class diagrams

    25th International Conference on Model Driven Engineering Languages and Systems (MODELS 2022), ACM SIGSOFT: Special Interest Group on Software Engineering; IEEE, Sep 2022, Montréal, Québec, Canada. pp.913-922, ⟨10.1145/3550356.3559098⟩

    Accès: https://hal.science/hal-03855035

  • 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.science/hal-03772286

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

    Engineering Annotations to Support Analytical Provenance in Visual Exploration Processes

    ICWE 2022 – 22nd International Conference of Web Engineering, Jul 2022, Bari, Italy. pp.1-16, ⟨10.1007/978-3-031-09917-5_14⟩

    Accès: https://hal.science/hal-03779349

  • Juan Enrique Garrido, Philippe Palanque, Aaron Quigley, Marco Winckler

    Engineering Awareness in Interfaces: Focus on Automation and Visualization

    14th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2022), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Jun 2022, Sophia Antipolis, France. pp.54-58, ⟨10.1145/3531706.3536453⟩

    Accès: https://hal.science/hal-03855027

  • Eva Geurts, Gustavo Rovelo Ruiz, Kris Luyten, Steven Houben, Benjamin Weyers, An Jacobs, Philippe Palanque

    HCI and worker well-being in manufacturing industry

    International Conference on Advanced Visual Interfaces (AVI 2022), Sapienza Università di Roma, Jun 2022, Frascati, Italy. pp.1-2, ⟨10.1145/3531073.3535257⟩

    Accès: https://hal.science/hal-03854927

  • Philippe Palanque

    How to Design and Assess Automation for Interactive Applications and Interaction Techniques (Extended Abstract)

    ACM Conference on Human Factors in Computing Systems (CHI 2022), ACM, May 2022, New Orleans, LA, United States. pp.1-3, ⟨10.1145/3491101.3503769⟩

    Accès: https://hal.science/hal-03855026

  • Conférences et workshops nationaux avec actes édités et comité de lecture
  • 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.science/hal-02875050

  • Conférences sans actes publiés
    Livres (monographies) Rédaction d’ouvrages de synthèse Contributions à des ouvrages de synthèse
    Thèses et habilitations
    Rapports Autres types de publications

    contrats de l’équipe

    AcronymeTitreResp. scDébut – fin
    TEAM-UP Ingénierie des systèmes interactifs intelligents d’entrainement Celia MARTINIE DE ALMEIDA
    2022 – 2026
    PIMI
    [Contrat terminé]
    autre Personal Information Management though Internet Andreas HERZIG
    Marco Antonio WINCKLER
    2010 – 2013
    AcronymeTitreResp. scDébut – fin
    Fly Higher
    [Contrat terminé]
    autre FLY HIGHER – Shaping the new evolving generation of aeronautic professionals Philippe PALANQUE
    2012 – 2014
    HALA
    [Contrat terminé]
    autre Higher Automation Levels in ATM PHD Effective automation in ATM Philippe PALANQUE
    2011 – 2016
    HALA
    [Contrat terminé]
    autre Higher Automations Levels in Air Traffic Management Philippe PALANQUE
    2010 – 2014
    AcronymeTitreResp. scDébut – fin
    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
    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 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
    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
    Mercredi 3 Mai 2017, 10h30
    Apport d’une conception centrée utilisateur adaptée selon les besoins des personnes en situation de handicap
    Damien SAUZIN – Equipe ELIPSE – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Mardi 21 Juillet 2015, 10h00
    Architecture logicielle générique et approche à base de modèles pour la sûreté de fonctionnement des systèmes interactifs critiques
    Camille FAYOLLAS – Equipe ICS – IRIT LAAS-CNRS, Toulouse
    #these
    Jeudi 7 Mai 2015, 10h00
    A multi-modelS based approach for the modelling and the analysis of usable and resilient partly autonomous interactive systems
    Martina RAGOSTA – Equipe ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Mercredi 17 Décembre 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 – Equipe ICS – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Lundi 26 Juin 2017 – Vendredi 30 Juin 2017
    École Jeunes Chercheurs en Programmation 2017 (EJCP 2017)
    INP-ENSEEIHT, Toulouse
    #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
    Samedi 26 Avril 2014 – Jeudi 1 Mai 2014
    CHI 2014 : 32nd ACM International Conference on Human Factors in Computing Systems
    Toronto (Canada)
    #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
    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
    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
    Jeudi 15 Mai 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
    #seminaire
    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
    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