DocumentCode
2401067
Title
A refinement calculus for the development of real-time systems
Author
Chen, Zhiqiang ; Cau, Antonio ; Zedan, Hussein ; Liu, Xiaodong ; Yang, Hongji
Author_Institution
Software Technol. Res. Lab., De Montfort Univ., Leicester, UK
fYear
1998
fDate
2-4 Dec 1998
Firstpage
61
Lastpage
68
Abstract
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
Keywords
object-oriented programming; real-time systems; refinement calculus; HRT-HOOD; TAM; object model; object oriented development; real-time logic; real-time systems development; refinement calculus; stepwise refinement techniques; Algebra; Calculus; Electrical capacitance tomography; Graphics; Laboratories; Logic functions; Programming; Real time systems; Skeleton; Software engineering;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 1998. Proceedings. 1998 Asia Pacific
Conference_Location
Taipei
Print_ISBN
0-8186-9183-2
Type
conf
DOI
10.1109/APSEC.1998.733588
Filename
733588
Link To Document