Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web

Autor: Camille Fayollas, Célia Martinie, Philippe Palanque, Paolo Masci, Michael D. Harrison, José C. Campos, Saulo Rodrigues e Silva

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 240, Iss Proc. F-IDE 2016, Pp 1-19 (2017)

Critical human-machine interfaces are present in many systems including avionics systems and medical devices. Use error is a concern in these systems both in terms of hardware panels and input devices, and the software that drives the interfaces. Gua

Externí odkaz: https://doaj.org/article/d342997ca0fc44f79ab0566568a69d08

Supporting the Analysis of Safety Critical User Interfaces

Autor: Campos, José Creissac, Camille, Fayollas, Harrison, Michael, Martinie, Célia, Masci, Paolo, Palanque, Philippe

Publikováno v: ACM Transactions on Computer-Human Interaction
ACM Transactions on Computer-Human Interaction, Association for Computing Machinery, 2020, 27 (5), pp.1-48. ⟨10.1145/3404199⟩

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fbee8545057b6889d7c62e38517080e7
https://hal.archives-ouvertes.fr/hal-02931903

Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems

Autor: Christine Gris, Alexandre Canny, Camille Fayollas, Célia Martinie, Yannick Deleris, Philippe Palanque, David Navarre

Publikováno v: iThings/GreenCom/CPSCom/SmartData
2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData)
12th IEEE International Conference on Cyber Physical and Social Computing (CPSCom-2019)
12th IEEE International Conference on Cyber Physical and Social Computing (CPSCom-2019), Jul 2019, Atlanta, United States. pp.0, ⟨10.1109/iThings/GreenCom/CPSCom/SmartData.2019.00132⟩

International audience; Cyber-physical systems (CPS) integrate both physical and computational elements and their engineering requires bridging the continuous analog real world and the discrete digital world. User interfaces of cyber-physical systems

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1efd586f06c39f2222e527d7e42c99b9
https://doi.org/10.1109/ithings/greencom/cpscom/smartdata.2019.00132

Automation

Autor: Camille Fayollas, Philippe Palanque, Célia Martinie

Publikováno v: CHI Extended Abstracts

This course takes a practical approach to introduce the principles, methods and tools in task modeling and how this technique can support identification of automation opportunities, dangers and limitations. A technical interactive hands-on exercise o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ad34fe8f0171ccd73380c390b1927965
https://doi.org/10.1145/3170427.3170652

QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems

Autor: Camille Fayollas, Philippe Palanque, Yamine Ait-Ameur, Formedicis, Célia Martinie

Publikováno v: Lecture Notes in Computer Science
16th IFIP Conference on Human-Computer Interaction (INTERACT)
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.91-105, ⟨10.1007/978-3-319-92081-8_9⟩
Global Thoughts, Local Designs ISBN: 9783319920801
INTERACT Workshops

Part 3: Dealing with Conflicting User Interface Properties in User-Centered Development Processes; International audience; This paper presents a notation called QBP (Question, Behavior, Property) to represent software and system properties and their

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::db3da66872fbec5b86889006f011423a
https://hal.inria.fr/hal-01821411/file/468709_1_En_9_Chapter.pdf