A framework for simulation of concurrency control policy in real-time systems

Real-Time Technology and Applications - Proceedings

Volumn , Issue , 1996, Pages 91-99

  Lai, Chih ^a   Callison, H Rebecca ^a  

^a Oregon State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LOGICAL CORRECTNESS; OVERLOAD MANAGEMENT; PROCESSING MODEL; REAL-TIME APPLICATION; REAL-TIME ENVIRONMENT; SCHEDULING POLICIES; TRANSACTION PROCESSING; TRANSACTION PROCESSING SYSTEMS;

COMPUTER SIMULATION; REAL TIME SYSTEMS; CONCURRENCY CONTROL; DATA ACQUISITION; DISTRIBUTED DATABASE SYSTEMS; SCHEDULING;

CONCURRENCY CONTROL; REAL TIME SYSTEMS;

LOGICAL CORRECTNESS; TRANSACTION PROCESSING SYSTEMS;

EID: 0029717380     PISSN: 10801812     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTTAS.1996.509526     Document Type: Conference Paper

References (7)

1. Audsley, N. C., et al, "STRESS: a simulator for hard real-time systems, " Software-Practice and Experience, 24(6):543-64 (June 1994).
2. Abbott, R., and H. Garcia-Molina, "Scheduling real-time transactions: a performance evaluation, " Proc., 14th Intl. Conf. on Very Large Data Bases, pp. 1-12, 1988.
3. Callison, H. R., "A time-sensitive object model for real-time systems, " ACM Trans. on Software Engineering and Methodologies, January, 1996.
4. Kuo, T.-W., and A. K. Mok, "SSP: a semanticsbased protocol for real-time data access, " Proc., Real-Time Systems Symposium, 1993, pp. 76-86.
5. Minoura, T., et al, "Structural active object systems for simulation, " Proc, OOPSLA, pp. 338-355, 1993.
6. Song, X., Data temporal consistency in hard reallime systems, Ph. D. dissertation, University of Illinois at Urbana-Champaign, 1992.
7. Tokuda, H., and M. Kotera, "A Real-Time Tool Set for the ARTS Kernel, " IEEE Data Engineering, pp. 289-299, 1988.