Show simple item record

dc.contributor.authorCau, A. (Antonio)en
dc.contributor.authorZedan, Husseinen
dc.contributor.authorZhou, Shikunen
dc.date.accessioned2008-11-24T13:57:16Z
dc.date.available2008-11-24T13:57:16Z
dc.date.issued2005-05-01en
dc.identifier.citationCau, A.G., Zedan, H. and Zhou, S. (2005) Run-time analysis of time-critical systems. Journal of Systems Architecture, 51(5), pp. 331-345.
dc.identifier.issn1383-7621en
dc.identifier.urihttp://hdl.handle.net/2086/251
dc.descriptionThe paper introduces AnaTempura, a tool for run-time verification of systems using Interval Temporal Logic (ITL) and its executable subset Tempura. The runtime verification technique uses assertion-points to check whether a system satisfies timing or safety properties expressed in ITL. The assertion-points are inserted in the source code of the system and these generate a trace, i.e., values of variables and timestamps of value change, during run-time. AnaTempura is being used for the analysis of mixed hardware/software systems, analysis of security policies (as part of the SANTA workbench) and for checking webservice composition.en
dc.language.isoenen
dc.publisherElsevieren
dc.subjectRAE 2008
dc.subjectUoA 23 Computer Science and Informatics
dc.titleRun-time analysis of time-critical systems.en
dc.typeArticleen
dc.identifier.doihttp://dx.doi.org/10.1016/j.sysarc.2004.12.003en
dc.researchgroupSoftware Technology Research Laboratory (STRL)


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record