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:
- Cockpits interactifs, et en particulier conformes au standard ARINC 661
- Projets FENICS, IKKY-MAGIC and IKKY-MATRHICS avec Airbus (CORAC)
- Segments sols, systèmes de commande et contrôle pour différents types de satellites
- Projets TORTUGA, MARRACCASS, ALDABRA, GEN-ISIS, IMAGES, PAQUITO avec le CNES
- Projet IFA avec l’ESA
- Participation à la rédaction du Handbook on Human Dependability avec l’ESA
- Contrôle de trafic aérien
- Systèmes de commande et contrôle de drones
- Projet INTUITION avec la DGA
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
personnel de l’équipe
- Celia MARTINIE DE ALMEIDAMaître de Conférences (HDR) – UT3
- David NAVARREMaître de Conférences – UT Capitole
- Philippe PALANQUEProfesseur – UT3
- Eric BARBONIChercheur Contractuel – UT3
- Axel CARAYONDoctorant – UT3
- Galilée MASON BACQUIÉStagiaire M1 – UT3
- Guillaume POTTIERIngénieur d’Etudes – RUWIDO
- Daniel RODRIGUEZ HERNANDOStagiaire M2 – UT3
- Juan GARRIDO-NAVARROEnseignant-chercheur Invité – .Université de Lleida, Espagne
- Marco Antonio WINCKLEREnseignant-chercheur Associé – Université Côté d’Azur
publications de l’équipe
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⟩
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⟩
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⟩
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
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
Renaud Blanch, Michel Beaudouin-Lafon, Stéphane Conversy, Y. Jestin, Thomas Baudel
Concevoir des applications graphiques interactives distribuées avec INDIGO
Dans : Revue d’Interaction Homme-Machine, Europia productions, Paris, Vol. 7, N. 2, p. 247-274, 2006.
Sven Casteleyn, Gustavo Rossi, Marco Antonio Winckler
Engineering the Web for Users, Developers and the Crowd
Dans : Journal of Web Engineering, Rinton Press, Vol. 5&6 N. 14, novembre 2015.
Accès : http://www.rintonpress.com/journals/jweonline.html#v14n56
BibTeXMaría D. Lozano Lozano, José Gallud, Philippe Palanque
Mobile Context-Aware Applications for Ubiquitous Computing
Dans : Journal of Universal Computer Science, John Wiley and Sons, Vol. 16 N. 15, juillet 2010.
Accès : http://www.jucs.org/jucs_16_15/mobile_context_aware_applications/abstract.html
BibTeX
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
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⟩
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
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
Engineering Interaction Techniques in the Context of Critical Systems: are Usability and User Experience more important than Dependability and Safety as claimed by the HCI community?
Dans : 7th Indian Conference on Human-Computer Interaction (INDIA HCI 2015), Mumbay, 17/12/15-20/12/15.
Philippe Palanque, Racim Mehdi Fahssi, Celia Martinie De Almeida, Marco Antonio Winckler, Michel Galindo
Retour d’expérience sur l’enseignement de la modélisation des taches au Master Interaction Homme-Machine de Toulouse
Dans : GT Modèles de Tâches – IHM 2015, Toulouse, 27/10/15-30/10/15.
Celia Martinie De Almeida, Philippe Palanque
Modeling and Analysis of Human Error Based on Tasks Descriptions: Connecting Research Knowledge with Practice
Dans : Human Dependability Workshop (HUDEP 2015), ESA/ESOC, Darmstadt, Germany, 06/10/15-07/10/15.
From Safety Indicators to Measuring Risk:the RiskGuided Transport Safety Agency
Dans : HCI Aero 2014 (Industrial track), Santa Clara, 30/07/14-01/08/14.
Accès : http://www.trafi.fi/filebank/a/1434456797/19018fa995da55930a03c3af8bc4f1ed/17872-Nisula_From_Safety_Indicators_to_Measuring_Risk.pdf
BibTeXJean-Paul Blanquart, Christel Seguin, Philippe Palanque
System Level Integrated Failure Analysis
Dans : HUDEP, Oberpfaffenhofen, 13/11/13-14/11/13.
Accès : http://www.congrexprojects.com/2013-events/13m19/hudep-2013
BibTeXCelia Martinie De Almeida, Philippe Palanque
Predicting and Mitigating Human Error Through Detailed Descriptions of Operators’ Tasks
Dans : HUDEP, Oberpfaffenhofen, Allemagne, 13/11/13-14/11/13.
Accès : http://www.congrexprojects.com/2013-events/13m19/hudep-2013
BibTeXThe Need for Synchronous Communication to Enhance Collaboration and Cooperation between Industry and Academia
Dans : Workshop on Education and Training of Engineers and Researchers in Aeronautics, “Bridging the gap between policy, industry and academia” in conjunction with the ATM World Congress, Barcelone, 14/02/13-14/02/13 (conférencier invité).
Marco Antonio Winckler, Philippe Palanque, David Navarre
Challenges for Master Programs on Human-Computer Interaction (HCI): experience report of the M2IHM
Dans : Workshop on HCI: Web and Graphics Curricula at WWW 2012, Lyon, France, 16/04/12-16/04/12.
Accès : http://www.lirmm.fr/nuance/Papers/HWG_002.pdf
BibTeXPhilippe Palanque, Cédric Bach, Celia Martinie De Almeida, Marco Antonio Winckler
Pourquoi et comment exploiter la modélisation des tâches opérateurs dans les systèmes critiques: Application à la déclaration dincidents et à lopération des systèmes de commande et contrôles
Dans : Journée scientifique RTRA – FHAE (Facteurs Humains pour la Sécurité Aéronautique), Toulouse, 13/03/12-13/03/12.
Celia Martinie De Almeida, Philippe Palanque
A Multi-Models Based Development Process for Critical Interactive Systems Integrating Formal and Informal Approaches
Dans : IFIP WG 2.7/13.4 Workshop on Combining Models and Design for interactive systems (ComDeisMoto 2011), Lisbonne, Portugal, 06/09/11-06/09/11.
Game User Experience Evaluation, Springer, juillet 2015.
Arnaud Hamon, Eric Barboni, Philippe Palanque, Raphaël André
A Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions, CEUR-WS : Workshop proceedings, Vol. 1190, juillet 2014.
User Experience Evaluation for Games and Entertainment, 2nd Edition., Springer, HumanComputer Interaction Series, 2, juillet 2014.
Evaluating User Experience in Games: Concepts and Methods
, Springer, Human Computer Interaction Series, juin 2010.
Celia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler
Designing and Assessing Interactive Systems Using Task Models
Dans : Book of Tutorials of the 14th Brazilian Symposium on Human Factors in Computing Systems. Arthur Kronbauer, Ecivaldo Mattos, Andreia Libório Sampaio, Clodis Boscarioli (Eds.) , Brazilian Computing Society, 2, p. 29-58, novembre 2015.
Michael Lankes, Regina Bernhaupt, Manfred Tscheligi
Evaluating User Experience Factors using Experiments: Expressive Artificial Faces Embedded in Contexts
Dans : Game User Experience Evaluation. Regina Bernhaupt (Eds.) , Springer, p. 113-133, juillet 2015.
User Experience Evaluation Methods in the Games Development Life Cycle
Dans : Game User Experience Evaluation. Regina Bernhaupt (Eds.) , Springer, p. 1-9, juillet 2015.
Marco Antonio Winckler, Philippe Palanque
Models as Representations for Supporting the Development of e-Procedures
Dans : Models as Representations for Supporting the Development of e-Procedures. Elizabeth Buie, Dianne Murray (Eds.) , Morgan Kaufmann Publishers, 19, p. 301-315, juillet 2012.
Accès : http://store.elsevier.com/Usability-in-Government-Systems/isbn-9780123910639/
BibTeXPhilippe Palanque, Marco Antonio Winckler, Celia Martinie De Almeida
A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces
Dans : Model-Driven Development of Advanced User Interfaces. Heinrich Hussmann, Gerrit Meixner, Detlef Zuehlke (Eds.) , Springer, p. 143-170, Vol. Vol. 340, Studies in Computational Intelligence, 2011.
Accès : http://www.springer.com/computer/swe/book/978-3-642-14561-2
BibTeXAstrid Weiss, Regina Bernhaupt, Manfred Tscheligi
The USUS Evaluation Framework for user-centered HRI
Dans : New Frontiers in Human-Robot Interaction. Kerstin Dautenham (Eds.) , John Benjamins Publishing Company, p. 125-147, 2011.
Engineering Interactive Systems across application domains
Habilitation à diriger des recherches, Université Paul Sabatier, juillet 2016.
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.
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.
Définition d’un language et d’une méthode pour la description et la spécification d’IHM post-W.I.M.P. pour les cockpits interactifs
Thèse de doctorat, Université Paul Sabatier, décembre 2014.
Résumé Accès : http://www.irit.fr/publis/ELIPSE/PhDs/These_Hamon.pdf
BibTeXApports d’un concept de continuité pour l’architecture graphique de l’interface utilisateur des systèmes interactifs complexes
Thèse de doctorat, Université Paul Sabatier, 2014.
Interaction et Visualisation avec des liens de dépendances
Thèse de doctorat, Université de Toulouse, septembre 2013.
Contributions to the science of controlled transformation
Habilitation à diriger des recherches, Université Paul Sabatier, juin 2013.
Résumé Accès : http://tel.archives-ouvertes.fr/docs/00/85/31/92/PDF/conversy-hdr-full.pdf
BibTeXUn enfoque para soporte de tareas de usuario mediante adaptación en el cliente Web
Thèse de doctorat, Universidad Nacional de La Plata, avril 2013.
Résumé Accès : http://sedici.unlp.edu.ar/bitstream/handle/10915/26424/Documento_completo.pdf?sequence=3
BibTeXModel-based Engineering of Animated Interactive Systems for the Interactive Television environment
Thèse de doctorat, Université Paul Sabatier, décembre 2012.
Résumé Accès : http://thesesups.ups-tlse.fr/1927/1/2012TOU30299.pdf
BibTeXConception (instrumentée), réalisation et optimisation de graphismes interactifs
Thèse de doctorat, Université Paul Sabatier, septembre 2011.
Résumé Accès : http://thesesups.ups-tlse.fr/1379/1/2011TOU30174.pdf
BibTeX
Jean-Leon Bouraoui, Nadine Vigouroux, Gwenael Bothorel
Multi-layer annotation of an apprenticeship corpus: usefulness for controllers-pilots
Rapport de recherche, Note Interne CENA/NR04-627, CENA, Toulouse, février 2004.
Loïc Dourmap, Gwenael Bothorel, Philippe Truillet
Génération automatique de deux modèles de grammaire pour la reconnaissance d’indicatifs
Rapport de recherche, Note Interne CENA/NT03-513, CENA, Toulouse, février 2003.
Celia Martinie De Almeida, Philippe Palanque, José Luis Silva, David Navarre
Properties verification of interactive systems by tool-supported analysis of its formal specification
Diffusion scientifique. avril 2013.
Accès : http://www.irit.fr/~Celia.Martinie-De-Almeida/Technical_report_on_properties_verification_April_2013.pdf
BibTeXRegina Bernhaupt, Katherine Isbister
Community Proposal for CHI 2011/2012: Entertainment & Games
Diffusion scientifique. 2010.
Accès : http://chi2011.org/communities/games/index.html
BibTeXMichael Harrison, Philippe Palanque, David Navarre
The future of Design Specification and Verification of Safety Critical Interactive Systems. Can our systems be SURE (Safe, Usable, Reliable and Evolvable)?
Tutoriel. 2010. ACM SIGCHI Conference on Human Factors for Computing Systems (CHI 2010)
Sylvie Athènes, Philippe Truillet, Jean-François Camps, Jean-Luc Vinot
Aides Informatiques pour les Elèves Dyslexiques au Collège : Recherche et Evaluation
Présentation orale. février 2006. Réunion thématique « L’écriture » – IFR 96 Sciences du Cerveau, Hôpital Purpan, Toulouse
Eric Barboni, David Navarre, Philippe Palanque, Didier Bazalgette
PetShop : A Model-Based Tool for the Formal Modelling and Simulation of Interactive Safety Critical Embedded Systems. . Proceedings of HCI aero conference (Demonstration) (HCI Aero 2006), Seatle, USA, Sept. 2006.
septembre 2006.
A multi-perspective approach for the design of error-tolerant socio-technical safety-critical interactive systems.
Présentation orale. 2006.
Une approche multi perspective pour la conception de systèmes interactifs critiques
Présentation orale. 2006.
contrats de l’équipe
| Acronyme | Titre | Resp. sc | Début – fin | |
|---|---|---|---|---|
| TEAM-UP | Ingénierie des systèmes interactifs intelligents d’entrainement | Celia MARTINIE DE ALMEIDA | 2022 – 2026 | |
| PIMI [Contrat terminé] |  | Personal Information Management though Internet | Andreas HERZIG Marco Antonio WINCKLER | 2010 – 2013 |
| Acronyme | Titre | Resp. sc | Début – fin | |
|---|---|---|---|---|
| Fly Higher [Contrat terminé] | | FLY HIGHER – Shaping the new evolving generation of aeronautic professionals | Philippe PALANQUE | 2012 – 2014 |
| HALA [Contrat terminé] | | Higher Automation Levels in ATM PHD Effective automation in ATM | Philippe PALANQUE | 2011 – 2016 |
| HALA [Contrat terminé] | | Higher Automations Levels in Air Traffic Management | Philippe PALANQUE | 2010 – 2014 |
| Acronyme | Titre | Resp. sc | Début – fin |
|---|