Computer-aided development of a real-time program

Software-Concepts and Tools

Volumn 19, Issue 4, 2000, Pages 190-202

  Wildman, Luke ^a   Fidge, Colin ^a   Carrington, David ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Formal methods; Real time programming; Refinement; Software engineering; Tool support; Verification

Indexed keywords

EID: 0007878854     PISSN: 09458115     EISSN: None     Source Type: Journal    
DOI: 10.1007/s003780000006     Document Type: Article

References (27)

1. Abadi, M, Lamport, L.: An old-fashioned recipe for real time. ACM Transactions on Programming Language and Systems, 16(5), 1543-1571, September 1994
2. Back, R.-J., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer-Verlag, 1998
3. Bicarregui, J.C. et al.: Formal methods in practice: Case studies in the application of the B method. IEE Proceedings - Software Engineering, 144(2), 119-133, April 1997
4. Butler, M., Grundy, J., Langbacka, T., Rukšénas, R., von Wright, J.: The refinement calculator: Proof support for program refinement. In Groves, L, Reeves, S., editors, Formal Methods Pacific '97, Springer, 1997, pp. 40-61
5. Carrington, D., Hayes, I., Nickson, R., Watson, G., Welsh, J.: A program refinement tool. Formal Aspects of Computing, 10(2), 97-124 (1998)
6. Davies, J, Schneider, S.: A brief history of Timed CSP. Theoretical Computer Science, 138(2), 243-271, February 1995
7. Fidge, C.J., Hayes, I.J., Watson, G.: The deadline command. IEE Proceedings-Software, 146(2), 104-111, April 1999. Special Issue on Real-Time Systems
8. Grundon, S., Hayes, I.J., Fidge, C.J.: Timing constraint analysis. In McDonald, C., editor, Computer Science '98: Proc. 21st Australasian Computer Science Conference, Springer-Verlag, 1998, pp. 575-586
9. Hayes, I.J.: Separating timing and calculation in real-time refinement. In Grundy, J., Schwenke, M., Vickers, T., editors, International Refinement Workshop & Formal Methods Pacific '98, Discrete Mathematics and Theoretical Computer Science, Springer-Verlag, 1998, pp. 1-16
10. Hayes, I.J, Utting, M.: Coercing real-time refinement: A transmitter. In Duke, D.J, Evans, A.S., editors, BCS-FACS Northern Formal Methods Workshop, 1996, Electronic Workshops in Computing. Springer-Verlag, 1997. http://www.ewic.org. uk/ewic/
11. Hayes, I.J, Utting, M.: Deadlines are termination. In Gries, D., de Roever, W.-P. editors, IFIP International Conference on Programming Concepts and Methods (PROCOMET '98), Chapman and Hall, 1998, pp. 186-204
12. Hooman, J.: Assertional specification and verification. In Joseph, M., editor, Real-Time Systems: Specification, Verification and Analysis, chapter 5, Prentice-Hall, 1996, pp. 97-146
13. Mahony, B.P.: The refinement calculus and data-flow processes. In Proc. Second Australasian Refinement Workshop, Brisbane, September 1992, pp. 1-28
14. Mahony, B.P.: The Specification and Refinement of Timed Processes. PhD thesis, Department of Computer Science, University of Queensland, 1992
15. Mahony, B.P, Hayes, I.J.: A case study in timed refinement: A mine pump. IEEE Transactions on Software Engineering, 18(9), 817-826, September 1992
16. Morgan, C.: Programming from Specifications. Prentice-Hall, second edition, 1994
17. Nickson, R, Hayes, I.J.: Supporting contexts in program refinement. Science of Computer Programming, 29(3), 279-302 (1997)
18. Schenke, M.: Transformational design of real-time systems, part II: From program specifications to programs. Acta Informatica, 36, 67-96, January 1999
19. Schenke, M, Olderog, E.-R.: Transformational design of real-time systems. Part I: From requirements to program specifications. Acta Informatica, 36, 1-65, January 1999
20. Scholefield, D., Zedan, H., Jifeng, H.: A specification-oriented semantics for the refinement of real-time systems. Theoretical Computer Science, 131, 219-241 (1994)
21. Skakkebæk. J.U.: A Verification Assistant for a Real-Time Logic. PhD thesis, Department of Computer Science, Technical University of Denmark, November 1994. ID-TR 1994-150
22. Toyn, I, McDermid, J.A.: CADiZ: An architecture for Z tools and its implementation. Software-Practice & Experience, 25(3), 305-330, March 1995
23. Utting, M, Fidge, C.J.: A real-time refinement calculus that changes only time. In Jifeng, H., Cooke, J., Wallis, P., editors, BCS-FACS Seventh Refinement Workshop, Electronic Workshops in Computing. Springer-Verlag, 1996. http:// www.ewic.org.uk/ewic/
24. Utting, M, Fidge, C.J.: Refinement of infeasible real-time programs. In Groves, L, Reeves, S., editors, Formal Methods Pacific '97, Springer-Verlag, 1997, pp. 243-262
25. Vickers, T.: An overview of a refinement editor. In Proceedings of the Fifth Australian Software Engineering Conference (ASWEC'90), 1990, pp. 39-44
26. Wabenhorst, A.: A model of real-time distributed systems. In Gries, D., de Roever, W.-P., editors, IFIP International Conference on Programming Concepts and Methods (PROCOMET'98), Chapman and Hall, 1998, pp. 462-481
27. Wildman, L, Hayes, I.: Supporting contexts in the sequential real-time refinement calculus. In Grundy, J., Schwenke, M., Vickers, T., editors, International Refinement Workshop & Formal Methods Pacific '98, Discrete Mathematics and Theoretical Computer Science, Springer-Verlag, 1998, pp. 352-369