Show simple item record

dc.contributor.authorChen, Zhiqiang
dc.contributor.authorZedan, Hussein
dc.contributor.authorCau, A. (Antonio)
dc.contributor.authorYang, Hongji
dc.date.accessioned2005-08-18T11:48:43Z
dc.date.available2005-08-18T11:48:43Z
dc.date.issued1999-03-15
dc.identifier.citationChen, Zhiqiang et al. (1999) A wide-spectrum language for object-based development of real-time systems. Information Sciences Volume 118, Issues 1-4, September 1999, Pages 15-35en
dc.identifier.otherIR/2005/11
dc.identifier.urihttp://hdl.handle.net/2086/28
dc.description.abstractA formal design notation is present whose underlying computational model is object-based. The object structure of the model is based on the practical, industry-strength Object Oriented structure development technique HRT-HOOD. The computational model has been specifically chosen because it leads to designs which can be analyzed for their schedulability in a distributed hard real-time execution environment. It is a wide-spectrum language supporting abstract description statements in Interval Temporal Logic (ITL) for the description of the timing, functional, and communication behavior of the proposed real-time system, and concrete Temporal Agent Model (TAM) statements with objects which can be directly executed. The semantics of these concrete statements is defined denotationally in specification-oriented style using ITL. A system specified at a high level of abstraction can be systematically transformed into an executable program by the use of sound ITL refinement rules.en
dc.description.sponsorshipFunding received from the UK Engineering and Physical Sciences Research Council (EPSRC) through the Research Grant GR/M/02583en
dc.format.extent135013 bytes
dc.format.extent209257 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/postscript
dc.language.isoenen
dc.publisherElsevier Preprintsen
dc.relation.ispartofseriesSTRLen
dc.relation.ispartofseries1999-4en
dc.subjectobject-baseden
dc.subjectwide spectrum languageen
dc.subjectrefinement calculusen
dc.subjecttemporal agent modelen
dc.subjectHRT-HOODen
dc.subjectinterval temporal logicen
dc.subjectEPSRC GR/M/02583
dc.titleA wide-spectrum language for object-based development of real-time systems.en
dc.typeArticleen
dc.identifier.doihttps://doi.org/10.1016/S0020-0255(99)00039-0
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