Verification of Plastic Interactive Systems

Raquel Oliveira 1, 2 Sophie Dupuy-Chessa 1 Gaëlle Calvary 1
1 LIG Laboratoire d'Informatique de Grenoble - IIHM
LIG - Laboratoire d'Informatique de Grenoble, Inria - Institut National de Recherche en Informatique et en Automatique
2 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Interactive systems have largely evolved over the past years. Nowadays, different users can interact with systems on different devices and in different environments. The user interfaces (UIs) are expected to cope with such variety. Plastic UIs have the capacity to adapt to changes in their context of use while preserving usability. Such capability enhances UIs, however, it adds complexity on them. We propose an approach to verifying interactive systems considering this adaptation capability of the UIs. The approach applies two formal techniques: model checking, to the verification of properties over the system model, and equivalence checking, to compare different versions of a UI, thereby identifying different levels of UI equivalence. We apply the approach to a case study in the nuclear power plant domain in which several UI are analyzed, properties are verified, and the level of equivalence between them is demonstrated.
Document type :
Journal articles
Journal of Interactive Media (i-com), De Gruyter, 2015, 14 (3), pp.192-204. 〈10.1515/icom-2015-0036〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01254590
Contributor : Radu Mateescu <>
Submitted on : Tuesday, January 12, 2016 - 2:37:43 PM
Last modification on : Tuesday, May 16, 2017 - 1:07:35 AM

Identifiers

Collections

Citation

Raquel Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary. Verification of Plastic Interactive Systems. Journal of Interactive Media (i-com), De Gruyter, 2015, 14 (3), pp.192-204. 〈10.1515/icom-2015-0036〉. 〈hal-01254590〉

Share

Metrics

Record views

294