Reusing models and properties in the analysis of similar interactive devices

  • Michael D. Harrison
  • José Creissac Campos
  • Paolo Masci
SI: FMIS

DOI: 10.1007/s11334-013-0201-3

Cite this article as:
Harrison, M.D., Campos, J.C. & Masci, P. Innovations Syst Softw Eng (2015) 11: 95. doi:10.1007/s11334-013-0201-3

Abstract

The paper is concerned with the comparative analysis of interactive devices. It compares two devices by checking systematically a set of template properties that are designed to explore important interface characteristics. The two devices are designed to support similar tasks in a clinical setting. The devices differ as a result of judgements based on a range of considerations including software. Variations between designs are often relatively subtle and do not always become evident through even relatively thorough user testing. Notwithstanding their subtlety, these differences may be important to the safety or usability of the device. The illustrated approach uses formal techniques to provide the analysis. This means that similar analysis can be applied systematically.

Keywords

Modal action logic IVY Medical devices Procurement Interactive systems 

Copyright information

© Springer-Verlag London 2013

Authors and Affiliations

  • Michael D. Harrison
    • 1
    • 3
  • José Creissac Campos
    • 2
  • Paolo Masci
    • 3
  1. 1.School of Computing ScienceNewcastle UniversityNewcastle Upon TyneUK
  2. 2.Departamento de InformáticaUniversidade do Minho and HASLab, INESC TECBragaPortugal
  3. 3.School of Electronic Engineering and Computer ScienceQueen Mary University of LondonLondonUK

Personalised recommendations