Advertisement

An Architecture for HCI in Real-time Systems

  • A. Burns
Conference paper
Part of the Workshops in Computing book series (WORKSHOPS COMP.)

Abstract

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.

Keywords

Data Object Concurrency Control Database Model Temporal Consistency Database Object 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1].
    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
  2. [2].
    A. Burns, “The HCI Component of Dependable Real-Time Systems”, Software Engineering Journal (to be published) (1991).Google Scholar
  3. [3].
    A. Burns, “Enhanced Input/Output On Pascal”, ACM SIGPLAN Notices 18(11), pp. 24–33 (1983).CrossRefGoogle Scholar
  4. [4].
    J. Kemeny, Report of the President’s Commission on the Accident at Three Mile Island, Government Printing Office: Washington (1979).Google Scholar
  5. [5].
    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
  6. [6].
    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
  7. [7].
    A. Burns, “Scheduling Hard Real-Time Systems: A Review”, Software Engineering Journal 6(3), pp. 116–128 (1991).CrossRefGoogle Scholar
  8. [8].
    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
  9. [9].
    C.H. Papadimitriou and P.C. Kanellakis, “On Concurrency Control by Multiple Versions”, ACM Trans. on Database Systems (March 1984).Google Scholar
  10. [10].
    D. Agrawal and S. Sengupta, “Modular Synchronisation in Multiversion Databases: Version Control and Concurrency Control”, 1989 ACM-SIGMOD Intl. Conf. (1989).Google Scholar
  11. [11].
    W. Cellary, E. Gelenbe and T. Morzy, Concurrency Control in Distributed Database Systems, 1988.MATHGoogle Scholar
  12. [12].
    N.A. Lynch, “Multi-Level Atomicity — A New Correctness Criterion for Database Concurrency Control”, ACM Transactions on Data Base Systems Vol 8 No 4, pp. 484–502 (Dec 1983).MathSciNetMATHCrossRefGoogle Scholar
  13. [13].
    L. Sha, J.P. Lehoczky and E.D. Jensen, “Modular Concurrency Control and Failure Recovery”, IEEE Transactions on Computers 37(2), pp. 146–159 (February 1988).MathSciNetCrossRefGoogle Scholar
  14. [14].
    L. Sha, R. Rajkumar and J.P. Lehoczky, “Concurrency Control for Distributed Real-Time Databases”, SIGMOD Record, pp. 82–96 (Vol, 17, No. 1, March 1988).CrossRefGoogle Scholar
  15. [15].
    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
  16. [16].
    H.R. Simpson, “Four-Slot Fully Asynchronous Communication Mechanism”, IEE Proceedings on Computers and Digital Techniques 137(1), pp. 17–30 (January 1990).CrossRefGoogle Scholar
  17. [17].
    H.R. Simpson, “Correctness Analysis for a Class of Asynchronous Communication Mechanisms”, BAe Report (1990).Google Scholar

Copyright information

© Springer-Verlag London 1992

Authors and Affiliations

  • A. Burns
    • 1
  1. 1.Real-Time Systems Group, Department of Computer ScienceUniversity of YorkUK

Personalised recommendations