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

Chen, Zhiqiang, Cau, Antonio, Zedan, Hussein, Liu, Xiaodong and Yang, Hongji (1998) A refinement calculus for the development of real-time systems. In: 5th Asia Pacific Software Engineering Conference, APSEC '98. IEEE Computer Society, p. 61. ISBN 0-8186-9183-2

[img] PDF
Restricted to Registered users only
Available under License Creative Commons Attribution Non-commercial.

Download (158kB) | Request a copy


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

Item Type: Book Section
ISBN: 0-8186-9183-2
Additional Information: paper presented at Fifth Asia-Pacific Software Engineering Conference (APSEC'98), 2nd-4th December 1998, Taipei, Taiwan
Uncontrolled Keywords: real-time systems; HRT-Hood; TAM; formalising; object-oriented structures;
University Divisions/Research Centres: Faculty of Engineering, Computing and Creative Industries > School of Computing
Dewey Decimal Subjects: 000 Computer science, information & general works > 000 Computer science, knowledge & systems > 005 Computer programming, programs & data
Library of Congress Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Item ID: 3229
Depositing User: Computing Research
Date Deposited: 21 Jul 2010 10:54
Last Modified: 15 Apr 2014 13:36

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics

Edinburgh Napier University is a registered Scottish charity. Registration number SC018373