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.
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