Abstract
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life at stake. When the safety critical system encompasses a substantial interactive component, the same level of confidence is required towards the human-computer interface. Conventional empirical or semi-formal techniques, although very fruitful, do not provide sufficient insight on the reliability of the human-system cooperation, and offer no easy way to, for example, quantitatively compare two design options. The aim of this paper is to present a method, with supporting tools and techniques, for engineering the design and development of usable user interfaces for safety-critical applications. More precisely we present the Petshop environment which is a Petri net based tool for the design specification, prototyping and validation of interactive software. In this environment models of the interactive application can be interactively modified and executed. This is used to support prototyping phases (when the models and the interactive application evolve significantly to meet late user requirements for instance) as well as in the operation phase (after the system is deployed). The use of the description technique (the ICO formalism) supported by PetShop is presented on a multimodal ground segment application for satellite control and more precisely how prototyping can be performed at the various levels of the architecture of interactive systems.
Chapter PDF
Similar content being viewed by others
Keywords
References
Barboni, E., Navarre, D., Palanque, P., Basnyat, S.: Addressing Issues Raised by the Exploitation of Formal Specification Techniques for Interactive Cockpit Applications. In: HCI Aero 2006, p. t.b.p., Seattle (2006)
Bastide, R., Navarre, D., Palanque, P.: A Tool-Supported Design Framework for Safety Critical Interactive Systems. Interacting with computers 15(3), 309–328 (2003)
Bastide, R., Palanque, P., Duc, L.: Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems. In: DSV-IS 1998, pp. 171–190 (1998)
Beck, K.: Extreme Programming Explained: Embrace Change. Addison-Wesley, US (1999)
Bernhaupt, R., Navarre, D., Palanque, P., Winckler, M.: Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications In Maturing Usability, Quality in Software, Interaction and Value. In: Human-Computer Interaction Series, pp. 96–119. Springer, Heidelberg (2007)
Dragicevic, P., Fekete, J.-D.: Input Device Selection and Interaction Configuration with ICON. In: Proceedings of IHM-HCI 2001, People and Computers XV - Interaction without Frontiers, pp. 543–448. Springer, Heidelberg (2001)
Esteban, O., Chatty, S., Palanque, P.: Whizz’Ed: a visual environment for building highly interactive interfaces. In: Proceedings of the Interact 1995 conference, pp. 121–126 (1995)
Figueroa, P., Green, M., Hoover, J.: InTml: A Description Language for VR Applications. In: Proceedings of Web3D 2002, Arizona, USA, pp. 53–58 (2002)
Fowler, M., Highsmith, J.: The Agile Manifesto. Software Development (August 2001)
Genrich, H.J.: Predicate/Transitions Nets. In: Jensen, K., Rozenberg, G. (eds.) High-Levels Petri Nets: Theory and Application, pp. 3–43. Springer, Berlin (1991)
Gulliksen, J., Goransson, B., Boivie, I., Blomkvist, S., Persson, J., Cajander, A.: Key principles for user-centred systems design. Behaviour and Inf. Tech. 22, 397–409 (2003)
Jacob, R.: A Software Model and Specification Language for Non-WIMP User Interfaces. ACM Transactions on Computer-Human Interaction 6(1), 1–46 (1999)
Kabbash, P., Buxton, W.A.: The “prince” technique: Fitts’ law and selection using area cursors. In: Proceedings of the ACM CHI Conference, pp. 273–279. ACM Press, New York (1995)
Lim, Y., Pangam, A., Periyasami, S., Aneja, S.: Comparative analysis of high- and low-fidelity prototypes for more valid usability evaluations of mobile devices. In: Proc. of NordiCHI 2006, vol. 189, pp. 291–300. ACM, New York (2006)
Navarre, D., Palanque, P., Dragicevic, P., Bastide, R.: An Approach Integrating two Complementary Model-based Environments for the Construction of Multimodal Interactive Applications. Interacting with Computers 18(5), 910–941 (2006)
Navarre, D., Palanque, P., Bastide, R., Sy, O.: Structuring interactive systems specifications for executability and prototypability. In: Palanque, P., Paternó, F. (eds.) DSV-IS 2000. LNCS, vol. 1946, pp. 97–120. Springer, Heidelberg (2001)
Navarre, D., Palanque, P., Bastide, R., Sy, O.: A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. In: 12th IEEE International Workshop on Rapid System Prototyping, Monterey, USA, IEEE, Los Alamitos (2001)
Navarre, D., Palanque, P., Basnyat, S.: Usability Service Continuation through Reconfiguration of Input and Output Devices in Safety Critical Interactive Systems. In: Harrison, M.D., Sujan, M.-A. (eds.) SAFECOMP 2008. LNCS, vol. 5219, pp. 373–386. Springer, Heidelberg (2008)
Navarre, D., Palanque, P., Bastide, R., Schyn, A., Winckler, M., Nedel, L.P., Freitas, C.M.D.S.: A model-based approach for engineering multimodal interactive systems. In: Costabile, M.F., Paternó, F. (eds.) INTERACT 2005. LNCS, vol. 3585, pp. 170–183. Springer, Heidelberg (2005)
Palanque, P., Bernhaupt, R., Navarre, D., Ould, M., Winckler, M.: Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification. In: Ninth International Conference on Space Operations, CD-ROM proceedings, Rome, Italy, June 18-22 (2006)
Parnas, D.L.: On the use of transition diagram in the design of a user interface for interactive computer system. In: Proceedings of the 24th ACM Conference, pp. 379–385 (1969)
Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)
Reason, J.: Human Error, 302 pages. Cambridge University Press, Cambridge (1990)
Rettig, M.: Prototyping for tiny fingers. Commun. ACM 37(4), 21–27 (1994)
Risoldi, M., Amaral, V.: Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping. Rapid Integration of Software Engineering Techniques, 144–159 (2007)
Rudd, J., Stern, K., Isensee, S.: Low vs. high-fidelity prototyping debate. Interactions 3(1), 76–85 (1996)
Vanacken, D., De Boeck, J., Raymaekers, C., Coninx, K.: NiMMiT: a Notation for Modelling Multimodal Interaction Techniques. In: International Conference on Computer Graphics Theory and Applications, Portugal (2006)
Wieting, R.: Hybrid High-Level Nets. In: Proc. of the 1996 Winter Simulation Conference, pp. 848–855. ACM Press, New York (1996)
Willans, J.S., Harrison, M.D.: Prototyping pre-implementation designs of virtual environment behaviour. In: Nigay, L., Little, M.R. (eds.) EHCI 2001. LNCS, vol. 2254, pp. 91–108. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Palanque, P., Ladry, JF., Navarre, D., Barboni, E. (2009). High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. In: Jacko, J.A. (eds) Human-Computer Interaction. New Trends. HCI 2009. Lecture Notes in Computer Science, vol 5610. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02574-7_75
Download citation
DOI: https://doi.org/10.1007/978-3-642-02574-7_75
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02573-0
Online ISBN: 978-3-642-02574-7
eBook Packages: Computer ScienceComputer Science (R0)