An Architecture for HCI in Real-time Systems
Although a computer system cannot ensure that a user will act in a timely manner, it is possible to build systems that will guarantee that information is presented at the correct time, and will act upon user directions within an imposed deadline. A real-time database model is presented that is used to structure all interaction between users and the real-time system. Such a database has absolute and relative temporal consistencies defined. From such a model it is possible to generate the timing requirements for a set of tasks that can be guaranteed to retain temporal consistency in the database. It is shown how the database model can be used to define an appropriate architecture for HCI in this application domain.
KeywordsData Object Concurrency Control Database Model Temporal Consistency Database Object
Unable to display preview. Download preview PDF.
- .M. Sikorski, “Use of Reliability Modelling for the Ergonomic Design of Industrial Process Control Systems”, pp. 194–198 in Contemporary Ergonomics, ed. E.D. Megaw, Taylor & Francis (1989).Google Scholar
- .A. Burns, “The HCI Component of Dependable Real-Time Systems”, Software Engineering Journal (to be published) (1991).Google Scholar
- .J. Kemeny, Report of the President’s Commission on the Accident at Three Mile Island, Government Printing Office: Washington (1979).Google Scholar
- .J.W.S. Liu, K.J. Lin and S. Natarajan, “Scheduling Real-Time Periodic Jobs Using Imprecise Results”, pp. 252–260 in Proceedings 8th IEEE Real-Time Systems Symposium, San Jose, California (1987).Google Scholar
- .K.J. Lin, S. Natarajan, J.W.S. Liu and T. Krauskopf, “Concord: A System of Imprecise Computations”, in Proc. IEEE Compsac, Japan (October 1987).Google Scholar
- .A. Burns and M. Richardson, “A Database Model for Hard Real-Time Systems”, YCS.144, Department of Computer Science, University of York (1990).Google Scholar
- .C.H. Papadimitriou and P.C. Kanellakis, “On Concurrency Control by Multiple Versions”, ACM Trans. on Database Systems (March 1984).Google Scholar
- .D. Agrawal and S. Sengupta, “Modular Synchronisation in Multiversion Databases: Version Control and Concurrency Control”, 1989 ACM-SIGMOD Intl. Conf. (1989).Google Scholar
- .H.T. Kung and J.T. Robinson, “On Optimistic Methods of Concurrency Control”, ACM Trans. on Database Systens, pp. 213–226 (June 1981).Google Scholar
- .H.R. Simpson, “Correctness Analysis for a Class of Asynchronous Communication Mechanisms”, BAe Report (1990).Google Scholar