Using formal verification to evaluate human-automation interaction: A review
Failures in complex systems controlled by human operators can be difficult to anticipate
because of unexpected interactions between the elements that compose the system …
because of unexpected interactions between the elements that compose the system …
A unifying reference framework for multi-target user interfaces
This paper describes a framework that serves as a reference for classifying user interfaces
supporting multiple targets, or multiple contexts of use in the field of context-aware …
supporting multiple targets, or multiple contexts of use in the field of context-aware …
Structuring and composition mechanisms to address scalability issues in task models
Along tasks analysis and modeling history it has been demonstrated by experience that task
modeling activities become cumbersome when performed on large, real-life systems …
modeling activities become cumbersome when performed on large, real-life systems …
Interaction engineering using the IVY tool
JC Campos, MD Harrison - Proceedings of the 1st ACM SIGCHI …, 2009 - dl.acm.org
This paper is concerned with support for the process of usability engineering. The aim is to
use formal techniques to provide a systematic approach that is more traceable, and because …
use formal techniques to provide a systematic approach that is more traceable, and because …
State of the art on formal methods for interactive systems
This chapter provides an overview of several formal approaches for the design,
specification, and verification of interactive systems. For each approach presented, we …
specification, and verification of interactive systems. For each approach presented, we …
Using stochastic Petri nets for level-crossing collision risk assessment
M Ghazel - IEEE transactions on intelligent transportation …, 2009 - ieeexplore.ieee.org
Level crossings (LCs) are identified as critical security points in both road and rail
infrastructures. Statistics show that more than 300 people are killed every year in Europe in …
infrastructures. Statistics show that more than 300 people are killed every year in Europe in …
SwingStates: adding state machines to Java and the Swing toolkit
C Appert, M Beaudouin‐Lafon - Software: Practice and …, 2008 - Wiley Online Library
This article describes SwingStates, a Java toolkit designed to facilitate the development of
graphical user interfaces and bring advanced interaction techniques to the Java platform …
graphical user interfaces and bring advanced interaction techniques to the Java platform …
Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification
The purpose of ARINC 661 specification [1] is to define interfaces to a Cockpit Display
System (CDS) used in any types of aircraft installations. ARINC 661 provides precise …
System (CDS) used in any types of aircraft installations. ARINC 661 provides precise …
Automatically generating specification properties from task models for the formal verification of human–automation interaction
ML Bolton, N Jiménez… - IEEE Transactions on …, 2014 - ieeexplore.ieee.org
Human-automation interaction (HAI) is often a contributor to failures in complex systems.
This is frequently due to system interactions that were not anticipated by designers and …
This is frequently due to system interactions that were not anticipated by designers and …
Formal socio-technical barrier modelling for safety-critical interactive systems design
S Basnyat, P Palanque, B Schupp, P Wright - Safety Science, 2007 - Elsevier
This paper presents a three step approach to improve safety in the field of interactive
systems. The approach combines, within a single framework, previous work in the field of …
systems. The approach combines, within a single framework, previous work in the field of …