Research Output

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

  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:

    30 November 1997

  • 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

Citation

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

Authors

Keywords

real-time systems; HRT-Hood; TAM; formalising; object-oriented structures;

Available Documents