A time-sensitive object model for real-time systems

Process-oriented models for real-time systems focus on the timing constraints of processes, a focus that can adversely affect resulting designs. Data dependencies between processes create scheduling interactions that limit the times at which processes may execute. Processes are then designed to fit available windows in the overall system schedule. “Fitting in” frequently involves fragmenting processes to fit scheduling windows and/or designing program and data structures for speed rather than for program comprehension. The result is often a system with very sensitive timing that is hard to understand and maintain. As an alternative to process-oriented design, we present time-sensitive objects: a data-oriented model for real-time systems. The time-sensitive object (TSO) model structures systems as time-constrained data, rather than time constrained processing. Object values are extended to object histories in which a sequence of time constrained values describe the evolution of the object over time. Systems comprise a set of objects and their dependencies. The TSO model describes the effects of object operations and the propagation of change among related objects. Periodic objects, a class of objects within the TSO model, are described in detail in this article and compared with traditional periodic processes. Advantages of time-sensitive objects are identified, including greater scheduling independence when processes have data dependencies, more opportunity for concurrency, and greater inherent capability for detection of and tolerance to timing errors.

[1]  Karsten Schwan,et al.  Object-oriented design of real-time software , 1989, [1989] Proceedings. Real-Time Systems Symposium.

[2]  Lui Sha,et al.  Concurrency control for distributed real-time databases , 1988, SGMD.

[3]  Kwei-Jay Lin,et al.  Enhancing availability in distributed real-time databases , 1988, SGMD.

[4]  Maurice Herlihy,et al.  Linearizability: a correctness condition for concurrent objects , 1990, TOPL.

[5]  Marc Donner,et al.  Run-time monitoring of real-time systems , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

[6]  Kwei-Jay Lin,et al.  Expressing and maintaining timing constraints in FLEX , 1988, Proceedings. Real-Time Systems Symposium.

[7]  Miron Livny,et al.  Earliest deadline scheduling for real-time database systems , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

[8]  Xiaohui Song,et al.  Performance of multiversion concurrency control algorithms in maintaining temporal consistency , 1990, Proceedings., Fourteenth Annual International Computer Software and Applications Conference.

[9]  Helen Rebecca Callison Time-sensitive objects: a data-oriented view of real-time systems , 1995 .

[10]  Tei-Wei Kuo,et al.  Application semantics and concurrency control of real-time data-intensive applications , 1992, [1992] Proceedings Real-Time Systems Symposium.

[11]  Insup Lee,et al.  Language Constructs for Distributed Real-Time Programming , 1985, RTSS.

[12]  Yi Lin,et al.  Concurrency control in real-time databases by dynamic adjustment of serialization order , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[13]  Xiaohui Song Data temporal consistency in hard real-time systems , 1992 .

[14]  Ralf G. Herrtwich,et al.  Time capsules: An abstraction for access to continuous-media data , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[15]  Ragunathan Rajkumar,et al.  Monitoring timing constraints in distributed real-time systems , 1992, [1992] Proceedings Real-Time Systems Symposium.

[16]  Wei-Kuan Shih,et al.  Algorithms for scheduling imprecise computations , 1991, Computer.

[17]  Maurice Herlihy,et al.  A methodology for implementing highly concurrent data structures , 1990, PPOPP '90.

[18]  R. K. Shyamasundar,et al.  Exception Handling in RT-CDL , 1990, Comput. Lang..

[19]  Miron Livny,et al.  Dynamic real-time optimistic concurrency control , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[20]  Hideyuki Tokuda,et al.  Object-oriented real-time language design: constructs for timing constraints , 1990, OOPSLA/ECOOP '90.

[21]  Tei-Wei Kuo,et al.  SSP: A semantics-based protocol for real-time data access , 1993, 1993 Proceedings Real-Time Systems Symposium.

[22]  H. Rebecca Callison A periodic object model for real-time systems , 1994, Proceedings of 16th International Conference on Software Engineering.

[23]  Kwei-Jay Lin,et al.  Structuring large real-time systems with performance polymorphism , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[24]  Abraham Silberschatz,et al.  Triggered Real-Time Databases with Consistency Constraints , 1990, VLDB.

[25]  Hector Garcia-Molina,et al.  Scheduling real-time transactions: a performance evaluation , 1988, TODS.

[26]  Hermann Kopetz,et al.  Distributed fault-tolerant real-time systems: the Mars approach , 1989, IEEE Micro.