Reducing conservatism in response time analysis of distributed systems

IEE Colloquium (Digest)

Volumn , Issue 6, 1999, Pages 25-28

  Bradley, Steven ^a   Henderson, William ^b   Kendall, David ^b  

^a DURHAM UNIVERSITY   (United Kingdom)

^b NORTHUMBRIA UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; INFORMATION ANALYSIS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PARAMETER ESTIMATION; PROGRAM PROCESSORS; REAL TIME SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS);

RATE MONOTONIC ANALYSIS (RMA); RATE MONOTONIC SCHEDULING (RMS); TIME ANALYSIS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 6344293651     PISSN: 09633308     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (9)

1. R Alur, C Courcebetis, N Halbwachs, T A Henzinger, P-H Ho, X Nicollin, A Olivero, and J Sifakis nad S Yovine. The algorithmic andalysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
2. R Alur and D Dill. Automata for modeling real-time systems. In 17th International Colloquium, on Automata, Languages and Programming (ICALP 90), number 443 in Lecture Notes in Computer Science. Springer, 1990.
3. N C Audsley and A Burns, On fixed priority scheduling, offsets and co-prime task periods. Information Processing Letters, 67(2):65-70, July 1998.
4. N C Audsley, A Burns, R I Davis, K W Tindell, and A J Wellings. Fixed priority pre-emptive scheduling: An historical perspective. Real-Time Systems, 8(2/3):173-198, March/May 1995.
5. J C Corbett. Timing analysis of Ada tasking programs. IEEE Transactions on Software Engineering, 22(7):461-483, July 1996.
6. W D Henderson. An holistic approach to performance prediction of distributed real-time can systems. In 5th International CAN Conference, San Jose, 1998. To Appear.
7. T A Henzinger, P-H Ho, and H Wong-Toi. A user guide to HYTECH. In E Brinksma, W R Cleaveland, K G Larsen, T Margaria, and B Steffen, editors, Tool and Algorithms for the Construction and Analysis of Systems: (TACAS 95), volume 1019 of Lecture Notes in Computer Science, pages 41-71. Springer, 1995.
8. C L Liu and J W Layland. Scheduling algorithms for multiprogramming in a hard real-time environment. JACM, 20(1):40-61, 1973.
9. K Tindell and J Clark. Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming, 40(2-3):117-134, April 1994.