Run-time analysis of time-critical systems

Shikun Zhou, Hussein Zedan, Antonio Cau*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


AnaTempura is a tool based on Interval Temporal Logic (ITL). It is used to analyse time-critical systems at run-time. It validates code (implementation) against a formal specification. In this paper, we will describe a tool, AnaTempura and its supporting logic, ITL. A small but illustrative case study is presented.

Original languageEnglish
Pages (from-to)331-345
Number of pages15
JournalJournal of Systems Architecture
Issue number5
Early online date19 Feb 2005
Publication statusPublished - 1 May 2005


  • Interval temporal logic
  • Real-time system
  • Run-time analysis & verification
  • Timing diagrams


Dive into the research topics of 'Run-time analysis of time-critical systems'. Together they form a unique fingerprint.

Cite this