Run-time analysis of time-critical systems.
| 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.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.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.doi | https://doi.org/10.1016/j.sysarc.2004.12.003 | |
| dc.identifier.issn | 1383-7621 | en |
| dc.identifier.uri | http://hdl.handle.net/2086/251 | |
| dc.language.iso | en | en |
| dc.publisher | Elsevier | en |
| dc.researchgroup | Software Technology Research Laboratory (STRL) | |
| 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 |