TY - JOUR
T1 - Run-time analysis of time-critical systems
AU - Zhou, Shikun
AU - Zedan, Hussein
AU - Cau, Antonio
N1 - Funding Information:
The authors wish to thank colleagues at the Software Technology Research Laboratory for their helpful criticisms and discussion during this work. Zedan wishes to acknowledge the funding received from the UK Engineering and Physical Sciences Research Council (EPSRC) through the Research Grants GR/M/02583 and GR/M/32474.
PY - 2005/5/1
Y1 - 2005/5/1
N2 - 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.
AB - 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.
KW - Interval temporal logic
KW - Real-time system
KW - Run-time analysis & verification
KW - Timing diagrams
UR - http://www.scopus.com/inward/record.url?scp=17644397342&partnerID=8YFLogxK
U2 - 10.1016/j.sysarc.2004.12.003
DO - 10.1016/j.sysarc.2004.12.003
M3 - Article
AN - SCOPUS:17644397342
SN - 1383-7621
VL - 51
SP - 331
EP - 345
JO - Journal of Systems Architecture
JF - Journal of Systems Architecture
IS - 5
ER -