Abstract
In this paper we report on a research project in which the user interface for a research nuclear reactor was specified using a combination of formal notations. The goal of the project was to evaluate the use of a combination of techniques and to assess their utility in specifying a user interface for a non-trivial safety-critical application. We conclude that the techniques worked well and scale up easily to the size of the application studied.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Abowd, G., Dix, A.: Integrating status and event phenomena in formal specifications of interactive systems, Proc. FSE 2: Second ACM Sigsoft Symposium on Foundations of Software Engineering, New Orleans, LA (1994).
Abowd, G., et al, User interface languages: a survey of existing methods, Technical Report PRG-TR-5-89, Oxford University Computing Laboratory (1989).
Brilliant, S., Knight, J., Elder, M.: Formal specification of a user interface, American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human Machine Interface Technologies, University Park, PA (1996)
Diller, A.: Z: An Introduction to Formal Methods, John Wiley and Sons, Inc., New York (1990).
Dix, A.: Formal Methods for Interactive Systems, Academic Press (1991).
Elder, M.: Specification of User Interfaces for Safety-Critical Systems, Technical report CS-95-30, Department of Computer Science, University of Virginia (1995).
Elder, M., Knight, J.: Specifying user interfaces for safety-critical medical systems, Proceedings, MRCAS '95, 1995 International Symposium on Medical Robotics and Computer Assisted Surgery, Baltimore, MD (1995).
Foley, J., Van Dam, A.: Fundamentals of Interactive Computer Graphics, pp. 217–242, Addison-Wesley Inc., New York (1982).
Foley, J., Wallace, V.: The art of natural graphic man-machine conversation, Proceedings of the IEEE, 62, 4, pp. 462–471 (1974).
Harrison, M., Thimbleby, H.: Formal Methods in Human-Computer Interaction, Cambridge University Press (1990).
Hartson, H., Siochi, A., Hix, A.: The UAN: A user-oriented representation for direct manipulation interface designs, ACM Transactions on Information Systems, 8, 3, pp. 181–203 (1990).
Hix, D., Hartson R.: Developing User Interfaces: Ensuring Usability Through Product and Process, John Wiley and Sons, Inc., New York (1993).
Ince, D.: An Introduction to Discrete Mathematics and Formal System Specification, Clarendon Press (1988).
Jacob, R.: A specification language for direct-manipulation user interfaces, ACM Transactions on Graphics, 5, 4, pp. 283–317 (1986).
Jacob, R.: Using formal specifications in the design of a human-computer interface, CACM 26, 4, pp. 259–264 (1983).
Leveson, N.: Software safety: why, what, and how, Computing Surveys, 18, 2, pp. 125–163 (1986).
Leveson, N., Turner, C.: An investigation of the Therac 25 accidents, IEEE Computer, 26, 7, pp. 18–41 (1993).
Myers, B. et al, Garnet: Comprehensive support for graphical, highly interactive user interfaces, IEEE Computer, 23, 11, pp. 71–85 (1990).
Potter, B., et al.: An Introduction to Formal Specification and Z, Prentice Hall, Inc., New Jersey (1991).
Reisner, P.: Formal grammar and human factors design of an interactive graphics system, IEEE Trans. on Software Engineering, SE-7, 2, pp. 229–240 (1981).
Shneiderman, B.: Multiparty grammars and related features for defining interactive systems,” IEEE Transactions on Systems, Man, and Cybernetics, 12, 2, pp. 148–154 (1982).
Waite, C.: electronic mail posted to safety-critical newsgroup (1996).
University of Virginia Reactor, The University of Virginia Nuclear Reactor Facility Tour Information Booklet, http://minerva.acc.virginia.edu/∼reactor.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Knight, J.C., Brilliant, S.S. (1997). Preliminary evaluation of a formal approach to user interface specification. In: Bowen, J.P., Hinchey, M.G., Till, D. (eds) ZUM '97: The Z Formal Specification Notation. ZUM 1997. Lecture Notes in Computer Science, vol 1212. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027296
Download citation
DOI: https://doi.org/10.1007/BFb0027296
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62717-3
Online ISBN: 978-3-540-68490-9
eBook Packages: Springer Book Archive