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 | |
Publication status | Published - 1 May 2005 |
Keywords
- Interval temporal logic
- Real-time system
- Run-time analysis & verification
- Timing diagrams