This Article 
 Bibliographic References 
 Add to: 
Comments on "An Interval Logic for Real-Time System Specification'
June 2006 (vol. 32 no. 6)
pp. 424-427
The paper "An Interval Logic for Real-Time System Specification” [5] presents the TILCO specification language and compares it to other existing similar languages. In this comment, we show that several of the logic formulas used for the comparison are flawed and/or overly complicated and we explain why, in this respect, the comparison is moot.

[1] G. Bucci, M. Campanai, and P. Nesi, “Tools for Specifying Real-Time Systems,” Real-Time Systems, vol. 8, nos. 2-3, pp. 117-172, 1995.
[2] M. Felder, D. Mandrioli, and A. Morzenti, “Proving Properties of Real-Time Systems through Logical Specifications and Petri Net Models,” IEEE Trans. Software Eng., vol. 20, no. 2, pp. 127-141, Feb. 1994.
[3] M. Felder and A. Morzenti, “Validating Real-Time Systems by History-Checking TRIO Specifications,” ACM Trans. Software Eng. and Methodology, vol. 3, no. 4, pp. 308-339, Oct. 1994.
[4] R. Koymans, “Specifying Real-Time Properties with Metric Temporal Logic,” Real-Time Systems, vol. 2, no. 4, pp. 255-299, 1990.
[5] R. Mattolini and P. Nesi, “An Interval Logic for Real-Time System Specification,” IEEE Trans. Software Eng., vol. 27, no. 3, pp. 208-227, Mar. 2001.

Index Terms:
Formal methods, temporal logic, real-time systems.
Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo G. Rossi, "Comments on "An Interval Logic for Real-Time System Specification'," IEEE Transactions on Software Engineering, vol. 32, no. 6, pp. 424-427, June 2006, doi:10.1109/TSE.2006.50
Usage of this product signifies your acceptance of the Terms of Use.