Run-time analysis of time-critical systems.
Date
2005-05-01
Advisors
Journal Title
Journal ISSN
ISSN
1383-7621
Volume Title
Publisher
Elsevier
Type
Article
Peer reviewed
Abstract
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.
Keywords
RAE 2008, UoA 23 Computer Science and Informatics
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.