Abstract
While research in the field of HCI seems to focus on usability issues real-time safety critical systems deals with specific requirements that make usability only one of the main factors that designers of such systems have to deal with. Indeed, reliability and efficiency are also to be taken into account. This paper presents extensions to previous work done in the field of formal description techniques for interactive systems by adding temporal elements to the ICO formalisms. These temporal elements are used for evaluating in a quantitative way the relative efficiency of different designs. Such results are aimed at supporting design decisions in the design process of safety critical interactive systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ajmone Marsan, M., Balbo, G., Conte, C., Donatelli, S., Franceschinis, G.: “Modelling with generalized stochastic Petri nets.” Wiley 1995.
Anderson, J.R.: “Rules of the Mind.” Lawrence Erlbaum Associate 1993.
Bastide, R., Palanque, P., Le, D.H., Munoz, J.: “Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems.” In Proceedings of 5th Eurographics workshop on “design, specification and verification of Interactive systems”, DSV-IS’98, Abdington, U.K., 3-5 june 1998, Springer Verlag 1998.
Bastide, R., Sy, O., Palanque, P., Navarre, D.: “Formal specification of CORBA services: experience and lessons learned.” In Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA’ 2000); Minneapolis, Minnesota USA., ACM Press; 2000: 105–117. ACM SIGPLAN Notices. v. 35 (10)).
Bastide, R., Navarre, D., Palanque, P.: “A model based tool for interactive prototyping of Highly Interactive Environement.” Demonstration paper in Proceedings of ACM CHI 2002, conference companion, ACM Press.
Card, S.K., Moran, T.P., Newell, A.: “The Keystroke-Level Model for User Performance Time with Interactive Systems.” In Communications of the ACM, 1980; 23(7): pp. 396–410.
Card, S.K., Moran, T.P., Newell, A.: “The Model Human Processor: An Engineering Model of Human Performance.” In Handbook of Perception and Human Performance, 1986: pp. 1–35.
Fitt, P.M.: “The information capacity of the human motor system in controlling the amplitude of movement.” In Journal of Experimental Psychology, 1954; 47: pp. 381–391.
Genrich, H.J.: “Predicate/Transition Nets.” In K. Jensen and G. Rozenberg (Eds.) High-Level Petri Nets: Theory and Application., Springer Verlag, Berlin, pp. 3–43.
Kieras, D., Meyer, D.: “An Overview of the EPIC Architecture for Cognition and Performance with Apllication to Human-Computer Interaction.” In Human Computer Interaction 1997, 12, pp. 391–438.
Merlin, P., Farber, D.J.: “Recoverability of communication protocols-Implications of a theoretical study.” 1976; 24, (9).
Miller, G.A.: “The Magic Number Seven Plus or Minus Two.”, 1956, 63, pp. 81–97.
Moher, T., Dirda, V., Bastide, R., Palanque, P.: “Monolingual, Articulated Modeling of Devices, Users, and Interfaces.” In Proceedings of DSV-IS’96, Namur, Belgium, Springer Verlag; 1996: pp. 312–329.
Navarre, D., Palanque, P., Bastide, R., Sy, O.: “Structuring Interactive Systems Specifications for Executability and Prototypability.” In Proceedings of 7th Eurographics Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS’2000, Limerick, Ireland, 2000, Lecture notes in Computer Science n 1946, Springer Verlag 1996.
O'Donnel, P., Draper, S.W.: “How machine delays change user strategies.”, ACM SIGCHI Bulletin. 1996; 28(2): pp. 39–42.
OMG: “The Common Object Request Broker: Architecture and Specification.” In CORBA IIOP 2.2 /98-02-01, Framingham, MA (1998).
Palanque, P., Bastide, R.: “Performance evaluation as a tool for the design of interactive systems.” In Proceedings of Conference internationale IEEE SMC CESA’96, IEEE Press Université de Lille, 9-12 July 1996. p. 328–333.
Paternò, F.: “Model-Based Design and Evaluation of Interactive Application.”, Springer Verlag 1999.
Ramchandani, C.: “Analysis of asynchrounous concurrent systems, an Overview.”, Ph.D. Thesis, MIT, Project MAC TR-120, 1974.
Russo, J.E.: “Adaptation of Cognitive Processes to Eye Movements. Eye Movements and Higher Psychological Functions.”, Lawrence Erlbaum; 1978.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lacaze, X., Palanque, P., Navarre, D., Bastide, R. (2002). Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems. In: Forbrig, P., Limbourg, Q., Vanderdonckt, J., Urban, B. (eds) Interactive Systems:Design, Specification, and Verification. DSV-IS 2002. Lecture Notes in Computer Science, vol 2545. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36235-5_16
Download citation
DOI: https://doi.org/10.1007/3-540-36235-5_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00266-6
Online ISBN: 978-3-540-36235-7
eBook Packages: Springer Book Archive