Formal Modelling as a Component of User Centred Design
User centred design approaches typically focus understanding on context and producing sketch designs. These sketches are often non functional (e.g., paper) prototypes. They provide a means of exploring candidate design possibilities using techniques such as cooperative evaluation. This paper describes a further step in the process using formal analysis techniques. The sketch design of a device is enhanced into a specification that is then analysed using formal techniques, thus providing a systematic approach to checking plausibility and consistency during early design stages. Once analysed, a further prototype is constructed using an executable form of the specification, providing the next candidate for evaluation with potential users. The technique is illustrated through an example based on a pill dispenser.
We are grateful to Nuno Rodrigues, João Vilaça and Nuno Dias from IPCA (Polytechnic Institute of Cavado and Ave) who developed the first prototype of the pill dispenser. José C. Campos, Paolo Masci and Michael Harrison were funded by project NORTE-01-0145-FEDER-000016, financed by the North Portugal Regional Operational Programme (NORTE 2020), under the PORTUGAL 2020 Partnership Agreement, and through the European Regional Development Fund (ERDF).
- 1.Beyer, H., Holtzblatt, K.: Contextual Design: Defining Customer-centred Systems. Morgan Kaufmann, Burlington (1998)Google Scholar
- 2.Bolton, M.L., Bass, E., Siminiceanu, R.: Using formal verification to evaluate human-automation interaction, a review. IEEE Trans. Syst., Man, Cybern., Part A: Syst. Hum. 99, 1–16 (2013)Google Scholar
- 5.Carroll, J. (ed.): Scenario Based Design: Envisioning Work and Technology in System Development. Wiley, Hoboken (1995)Google Scholar
- 6.Fields, R.E.: Analysis of erroneous actions in the design of critical systems. Ph.D. thesis, Department of Computer Science, University of York, Heslington, York, YO10 5DD (2001)Google Scholar
- 8.Haesen, M., et al.: Using storyboards to integrate models and informal design knowledge. In: Hussmann, H., Meixner, G., Zuehlke, D. (eds.) Model-Driven Development of Advanced User Interfaces. SCI, pp. 87–106. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-14562-9_5CrossRefGoogle Scholar
- 10.Harrison, M., Masci, P., Campos, J.: Verification templates for the analysis of user interface software design. IEEE Trans. Softw. Eng. (2018). epub ahead of printGoogle Scholar
- 11.Martinie, C., et al.: Formal tasks and systems models as a tool for specifying and assessing automation designs. In: Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems, ATACCS 2011, pp. 50–59, IRIT Press, Toulouse, France (2011)Google Scholar
- 13.Monk, A., Wright, P., Haber, J., Davenport, L.: Improving Your Human-computer Interface: A Practical Technique. Prentice-Hall, Upper Saddle River (1993)Google Scholar
- 15.Muñoz, C.: Rapid prototyping in PVS. Technical Report, NIA Report No. 2003–03, NASA/CR-2003-212418, National Institute of Aerospace (2003)Google Scholar