Enhancing availability in distributed real-time databases
ACM SIGMOD Record - Special Issue on Real-Time Database Systems
Concurrency control for distributed real-time databases
ACM SIGMOD Record - Special Issue on Real-Time Database Systems
Linearizability: a correctness condition for concurrent objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computer Languages
Triggered real-time databases with consistency constraints
Proceedings of the sixteenth international conference on Very large databases
Object-oriented real-time language design: constructs for timing constraints
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
A methodology for implementing highly concurrent data structures
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Algorithms for Scheduling Imprecise Computations
Computer - Special issue on real-time systems
Data temporal consistency in hard real-time systems
Data temporal consistency in hard real-time systems
Time-sensitive objects: a data-oriented view of real-time systems
Time-sensitive objects: a data-oriented view of real-time systems
A periodic object model for real-time systems
ICSE '94 Proceedings of the 16th international conference on Software engineering
Scheduling Real-time Transactions: a Performance Evaluation
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Extending Object-Z for Specifying Real-Time Systems
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Benevolent deception in human computer interaction
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Hi-index | 0.00 |
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.