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

Simple item page
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.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.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.doihttps://doi.org/10.1016/S0020-0255(99)00039-0
dc.identifier.otherIR/2005/11
dc.identifier.urihttp://hdl.handle.net/2086/28
dc.language.isoenen
dc.publisherElsevieren
dc.relation.ispartofseriesSTRLen
dc.relation.ispartofseries1999-4en
dc.researchgroupInstitute of Creative Technologies
dc.researchgroupSoftware Technology Research Laboratory (STRL)
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

Files

Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
atom1.pdf
Size:
131.85 KB
Format:
Adobe Portable Document Format
Description:
Main article text
Download
No Thumbnail Available
Name:
atom1.ps
Size:
204.35 KB
Format:
Postscript Files
Description:
Main article in postscript
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.78 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

School of Computer Science and Informatics
Leicester Media School