This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Reply to Comments on "An Interval Logic for Real-Time System Specification'
June 2006 (vol. 32 no. 6)
pp. 428-431
ASCII Text
x 
 
Pierfrancesco Bellini, Paolo Nesi, Davide Rogai, "Reply to Comments on "An Interval Logic for Real-Time System Specification'," IEEE Transactions on Software Engineering, vol. 32, no. 6, pp. 428-431, June, 2006.
 
 
BibTex
x
 
@article{ 10.1109/TSE.2006.57,
author = {Pierfrancesco Bellini and Paolo Nesi and Davide Rogai},
title = {Reply to 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 = {428-431},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.2006.57},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Software Engineering
TI - Reply to Comments on "An Interval Logic for Real-Time System Specification'
IS - 6
SN - 0098-5589
SP428
EP431
EPD - 428-431
A1 - Pierfrancesco Bellini,
A1 - Paolo Nesi,
A1 - Davide Rogai,
PY - 2006
KW - Formal language
KW - temporal logic
KW - interval temporal logic
KW - TILCO
KW - conciseness.
VL - 32
JA - IEEE Transactions on Software Engineering
ER -
 
The paper on Comments on "An Interval Logic for Real-Time System Specification” presents some remarks on the comparison examples from TILCO and other logics and some slips on the related examples. This paper gives evidence that such issues have no impact on the validity of the TILCO Theory of paper [1] and provides some further clarifications about some aspects of the comparison.

[1] 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.
[2] P. Bellini and P. Nesi, “Communicating TILCO: A Model for Real-Time System Specification,” Proc. Seventh IEEE Int'l Conf. Eng. Complex Computer Systems (ICECCS 2001), pp. 4-14, June 2001.
[3] P. Bellini, A. Giotti, and P. Nesi, “Execution of Temporal Logic Specifications,” Proc. Eighth IEEE Int'l Conf. Eng. of Complex Computer Systems (ICECCS 2002), pp. 78-88, Dec. 2002.
[4] P. Bellini and P. Nesi, “TILCO-X an Extension of TILCO Temporal Logic,” Proc. Seventh IEEE Int'l Conf. Eng. of Complex Computer Systems (ICECCS 2001), pp. 15-25, June 2001.
[5] P. Bellini, A. Giotti, P. Nesi, and D. Rogai, “TILCO Temporal Logic for Real-Time Systems Implementation in C++,” Proc. 15th Int'l Conf. Software Eng. and Knowledge Eng. (SEKE' 03), pp. 166-173, June 2003.
[6] A. Gargantini, L. Liberati, A. Morzenti, and C. Zacchetti, “Specifying, Validating, and Testing a Traffic Management System in the TRIO Environment,” Proc. 11th Ann. Conf. Computer Assurance (COMPASS '96), pp. 65-76, June 1996.
[7] A. Morzenti and P.S. Pietro, “Object-Oriented Logical Specification of Time-Critical Systems,” ACM Trans. Software Eng. and Methodology (TOSEM), vol. 3, no. 1, pp. 56-98, Jan. 1994.
[8] M. Felder and A. Morzenti, “Validating Real-Time Systems by History-Checking TRIO Specifications,” ACM Trans. Software Eng. and Methodology (TOSEM), vol. 3, no. 4, pp. 308-339, Oct. 1994.
[9] D. Mandrioli, S. Morasca, and A. Morzenti, “Generating Test Cases for Real-Time Systems from Logic Specifications,” ACM Trans. Computer Systems (TOCS), vol. 13, no. 4, pp. 39-52, Nov. 1995.
[10] 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.
[11] D. Rogai, “Hybrid Approach to Real-Time System Development,” PhD dissertation, Univ. of Florence, Italy, 2006.
[12] P. Bellini, “Interval Temporal Logic for Real-Time Systems: Specification, Execution and Verification Processes,” PhD dissertation, Univ. of Florence, Italy, 2001.
[13] R. Koymans, “Specifying Real-Time Properties with Metric Temporal Logic,” J. Real-time Systems, vol. 2, no. 4, pp. 255-299, Nov. 1990.
[14] “TILCO Web Site,” http://www.dsi.unifi.it~tilco, 2006.
[15] A. Morzenti, M. Pradella, P.S. Pietro, and P. Spoletini, “Model-Checking TRIO Specifications in SPIN,” Proc. 12th Int'l Formal Methods Symp. (FM2003), pp. 542-561, Sept. 2003.

Index Terms:
Formal language, temporal logic, interval temporal logic, TILCO, conciseness.
Citation:
Pierfrancesco Bellini, Paolo Nesi, Davide Rogai, "Reply to Comments on "An Interval Logic for Real-Time System Specification'," IEEE Transactions on Software Engineering, vol. 32, no. 6, pp. 428-431, June 2006, doi:10.1109/TSE.2006.57
Usage of this product signifies your acceptance of the Terms of Use.