Scheduling system verification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1579, Issue , 1999, Pages 19-33

  Hsiung, Pao Ann ^a   Wang, Farn ^a   Kuo, Yue Sun ^a  

^a INSTITUTE OF INFORMATION SCIENCE   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS; REAL TIME SYSTEMS; SCHEDULING; SEMANTICS;

CLIENT SERVER; COMPLEX REAL-TIME SYSTEMS; FORMAL FRAMEWORK; IMPORTANT FEATURES; SCHEDULING SEMANTICS; SCHEDULING SYSTEMS; STATE-SPACE REDUCTION;

MODEL CHECKING;

EID: 84948991684     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49059-0_2     Document Type: Conference Paper

References (14)

1. [ACD90] R. Alur, C. Courcoubetis, and D. L. Dill, "Model checking for real-time systems," 5th IEEE LICS, 1990.
2. [CES81] E. M. Clarke, E. A. Emerson, and A. P. Sistla, "Automatic verification of finite state concurrent system using temporal logic," Procs. Workshop on Logics of Programs, Lecture Notes in Computer Science, vol. 131, pp. 52-71, 1981.
3. [E90] E. A. Emerson, "Temporal and Modal Logic," in Handbook of Theoretical Computer Science, Ed. J. van Leeuwen, Elsevier Science Publishers B. V., 1990.
4. [HHWT95] T. A. Henzinger, P.-H. Ho, and H. Wong-Toi, "HyTech: the next generation," Procs. IEEE Real-Time Systems Symposium, pp. 56-65, 1995.
5. [HKL91] M. G. Harbour, M. H. Klein, J. P. Lehoczky, "Fixed priority scheduling of periodic tasks with varying execution priority," Procs. IEEE Real-Time System Symposium, pp. 116-128, 1991.
6. [HKL94] M. G. Harbour, M. H. Klein, J. P. Lehoczky, "Timing analysis for fixed-priority scheduling of hard real-time systems," IEEE Trans. Software Engineering, vol. 20, no. 1, Jan. 1994.
7. [KAS93] D. I. Katcher, H. Arakawa, and J. K. Strosnider, "Engineering and analysis of fixed priority schedulers," IEEE Trans. Software Engineering, vol. 19, pp. 920-934, Sept. 1993.
8. [L87] L. Lamport, "A Fast Mutual Exclusion Algorithm," ACM Trans. on Computer Systems, vol. 5, no. 1, pp. 1-11, Feb. 1987.
9. [L90] J. P. Lehoczky, "Fixed priority scheduling of periodic task sets with arbitrary deadlines," Procs. IEEE Real-Time Systems Symposium, pp. 201-209, 1990.
10. [LL73] C. L. Liu and J. W. Layland, "Scheduling algorithms for multiprogramming in a hard-real-time environment," Journal of the Association for Computing Machinery, vol. 20, no. 1, pp. 46-61, Jan. 1973.
11. [LSD89] J. P. Lehoczky, L. Sha, and Y. Ding, "The rate monotonic scheduling algorithm: exact characterization and average case behavior," Procs. IEEE Real-Time Systems Symposium, pp. 166-171, 1989.
12. [SG90] L. Sha and J. B. Goodenough, "Real-time scheduling theory and Ada," IEEE Computer, vol. 23, pp. 53-62, Apr. 1990.
13. [SKG91] L. Sha, M. H. Klein, and J. B. Goodenough, "Rate monotonic analysis for real-time systems," Foundations of Real-Time Computing: Scheduling and Resource Management, A. van Tilborg and G. M. Koob, Eds. New York: Kluwer, pp. 129-155, 1991.
14. [TBW92] K. W. Tindell, A. Burns, and A. J. Wellings, "Mode changes in priority pre-emptively scheduled systems," Procs. IEEE Real-Time Systems Symposium, pp. 100-109, 1992.