Multi-models-based engineering of collaborative systems

Martinie, Célia; Barboni, Éric; Navarre, David; Palanque, Philippe; Fahssi, Racim; Poupart, Erwann; Cubero-Castan, Eliane

doi:10.1145/2607023.2607031

Cited by 19 publications

(3 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…CIRCUS has been used on multiple case studies including Air Trac Control workstations [55], large civil aircraft cockpit interactive applications [4] and satellite ground segments [55]. Each of these application domains brought specic concerns that resulted in extensions to both the notations and the tools.…”

Section: Resultsmentioning

confidence: 99%

Supporting the Analysis of Safety Critical User Interfaces

Campos

Fayollas

Harrison

et al. 2020

ACM Trans. Comput.-Hum. Interact.

Self Cite

View full text Add to dashboard Cite

Use error due to user interface design defects is a major concern in many safety critical domains, for example avionics and healthcare. Early detection of latent user interface problems can be facilitated by user centered design methods that integrate formal verication technologies. This paper considers the role that formal verication technologies can play in the context of user centered design by considering three existing tools: CIRCUS, PVSio-web, and IVY. These tools have been developed to support the model based analysis of critical user interfaces. They have their foundations in existing formal verication technologies, but each of them is focused towards particular issues relating to user interface design. The paper explores the dierent phases of the user centered design process and the extent to which each of these tools supports these phases. Criteria are developed for assessing their role at each stage of the design process. The results of the evaluation provide guidance to developers to help choose the most appropriate tool based on their analysis needs while at the same time setting challenges for future developments. CCS Concepts: • Software and its engineering ! Integrated and visual development environments.

show abstract

Section: Resultsmentioning

confidence: 99%

Supporting the Analysis of Safety Critical User Interfaces

Campos

Fayollas

Harrison

et al. 2020

ACM Trans. Comput.-Hum. Interact.

Self Cite

View full text Add to dashboard Cite

show abstract

“…Tasks of the EXEC ATCo are described using the HAMSTERS notation [9] and [4] (see Figure 5). The notation presented in [7] explicitly supports collaborative activities among users but this is not exploited here as we focus only on the work of the PLAN ATCo. This notation can also be used not only to describe nominal activities of operators but also the errors they may perform and the activities necessary to recover from them [3].…”

Section: Air-traffic Controller Tasksmentioning

confidence: 99%

AMAN Case Study

Palanque

Campos

2023

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

This document presents the case study for ABZ 2023 conference. The case study introduces a safety critical interactive system called AMAN (Arrival MANager) which is a partly-autonomous scheduler of landing sequences of aircraft in airports. This interactive systems interleaves Air Traffic Controllers activities with automation in AMAN. While some AMAN systems are currently deployed in airports, we consider here only a subset of functions which represent a challenge in modelling and verification.

show abstract

“…Only the single user high-level task types are presented here but they can be further refined. For instance the cognitive tasks can be refined in Analysis and Decision tasks [12] and collaborative activities can be refined in several task types [10].…”

Section: Hamsters Notationmentioning

confidence: 99%

Accounting for Organisational faults in Task Model Based Systematic Analysis of System Failures and Human Errors

Fayollas,

Martinie,

Palanque

et al. 2015

Schriften Aus Der Fakultät Wirtschaftsinformatik Und Angewandte Informatik Der Otto-Friedrich-Universität Bamberg

View full text Add to dashboard Cite

The overall dependability of an interactive system is the one of its weakest component which is usually its user interface. The presented approach integrates techniques from the dependable computing field and elements of usercentred design to provide a wider coverage of possible faults. Risk analysis and fault tolerance techniques are used in combination with task analysis and modelling to describe and analyse the impact of system faults on human activities and the impact of human deviation or errors on system performance and overall mission performance. A technique for systematic analysis of human errors, effects and criticality is proposed (HEECA). It is inspired and adapted from the Failure Mode, Effects and Criticality Analysis (FMECA) technique. The key points of the approach are: a) the HEECA technique combining a systematic analysis of the effects of system faults and of human errors, b) a task modelling notation to describe and to assess the impact of system faults and human errors on operators' activities and system performance. These key points are illustrated on an example extracted from a case study of the space domain. It demonstrates the feasibility of this approach as well as its benefits in terms of identifying opportunities for re-designing the system, re-designing the operations and for modifying operators' training. Lastly, a discussion presents the main challenges for also taking into account organisational faults in an integrated way with the proposed approach.

show abstract

Multi-models-based engineering of collaborative systems

Cited by 19 publications

References 29 publications

Supporting the Analysis of Safety Critical User Interfaces

Supporting the Analysis of Safety Critical User Interfaces

AMAN Case Study

Accounting for Organisational faults in Task Model Based Systematic Analysis of System Failures and Human Errors

Contact Info

Product

Resources

About