Head : Celia MARTINIE DE ALMEIDA
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:
- Interactive cockpits, especially new interactive applications compliant with ARINC 661 specification standard
- Projects FENICS, IKKY-MAGIC and IKKY-MATRHICS with Airbus (CORAC)
- Satellite ground segments, command and control systems for various types of satellites
- Projects TORTUGA, MARRACCASS, ALDABRA, GEN-ISIS, IMAGES, PAQUITO with CNES
- Project IFA with ESA
- Production of the Handbook on Human Dependability with ESA
- Air Traffic Management
- UAVs command and control systems
- Project INTUITION with DGA
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.
skills
team Members
- Camille FAYOLLASAssociate Professor – UT Capitole
- Celia MARTINIE DE ALMEIDAAssociate Professor (HDR) – UT3
- David NAVARREAssociate Professor – UT Capitole
- Philippe PALANQUEProfessor – UT3
- Eric BARBONIContractual Researcher – UT3
- Axel CARAYONPhD Student – UT3
- Guillaume POTTIERDevelopment Engineer – RUWIDO
- Daniel RODRIGUEZ HERNANDOIntern M2 – UT3
- Juan GARRIDO-NAVARROTeacher-researcher Invité – .Université de Lleida, Espagne
- Marco Antonio WINCKLERAssociate teacher-researcher – Université Côté d’Azur
team publications
Carayon Axel, Juan Garrido, Célia Martinie, Philippe Palanque, Eric Barboni, María Dolores Lozano, Víctor Penichet
Engineering Rehabilitation: Blending Two Tool-supported Approaches to Close the Loop from Tasks-based Rehabilitation to Exercises and Back Again
Proceedings of the ACM on Human-Computer Interaction , 2023, 7: EICS (Article 177), pp.1-23. ⟨10.1145/3593229⟩
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⟩
Renaud Blanch, Michel Beaudouin-Lafon, Stéphane Conversy, Y. Jestin, Thomas Baudel
Concevoir des applications graphiques interactives distribuées avec INDIGO
In : Revue d’Interaction Homme-Machine, Europia productions, Paris, Vol. 7, N. 2, pp. 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.
URL : 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.
URL : http://www.jucs.org/jucs_16_15/mobile_context_aware_applications/abstract.html
BibTeX
Axel Carayon, Célia Martinie, Philippe Palanque
I Perform My Work with My Body Too: Integrating Body Representations in and with Task Models
19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023), International Federation for Information Processing (IFIP) Technical Committee on Human–Computer Interaction (IFIP TC13), Aug 2023, York, United Kingdom. pp.482-503, ⟨10.1007/978-3-031-42283-6_26⟩
Jose Manuel Negrete Ramírez, Célia Martinie, Philippe Palanque, Yudith Cardinale
ADL Monitoring of Elderly People in Smart Homes Based on Task Models
Workshop @ 19th International Conference on Intelligent Environments (IE 2023), Jun 2023, Mauritius, Mauritius. pp.216 – 225, ⟨10.3233/AISE230034⟩
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⟩
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?
In : 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
In : 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
In : 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
In : HCI Aero 2014 (Industrial track), Santa Clara, 30/07/14-01/08/14.
URL : 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
In : HUDEP, Oberpfaffenhofen, 13/11/13-14/11/13.
URL : 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
In : HUDEP, Oberpfaffenhofen, Allemagne, 13/11/13-14/11/13.
URL : http://www.congrexprojects.com/2013-events/13m19/hudep-2013
BibTeXThe Need for Synchronous Communication to Enhance Collaboration and Cooperation between Industry and Academia
In : 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 (invited speaker).
Marco Antonio Winckler, Philippe Palanque, David Navarre
Challenges for Master Programs on Human-Computer Interaction (HCI): experience report of the M2IHM
In : Workshop on HCI: Web and Graphics Curricula at WWW 2012, Lyon, France, 16/04/12-16/04/12.
Philippe 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
In : 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
In : 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.
Célia Martinie, Philippe Palanque, Eric Barboni
Principles of Task Analysis and Modeling: Understanding Activity, Modeling Tasks, and Analyzing Models
Jean Vanderdonckt; Philippe Palanque; Marco Winckler. Handbook of Human Computer Interaction, Springer International Publishing, pp.1-40, 2022, 978-3-319-27648-9. ⟨10.1007/978-3-319-27648-9_57-1⟩
Elodie Bouzekri, Célia Martinie, Philippe Palanque, Erwann Poupart, Sandra Steere
UX for Some and Usability for Others: Issues of Blending Multi-user and Multi-property in Control Centers
Sense, Feel, Design : INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers, 13198, Springer International Publishing, pp.357-367, 2022, Lecture Notes in Computer Science book series (LNCS), 978-3-030-98387-1. ⟨10.1007/978-3-030-98388-8_31⟩
Célia Martinie, Philippe Palanque, Sandra Steere, David Navarre, Eric Barboni
A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms
Carmelo Ardito; Rosa Lanzilotti; Alessio Malizia; Marta Larusdottir; Lucio Davide Spano. Sense, Feel, Design: INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers, 13198, Springer International Publishing, pp.290-301, 2022, Lecture Notes in Computer Science book series (LNCS), 978-3-030-98387-1. ⟨10.1007/978-3-030-98388-8_26⟩
Sybille Caffiau, José Campos, Célia Martinie, Laurence Nigay, Philippe Palanque, Lucio Davide Spano
Teaching HCI Engineering: Four Case Studies
Sense, Feel, Design : INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers, 13198, Springer International Publishing, pp.195-210, 2022, Lecture Notes in Computer Science book series (LNCS), 978-3-030-98387-1. ⟨10.1007/978-3-030-98388-8_18⟩
Elodie Bouzekri, Célia Martinie, Philippe Palanque
A-RCRAFT Framework for Analysing Automation: Application to SAE J3016 Levels of Driving Automation
Cristina Olaverri-Monreal, Fernando García-Fernández, Rosaldo J. F. Rossetti. Human Factors in Intelligent Vehicles, River Publishers, 2020, 9788770222037
Philippe Palanque, Andy Cockburn, Carl Gutwin
A Classification of Faults Covering the Human-Computer Interaction Loop
Computer Safety, Reliability, and Security 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings, 12234, , pp.434-448, 2020, Lecture Notes in Computer Science book series (LNCS), ⟨10.1007/978-3-030-54549-9_29⟩
José Abdelnour Nocera, Antigoni Parmaxi, Marco Winckler, Fernando Loizides, Carmelo Ardito, Ganesh Bhutkar, Peter Dannenmann
Beyond Interactions
Springer, 11930, 2020, Lecture Notes in Computer Science book series (LNCS), ⟨10.1007/978-3-030-46540-7⟩
Célia Martinie, Philippe Palanque, Fayollas Camille
Performance Evaluation of Interactive Systems with Interactive Cooperative Objects Models
Antti Oulasvirta, Per Ola Kristensson, Xiaojun Bi, Andrew Howes. Computational Interaction, Oxford University Press, 2018, 9780198799610
Judy Bowen, Alan Dix, Philippe Palanque, Benjamin Weyers
Topics of Formal Methods in HCI
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.57–64, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_2⟩
Pedro Valente, Thiago Rocha Silva, Marco Winckler, Nuno Nunes
The Goals Approach: Agile Enterprise Driven Software Development
Jerzy Goluchowski; Malgorzata Pankowska; Henry Linger; Chris Barry; Michael Lang; Christoph Schneider. Complexity in Information Systems Development: Proceedings of the 25th International Conference on Information Systems Development (ISD 2016), 22, Springer International Publishing, pp.201–219, 2017, Lecture Notes in Information Systems and Organisation book series (LNISO), 978-3-319-52592-1. ⟨10.1007/978-3-319-52593-8_13⟩
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
Automatique. Université Paul Sabatier – Toulouse III, 2021. Français. ⟨NNT : 2021TOU30003⟩
Model-Based Engineering of Critical Large Scale Socio-Technical Systems: Contributions and Future Directions
Human-Computer Interaction [cs.HC]. Université Paul Sabatier (Toulouse 3), 2020
Engineering annotations for supporting the design process of interactive systems: A model-based approach and a tool suite
Computer Science [cs]. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2019. English. ⟨NNT : ⟩
Engineering annotations for supporting the design process of interactive systems : a model based approach and a tool suite
Networking and Internet Architecture [cs.NI]. Université Paul Sabatier – Toulouse III, 2019. English. ⟨NNT : 2019TOU30062⟩
Identification systématique et représentation des erreurs humaines dans les modèles de tâches
Interface homme-machine [cs.HC]. Université Paul Sabatier – Toulouse III, 2018. Français. ⟨NNT : 2018TOU30304⟩
A behavior-driven approach for specifying and testing user requirements in interactive systems
Artificial Intelligence [cs.AI]. Université Paul Sabatier – Toulouse III, 2018. English. ⟨NNT : 2018TOU30075⟩
A risk management framework for a complex adaptive transport system
Multiagent Systems [cs.MA]. Université Paul Sabatier – Toulouse III, 2018. English. ⟨NNT : 2018TOU30041⟩
Une ingénierie participative des exigences pour les systèmes interactifs complexes en aéronautique
Réseaux et télécommunications [cs.NI]. Université Paul Sabatier – Toulouse III, 2017. Français. ⟨NNT : 2017TOU30321⟩
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
Interface homme-machine [cs.HC]. Université Paul Sabatier – Toulouse III, 2017. Français. ⟨NNT : 2017TOU30247⟩
Engineering Interactive Systems across application domains
HDR, Université Paul Sabatier, July 2016.
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.
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.
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
Master’s Thesis, Université Paul Sabatier, December 2014.
Abstract URL : 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
Master’s Thesis, Université Paul Sabatier, 2014.
Interaction et Visualisation avec des liens de dépendances
Master’s Thesis, Université de Toulouse, September 2013.
Contributions to the science of controlled transformation
HDR, Université Paul Sabatier, June 2013.
Abstract URL : 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
Master’s Thesis, Universidad Nacional de La Plata, April 2013.
Abstract URL : 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
Master’s Thesis, Université Paul Sabatier, December 2012.
Abstract URL : http://thesesups.ups-tlse.fr/1927/1/2012TOU30299.pdf
BibTeXConception (instrumentée), réalisation et optimisation de graphismes interactifs
Master’s Thesis, Université Paul Sabatier, September 2011.
Abstract URL : 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
Research report, Note Interne CENA/NR04-627, CENA, Toulouse, February 2004.
Loïc Dourmap, Gwenael Bothorel, Philippe Truillet
Génération automatique de deux modèles de grammaire pour la reconnaissance d’indicatifs
Research report, Note Interne CENA/NT03-513, CENA, Toulouse, February 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. April 2013.
URL : 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.
URL : 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. February 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.
September 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.
team Contracts
| 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 [Contract completed] |  | Personal Information Management though Internet | Andreas HERZIG Marco Antonio WINCKLER | 2010 – 2013 |
| Acronyme | Titre | Resp. sc | Début – fin | |
|---|---|---|---|---|
| Fly Higher [Contract completed] | | FLY HIGHER – Shaping the new evolving generation of aeronautic professionals | Philippe PALANQUE | 2012 – 2014 |
| HALA [Contract completed] | | Higher Automation Levels in ATM PHD Effective automation in ATM | Philippe PALANQUE | 2011 – 2016 |
| HALA [Contract completed] | | Higher Automations Levels in Air Traffic Management | Philippe PALANQUE | 2010 – 2014 |
| Acronyme | Titre | Resp. sc | Début – fin |
|---|