Real-time program refinement using auxiliary variables

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

Volumn 1926, Issue , 2000, Pages 170-184

  Hayes, Ian ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; FAULT TOLERANCE;

AUXILIARY PARAMETERS; AUXILIARY VARIABLES; COMPILED PROGRAMS; REAL TIME PROGRAMS; REAL-TIME PROGRAMMING LANGUAGES; TARGET MACHINES; TIMING CONSTRAINTS;

REAL TIME SYSTEMS;

EID: 0842266421     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45352-0_15     Document Type: Conference Paper

References (13)

1. C. J. Fidge, I. J. Hayes, and G. Watson. The deadline command. IEE Proceedings—Software, 146(2):104-111, April 1999.
2. S. Grundon, I. J. Hayes, and C. J. Fidge. Timing constraint analysis. In C. McDonald, editor, Computer Science’98: Proc. 21st Australasian Computer Science Conf. (AGSG’98), Perth, 4-6 Feb., pages 575-586. Springer-Verlag, 1998.
3. I. J. Hayes. Reasoning about non-terminating loops using deadline commands. In Roland Backhouse and Jose Oliveira, editors, Mathematics of Program Construction (MPC’2000), July 2000.
4. I. J. Hayes, C. J. Fidge, and K. Lermer. Semantic identification of dead control-fiow paths. Technical Report 99-32, Software Verification Research Centre, The University of Queensland, October 1999.
5. I. J. Hayes and B. P. Mahony. Using units of measurement in formal specifications. Formal Aspects of Computing, 7(3):329-347, 1995.
6. I. J. Hayes and M. Utting. Coercing real-time refinement: A transmitter. In D. J. Duke and A. S. Evans, editors, BCS-FACS Northern Formal Methods Workshop (NFMW’96), Electronic Workshops in Computing. Springer Verlag, 1997.
7. I. J. Hayes and M. Utting. A sequential real-time refinement calculus. Technical Report UQ-SVRC-97-33, Software Verification Research Centre, The University of Queensland, URL http://svrc.it.uq.edu.au, 1997.
8. E. C. R. Hehner. Termination is timing. In J.L.A. van de Snepscheut, editor, Mathematics of Program Construction, volume 375 of Lecture Notes in Computer Science, pages 36-47. Springer-Verlag, June 1989.
9. E. C. R. Hehner. A Practical Theory of Programming. Springer Verlag, 1993.
10. J. Hooman and O. van Roosmalen. Formal design of real-time systems in a platform-independent way. Parallel and Distributed Computing Practices, 1(2):15-30, 1998.
11. 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 Kim. An accurate worst case timing analysis for RISC processors. IEEE Trans, on Software Eng., 21(7):593-604, July 1995.
12. C. C. Morgan. Programming from Specifications. Prentice Hall, second edition, 1994.
13. M. Utting and C. J. Fidge. A real-time refinement calculus that changes only time. In He Jifeng, editor, Proc. 7th, BCS/FACS Refinement Workshop, Electronic Workshops in Computing. Springer, July 1996. URL http://www.springer.co.uk/eWiC/Workshops/7RW.html.