The deadline command

IEE Proceedings: Software

Volumn 146, Issue 2, 1999, Pages 104-111

  Fidge, C ^a   Hayes, I ^a   Watson, G ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

DEADLINE COMMAND; SPARK PROGRAMMING LANGUAGE;

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS PROGRAMMING; CONSTRAINT THEORY; PROGRAM COMPILERS;

REAL TIME SYSTEMS;

EID: 0032657029     PISSN: 14625970     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-sen:19990407     Document Type: Article

References (22)

1. HAYES, I.J UTTING, M.: Coercing real-time refinement: A transmitter,' in DUKE, D.J. and EVANS, A.S. (Eds.) BCS-FACS Northern Formal Methods Workshop, 1996, Electronic Workshops in Computing, Springer-Verlag, 1997 http://cwic.sprinser.co.uk/worksnops/NFM96/
2. TUCKER TAFT, S DUFF, R. "AAda 95 reference manual: language and standard libraries', volume 1246 of Lecture Notes in Computer Science, Sprineer-Verlaa, 1997
3. GRUNDON, S., HAYES, I.J FIDGE, C.J.: Timing constraint analysis. In C. McDonald, editor, Computer Science '98: SpringerVerlaa, Proc. 21st Australasian Computer science conference, 1998, pp. 575-586
4. SUNG-SOO, LIM, YOUNG HYUN, BAE, GYU TAE, JANG, BYUNG-DO, RHEE, SANG LYUL, MIN, CHANG YUN, PARK, HEONSHIK, SHIN, KUNSOO, PARK, SOO-MOOK, MOON, and CHONG, SANG KIMAn accurate worst case timing analysis for RISC processors'. IEEE Trans. So/hi: Eng., July 1995,21, (7), pp. 593604
5. KO, L., WHALLEY, D. B HARMON, M. G.: Supporting userfriendly analysis of timing constraints. ACM SIGPLAN Not., November 1995, 30, (11), pp. 99-107
6. BARNES, JHigh inteerity Ada: the Spark approach', AddisonWesley, 1997
7. STOYENKO, A. D., MARLOWE, T. J YOUNIS, M. F.: A language for complex real-time systems. Comput. J., 1995,38,(4), pp. 319338
8. LEUNG, A., PALEM, K. V, and PNUELI, A.: TimeC: A time specification lanauace for ILP processor compilation in HAWICK, K.A. and JAMES," H.A. (Eds.) Proceedings of PART'98: The 5th Australasian Conference on Parallel and real-time systems, 1998, pp. 57-71
9. LEE, I GEHLOT, V: Language constructs for distributed real-time programming. In Proceedings of the IEEE Real-Time systems symposium, IEEE, 1985, pp. 57-66
10. NIRKHE, V. K., TRIPATHI, S. K AGRAWALA, A. K.: Language support for the Maruti real-time system. In Proceedings of the IEEE Real-time systems symposium, IEEE, December 1990, pp. 257-266
11. GERBER, R HONG, S.: Compiling real-time programs with timing constraint refinement and structural code motion. IEEE Trans. Sofnv. Eng., May 1995, 21, (5), pp. 389-404
12. CHUNG, T. M DIETZ, H. G.: Language constructs and transformation for hard real-time systems. ACM SIGPLAN Not., November 1995, 30, (11), pp. 41-49
13. HAMMER, D. K., LUIT, E. J., VAN ROOSMALEN, O. S., VAN DER STOK, P. D. V, and VERHOOSEL, J. P. C.: Dedos: a distributed realtime environment. IEEE Parallel Distrib. Technol, 1994, 2,(4), pp. 3247
14. KIEBURTZ, R. B HENNESSY, J. L.: TOMAL-a high-level programming language for microprocessor process control applications. ACM SIGPLAN Not., April 1976, pp. 127-134
15. KLIGERMAN, E STOYENKO, A. D.: Real-time Euclid: a language for reliable real-time systems. IEEE Trans. Softn: Eng., September 1986, SE-12, (9), pp. 941-949,
16. STOYENKO, A. D HALANG, W. A.: Extending Pearl for industrial real-time applications. IEEE Sofnvare, Julyl993, 10, (4), pp.
17. WOLFE, V F., DAVIDSON, S LEE, L: RTC: language support for real-time concurrency. J. Real-Time Syst., 1993, 5, pp. 63-87
18. GEHANI, N RAMAMRITHAM, K.: Real-time concurrent C: a language for programming dynamic real-time systems. Real-Time Syst., 1991,3, pp. 377-405
19. ISHIKAWA, Y., TOKUDA, H MERCER, C. W: Object-oriented real-time language design: constructs for timing constraints. Technical Report CMU-CS-90-111, Carnegie-Mellon University, March 1990.
20. KENNY, K. B LIN, K. -J.: Building flexible real-time systems using the Flex language. IEEE Computer, May 1991, 2-4, (5), pp. 70-78
21. CHAPMAN, R., BURNS, A WELLINGS, A.: Combining static worst-case timing analysis and program proof. Real-Time Syst., 1996, 11, pp. 145-171
22. AUDSLEY, N., BURNS, A., RICHARDSON, M., TINDELL, K WELLINGS, A.: Applying new scheduling theory to static priority preemptive scheduling. Softu: Eng. J., September 1993,8, (5), pp. 284292