Run-time analysis of time-critical systems.
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.
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.
ISSN : 1383-7621
Research Group : Software Technology Research Laboratory (STRL)