A wide-spectrum language for object-based development of real-time systems.

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Chen, Zhiqiang
dc.contributor.author Zedan, Hussein
dc.contributor.author Cau, A. (Antonio)
dc.contributor.author Yang, Hongji
dc.date.accessioned 2005-08-18T11:48:43Z
dc.date.available 2005-08-18T11:48:43Z
dc.date.issued 1999-03-15
dc.identifier.citation Chen, 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-35 en
dc.identifier.other IR/2005/11
dc.identifier.uri http://hdl.handle.net/2086/28
dc.description.abstract A 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.sponsorship Funding received from the UK Engineering and Physical Sciences Research Council (EPSRC) through the Research Grant GR/M/02583 en
dc.format.extent 135013 bytes
dc.format.extent 209257 bytes
dc.format.mimetype application/pdf
dc.format.mimetype application/postscript
dc.language.iso en en
dc.publisher Elsevier Preprints en
dc.relation.ispartofseries STRL en
dc.relation.ispartofseries 1999-4 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.subject EPSRC GR/M/02583
dc.title A wide-spectrum language for object-based development of real-time systems. en
dc.type Article en
dc.identifier.doi http://dx.doi.org/doi:10.1016/S0020-0255(99)00039-0
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