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
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;
Conference_Titel :
Software Engineering Conference, 1998. Proceedings. 1998 Asia Pacific
Conference_Location :
Taipei
Print_ISBN :
0-8186-9183-2
DOI :
10.1109/APSEC.1998.733588
