Výsledky vyhledávání - "Fayollas, Camille"

Dissertation/ Thesis

Architecture logicielle générique et approche à base de modèles pour la sûreté de fonctionnement des systèmes interactifs critiques

Autor: Fayollas, Camille

Depuis l'introduction au début des années 2000 du standard ARINC 661 (définissant les interfaces graphiques dans les cockpits), les avions modernes, tels que l'A380, l'A350 ou le B787, intègrent des systèmes interactifs permettant à l'équipage

Externí odkaz: http://www.theses.fr/2015TOU30114/document

Zobrazit plný text záznamu

Report

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

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

Publikováno v: EPTCS 240, 2017, pp. 1-19

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: http://arxiv.org/abs/1701.08465

Zobrazit plný text záznamu

Elektronická kniha

Performance Evaluation of Interactive Systems with Interactive Cooperative Objects Models

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

Publikováno v: Computational Interaction, 2018, ill.

Externí odkaz: https://doi.org/10.1093/oso/9780198799603.003.0010

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems

Autor: Fayollas, Camille, Martinie De Almeida, Célia, Palanque, Philippe, Barboni, Eric, Deleris, Yannick

Publikováno v: Proceedings of the Workshop on Engineering Computer-Human Interaction in Recommender Systems co-located with the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2016)
Workshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS 2016)
Workshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS 2016), Jun 2016, Bruxelles, Belgium. pp.14-25

International audience; Human-Automation Design main target is to design systems in such a way that the couple system operator performs as efficiently as possible. Means for such designs include identifying functions (on the system side) and tasks(on

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

Zobrazit plný text záznamu

Task Models for Supporting Function Allocation between Operators and Autonomous Systems: Application to Collision Avoidance Operations for Spacecraft

Autor: Fayollas, Camille, Martinie De Almeida, Célia, Palanque, Philippe, Fahssi, Racim Mehdi

This position paper advocates that enhanced tasks description techniques can support the design of collaborative systems by supporting function allocation. This support can be useful for allocating functions between operators but also for migrating f

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3c03367cb03cd1263f238982dd913581
https://oatao.univ-toulouse.fr/24684/

Zobrazit plný text záznamu

Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification

Autor: Silva, José-Luis, Fayollas, Camille, Hamon, Arnaud, Palanque, Philippe, Martiinie, Célia, Barboni, Eric

While designing interactive software, the use of a formal specification technique is of great help by providing non-ambiguous, complete and concise descriptions. The advantages of using such a formalism is widened if it is provided by formal analysis

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f6d597979cf48dd2be119f57a05cb9b

Zobrazit plný text záznamu

A Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive Systems

Autor: Fayollas Camille, Palanque, P., Jean Charles Fabre, David Navarre, Deleris, Y., Hamon, A.

Publikováno v: ERTS 2014 proceedings
Conference Embedded Real Time Software and Systems (ERTS 2014)
Conference Embedded Real Time Software and Systems (ERTS 2014), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies., Feb 2014, Toulouse, France
HAL

International audience; Most of the work that has been done to build reliable interactive systems has been focusing on avoiding the occurrence of faults during the development of the system, using for instance formal verification techniques. However,

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

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání