A refinement calculus for the development of real-time systems.

Research Output

We present a calculus which can transfer specifications
to objects for the development of real-time systems. The
object model is based on a practical OO development
technique—HRT-HOOD. A real-time logic is specified by
extending a sound formal method for real-time systems—
TAM, to formalise the object model. With integration of
HRT-HOOD and TAM, the advantages of object-oriented
structured methods with the stepwise refinement techniques
are combined. The result is illustrated on a case study

Date:

31 December 1998
Publication Status:

Published
Publisher

IEEE Computer Society
DOI:

10.1109/APSEC.1998.733588
Library of Congress:

QA75 Electronic computers. Computer science
Dewey Decimal Classification:

005 Computer programming, programs & data

http://researchrepository.napier.ac.uk/output/284371 <p>Chen, Z., Cau, A., Zedan, H., Liu, X., & Yang, H. (1998). A refinement calculus for the development of real-time systems. In <i>5th Asia Pacific Software Engineering Conference, APSEC '98</i>, 61. https://doi.org/10.1109/APSEC.1998.733588</p>

Citation

Chen, Z., Cau, A., Zedan, H., Liu, X., & Yang, H. (1998). A refinement calculus for the development of real-time systems. In 5th Asia Pacific Software Engineering Conference, APSEC '98, 61. https://doi.org/10.1109/APSEC.1998.733588