ATOM: an object-based formal method for real-time systems

De Montfort University Open Research Archive

Show simple item record Zedan, Hussein Cau, A. (Antonio) Chen, Zhiqiang Yang, Hongji 2005-09-01T11:22:49Z 2005-09-01 2005-09-01
dc.identifier.citation Zedan, 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.description.abstract An 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.sponsorship Funding received from the UK Engineering and Physical Sciences Research Council (EPSRC) through the Research Grant GR/M/02583 en
dc.format.extent 126353 bytes
dc.format.extent 137496 bytes
dc.format.mimetype application/pdf
dc.format.mimetype application/postscript
dc.language.iso en en
dc.relation.ispartofseries STRL en
dc.relation.ispartofseries 1999-3 en
dc.subject object-based en
dc.subject wide spectrum language en
dc.subject refinement calculus en
dc.subject temporal agent model en
dc.subject HRT-HOOD en
dc.subject interval temporal logic en
dc.title ATOM: an object-based formal method for real-time systems en
dc.type Article en
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