Show simple item record

dc.contributor.authorChen, Zhiqiang
dc.contributor.authorCau, A. (Antonio)
dc.contributor.authorZedan, Hussein
dc.contributor.authorYang, Hongji
dc.date.accessioned2005-07-13T18:48:51Z
dc.date.available2005-07-13T18:48:51Z
dc.date.issued1999
dc.identifier.citationChen, 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.urihttp://hdl.handle.net/2086/27
dc.description.abstractThe 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.sponsorshipFunding received from the UK Engineering and Physical Sciences Research Council (ESPRC) through the Research Grant GR/M/02583en
dc.format.extent175146 bytes
dc.format.extent205352 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/postscript
dc.language.isoenen
dc.publisherElsevieren
dc.relation.ispartofseriesSTRLen
dc.relation.ispartofseries1999-2en
dc.subjectobject-orienteden
dc.subjectrefinement calculusen
dc.subjecttemporal agent modelen
dc.subjectsemanticsen
dc.subjectEPSRC GR/M/02583en
dc.titleIntegrating structured OO approaches with formal techniques for the development of real-time systemsen
dc.typeArticleen
dc.identifier.doihttps://doi.org/10.1016/S0950-5849(99)00012-9
dc.researchgroupInstitute of Creative Technologies
dc.researchgroupSoftware Technology Research Laboratory (STRL)


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record