Incremental Development of Real-Time Requirements: The Light Control Case Study

Journal of Universal Computer Science

Volumn 6, Issue 7, 2000, Pages 704-730

  Smith, Graeme ^a   Fidge, Colin ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Embedded systems; Formal specification; Real time systems; Refinement; Requirements engineering

Indexed keywords

EID: 33947157738     PISSN: 0948695X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (18)

1. [Banach and Poppleton, 1998] Banach, R. and Poppleton, M. Retrenchment: An engineering variation on refinement. In Bert, D., editor, Proceedings of B-98, volume 1393 of LNCS, pages 129-147. Springer-Verlag.
2. [Bredereke, 1998] Bredereke, J. Requirements specification and design of a simplified telephone network by functional documentation. Technical Report 367, CRL, MacMaster University.
3. [Cerone, 2000] Cerone, A. Axiomatisation of an interval calculus for theorem proving. Technical Report 00-05, Software Verification Research Centre, University of Queensland.
4. [Fidge et al., 1998a] Fidge, C., Hayes, I., and Mahony, B. Defining differentiation and integration in Z. In Staples, J., Hinchey, M., and Liu, S., editors, IEEE International Conference on Formal Engineering Methods (ICFEM '98), pages 64-73. IEEE Computer Society.
5. [Fidge et al., 1998b] Fidge, C., Hayes, I., Martin, A., and Wabenhorst, A. A settheoretic model for real-time specification and reasoning. In Jeuring, J., editor, Mathematics of Program Construction (MPC'98), volume 1422 of LNCS, pages 188-206. Springer-Verlag.
6. [Guerra, 1999] Guerra, S. Defaults in the Specification of Reactive Systems. PhD thesis, Department of Computer Science, University College London.
7. [Hayes, 1990] Hayes, I. Specifying physical limitations: A case study of an oscilloscope. Technical Report 167, Department of Computer Science, University of Queensland. Revised 1993.
8. [Hayes and Sanders, 1995] Hayes, I. and Sanders, J. Specification by interface separation. Formal Aspects of Computing, 7(4):430-439.
9. [Hayes and Utting, 1997] Hayes, I. and Utting, M. A sequential real-time refinement calculus. Technical Report 97-33, Software Verification Research Centre, University of Queensland.
10. [Heitmeyer, 1996] Heitmeyer, C. Requirements specifications for hybrid systems. In Alur, R., Henzinger, T., and Sontag, E., editors, Hybrid Systems III, volume 1066 of LNCS. Springer-Verlag.
11. [Mahony, 1992] Mahony, B. The Specification and Refinement of Timed Processes. PhD thesis, Department of Computer Science, University of Queensland.
12. [Mahony and Hayes, 1992] Mahony, B. and Hayes, I. A case-study in timed refinement: A mine pump. IEEE Transactions on Software Engineering, 18(9):817-826.
13. [Morgan, 1990] Morgan, C. Programming from Specifications. Prentice Hall.
14. [Problem Description, 2000] The Light Control Case Study: Problem Description. Journal of Universal Computer Science, Special Issue on Requirements Engineering (This Volume).
15. [Smith, 2000] Smith, G. Stepwise development from ideal specifications. In Edwards, J., editor, Australasian Computer Science Conference (ACSC 00), volume 22(1) of Australian Computer Science Communications, pages 227-233. IEEE Computer Society.
16. [Swartout and Balzer, 1982] Swartout, W. and Balzer, R. On the inevitable intertwining of specification and implementation. Communications of the ACM, 25(7):438-440.
17. [van Lamsweerde et al., 1995] van Lamsweerde, A., Darimont, R., and Massonet, P. Goal-directed elaboration of requirements for a meeting scheduler: Problems and lessons learnt. In Second IEEE Symposium on Requirements Engineering (RE'95), pages 194-203. IEEE Computer Society.
18. [van Schouwen et al., 1993] van Schouwen, A., Parnas, D., and Madey, J. Documentation of requirements for computer systems. In First IEEE Symposium on Requirements Engineering (RE'93), pages 198-207. IEEE Computer Society.