Human-Computer Interaction Verification

, , , ,

In the context of critical applications, like autopilot in civil aviation, confusions occurring when using these can lead to dangerous situations. Human-Computer Interaction analysis follows system observability issues, abstraction and simulation which are well studied in the formal methods field. We are working on generating interfaces for critical systems, satisfying some controllability properties, using formal techniques.

LVL Members: Sébastien Combéfis, Charles Pecheur

External Partners: NASA Ames (Dimitra Giannakopoulou, Michael Feary)

Related Publications: