Show simple item record

dc.contributor.authorZedan, Hussein
dc.contributor.authorCau, A. (Antonio)
dc.contributor.authorChen, Zhiqiang
dc.contributor.authorYang, Hongji
dc.date.accessioned2005-09-01T11:22:49Z
dc.date.available2005-09-01
dc.date.issued2005-09-01
dc.identifier.citationZedan, H. S. M. et al. (1999) ATOM: An object-based formal method for real-time systems. Annals of Software Engineering archive Volume 7 , Issue 1-4
dc.identifier.urihttp://hdl.handle.net/2086/33
dc.description.abstractAn object based formal method for the development of real-time systems, called ATOM, is presented. The method is an integration of the real-time formal technique TAM (Temporal Agent Model) with an industry-strength structured methodology known as HRT-HOOD. ATOM is a systematic formal approach based on the refinement calculus. Within ATOM, a formal specification (or abstract description statement) contains Interval Temporal Logic (ITL) description of the timing, functional, and communication behavior of the proposed real-time system. This formal specification can be analyzed and then refined into concrete statements through successive applications of sound refinement laws. Both abstract and concrete statements are allowed to freely intermix. The semantics of the concrete statements in ATOM are defined denotationally in specification-oriented style using ITL.
dc.description.sponsorshipFunding received from the UK Engineering and Physical Sciences Research Council (EPSRC) through the Research Grant GR/M/02583en
dc.format.extent126353 bytes
dc.format.extent137496 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/postscript
dc.language.isoenen
dc.relation.ispartofseriesSTRLen
dc.relation.ispartofseries1999-3en
dc.subjectobject-baseden
dc.subjectwide spectrum languageen
dc.subjectrefinement calculusen
dc.subjecttemporal agent modelen
dc.subjectHRT-HOODen
dc.subjectinterval temporal logicen
dc.titleATOM: an object-based formal method for real-time systemsen
dc.typeArticleen
dc.identifier.doihttps://doi.org/10.1023/A:1018942406449
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