Sciweavers

APSEC
1998
IEEE

A Refinement Calculus for the Development of Real-Time Systems

13 years 8 months ago
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.
Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodon
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1998
Where APSEC
Authors Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodong Liu, Hongji Yang
Comments (0)