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 (154kB) | 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 11:54
    Last Modified: 15 Apr 2014 14:36

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...

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