Run-time analysis of time-critical systems

Shikun Zhou; Hussein Zedan; Antonio Cau

doi:10.1016/j.sysarc.2004.12.003

Run-time analysis of time-critical systems

Shikun Zhou
, Hussein Zedan
, Antonio Cau^*

^*Corresponding author for this work

De Montfort University

Research output: Contribution to journal › Article › peer-review

Abstract

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 language	English
Pages (from-to)	331-345
Number of pages	15
Journal	Journal of Systems Architecture
Volume	51
Issue number	5
Early online date	19 Feb 2005
DOIs	https://doi.org/10.1016/j.sysarc.2004.12.003
Publication status	Published - 1 May 2005

Keywords

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

Access to Document

10.1016/j.sysarc.2004.12.003

Cite this

@article{b5e74d79b427465ea3c61daaf0a175c1,

title = "Run-time analysis of time-critical systems",

abstract = "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.",

keywords = "Interval temporal logic, Real-time system, Run-time analysis \& verification, Timing diagrams",

author = "Shikun Zhou and Hussein Zedan and Antonio Cau",

note = "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. ",

year = "2005",

month = may,

day = "1",

doi = "10.1016/j.sysarc.2004.12.003",

language = "English",

volume = "51",

pages = "331--345",

journal = "Journal of Systems Architecture",

issn = "1383-7621",

publisher = "Elsevier BV",

number = "5",

}

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 - https://www.scopus.com/pages/publications/17644397342

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 -

Run-time analysis of time-critical systems

Abstract

Keywords

Access to Document

Fingerprint

Cite this