A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems

Navarre, David; Palanque, Philippe; Basnyat, Sandra

doi:10.1007/978-3-540-87698-4_31

Cited by 38 publications

(20 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Lastly, the requirements for dependability of the interactive cockpits require taking into account possible failures of hardware and software calling for reconfiguration mechanisms (of the interactive system -moving required information from a faulty display to functioning one). The same holds for interaction technique reconfiguration in case of input devices failures (Navarre et al 2008).…”

Section: Connection With Formal Methodsmentioning

confidence: 75%

Case Studies

Weyers¹,

Harrison²,

Bowen³

et al. 2017

Human–Computer Interaction Series

Self Cite

View full text Add to dashboard Cite

This chapter introduces a set of case studies that are used in the rest of the book. They encompass well known problem domains in Human-Computer Interaction research and provide a practical focus for the approaches presented in this book. The set of case studies includes case studies concerned with: the controller interface to a (semi-automated) nuclear power plant; a partly-autonomous arrival management interactive system in the domain of air-traffic control; a user interface for new interactive cockpits and an interactive system used in rural and urban areas to maintain wind turbines. The final case study brings an interesting perspective for formal techniques, namely interactive public displays.

show abstract

Section: Connection With Formal Methodsmentioning

confidence: 75%

Case Studies

Weyers¹,

Harrison²,

Bowen³

et al. 2017

Human–Computer Interaction Series

Self Cite

View full text Add to dashboard Cite

show abstract

“…Lastly, variability and resonance can also occur through system failure occurs or operators errors. We aim at integrating previous work we have done in the area of systems reconfiguration [16] and systematic account for human error using task models [17] to address variability for all the components of the socio-technical system.…”

Section: Resultsmentioning

confidence: 99%

Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study

Martinie

Palanque

Ragosta

et al. 2013

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…In the context of airplane control, for example, interface reconfiguration can be found in the literature [9,10]. The approach described is to observe people in safety critical situations using initial interfaces and derive helpful changes supporting better interaction.…”

Section: Recent Workmentioning

confidence: 99%