Integrating structured OO approaches with formal techniques for the development of real-time systems

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Chen, Zhiqiang
dc.contributor.author Cau, A. (Antonio)
dc.contributor.author Zedan, Hussein
dc.contributor.author Yang, Hongji
dc.date.accessioned 2005-07-13T18:48:51Z
dc.date.available 2005-07-13T18:48:51Z
dc.date.issued 1999
dc.identifier.citation Chen, Zhiqiang et al. (1999) Integrating structured OO approaches with formal techniques for the development of real-time systems. Information and Software Technology, 41 (7), pp. 435-450
dc.identifier.uri http://hdl.handle.net/2086/27
dc.description.abstract The use of formal methods in the development of time-critical applications is essential if we want to achieve a high level of assurance in them. However, these methods have not yet been widely accepted in industry as compared to the more established structured and informal techniques. A reliable linkage between these two techniques will provide the developer with a powerful tool for developing a provably correct system. In this paper, we explore the issue of integrating a real-time formal technique, TAM (Temporal Agent Model), with an industry-strength structured methodology known as HRT-HOOD. TAM is a systematic formal approach for the development of real-time systems based on the refinement calculus. Within TAM, a formal specification can be written (in a logic-based formalism), analysed and then refined to concrete representation through successive applications of sound refinement laws. Both abstract specification and concrete implementation are allowed to freely intermix. HRT-HOOD is an extension to the Hierarchical Object-Oriented Design (HOOD) technique for the development of Hard Real-Time systems. It is a two-phase design technique dealing with the logical and physical architecture designs of the system which can handle both functional and non-functional requirement, respectively. The integrated technique is illustrated on a version of the mine control system. en
dc.description.sponsorship Funding received from the UK Engineering and Physical Sciences Research Council (ESPRC) through the Research Grant GR/M/02583 en
dc.format.extent 175146 bytes
dc.format.extent 205352 bytes
dc.format.mimetype application/pdf
dc.format.mimetype application/postscript
dc.language.iso en en
dc.publisher Elsevier en
dc.relation.ispartofseries STRL en
dc.relation.ispartofseries 1999-2 en
dc.subject object-oriented en
dc.subject refinement calculus en
dc.subject temporal agent model en
dc.subject semantics en
dc.subject EPSRC GR/M/02583 en
dc.title Integrating structured OO approaches with formal techniques for the development of real-time systems en
dc.type Article en
dc.type Preprint en
dc.identifier.doi http://dx.doi.org/10.1016/S0950-5849(99)00012-9
dc.researchgroup Institute of Creative Technologies
dc.researchgroup Software Technology Research Laboratory (STRL)


Files in this item

This item appears in the following Collection(s)

Show simple item record