Towards refinement in realtime programming

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 1995, Pages 244-251

  Nissanke, N ^a  

^a UNIVERSITY OF READING   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT SPECIFICATIONS; COMMUNICATION TIME; PROGRAM EXECUTION; REAL TIME PROGRAMMING; REAL TIME PROGRAMS; RUNTIME ENVIRONMENTS; SUCCESSIVE REFINEMENT; TIMING CONSTRAINTS;

REAL TIME SYSTEMS;

PROGRAM COMPILERS;

EID: 84884621586     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMWRTS.1995.514318     Document Type: Conference Paper

References (7)

1. V.H. Haase. "Real time behaviour of programs". IEEE Trans. on Software Engineering, 7(5), September 1981.
2. J. Hooman. "Specification and verification of a distributed real-time arbitration protocol". In Proceedings of Real-Time Systems Symposium. IEEE Computer Society, 1993.
3. J.J. Molini, S.K. Maimon, and P.H. Watson. "Real-time system scenarios". In Proceedings of 11th Real-Time Systems Symposium. IEEE Computer Society, 1990.
4. C. Morgan. Programming from Specifications. Prentice Hall, 1994.
5. N Nissanke. Fundamentals of Realtame Systems. (to be published by Prentice Hall).
6. C.Y Park and A.C. Shaw. "Experiments with a program timing tool based on source-level timing schema". IEEE Computer, May 1991.
7. A.C. Shaw. "Reasoning about time in higher-level language software". IEEE Trans. on Software Engineering, 15(7), 1989.