Show simple item record

dc.contributor.authorCau, A. (Antonio)en
dc.contributor.authorZedan, Husseinen
dc.contributor.authorZhou, Shikunen
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.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.subjectRAE 2008
dc.subjectUoA 23 Computer Science and Informatics
dc.titleRun-time analysis of time-critical systems.en
dc.researchgroupSoftware Technology Research Laboratory (STRL)

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record