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
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.