Run-time analysis of time-critical systems.

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Cau, A. (Antonio) en
dc.contributor.author Zedan, Hussein en
dc.contributor.author Zhou, Shikun en
dc.date.accessioned 2008-11-24T13:57:16Z
dc.date.available 2008-11-24T13:57:16Z
dc.date.issued 2005-05-01 en
dc.identifier.citation Cau, 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.issn 1383-7621 en
dc.identifier.uri http://hdl.handle.net/2086/251
dc.description The 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.iso en en
dc.publisher Elsevier en
dc.subject RAE 2008
dc.subject UoA 23 Computer Science and Informatics
dc.title Run-time analysis of time-critical systems. en
dc.type Article en
dc.identifier.doi http://dx.doi.org/10.1016/j.sysarc.2004.12.003 en
dc.researchgroup Software Technology Research Laboratory (STRL)


Files in this item

This item appears in the following Collection(s)

Show simple item record