loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Comments on "An Interval Logic for Real-Time System Specification'
June 2006 (vol. 32 no. 6)
pp. 424-427
ASCII Text
x 
 
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.
 
 
BibTex
x
 
@article{ 10.1109/TSE.2006.50,
author = {Carlo A. Furia and Angelo Morzenti and Matteo Pradella and Matteo G. Rossi},
title = {Comments on "An Interval Logic for Real-Time System Specification'},
journal ={IEEE Transactions on Software Engineering},
volume = {32},
number = {6},
issn = {0098-5589},
year = {2006},
pages = {424-427},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.2006.50},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Software Engineering
TI - Comments on "An Interval Logic for Real-Time System Specification'
IS - 6
SN - 0098-5589
SP424
EP427
EPD - 424-427
A1 - Carlo A. Furia,
A1 - Angelo Morzenti,
A1 - Matteo Pradella,
A1 - Matteo G. Rossi,
PY - 2006
KW - Formal methods
KW - temporal logic
KW - real-time systems.
VL - 32
JA - IEEE Transactions on Software Engineering
ER -
 
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.
Citation:
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.