Reply to comments on "An interval logic for real-time system specification"

IEEE Transactions on Software Engineering

Volumn 32, Issue 6, 2006, Pages 428-431

  Bellini, Pierfrancesco ^a   Nesi, Paolo ^a   Rogai, Davide ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

Conciseness; Formal language; Interval temporal logic; Temporal logic; TILCO

Indexed keywords

EID: 33746883521     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2006.57     Document Type: Note

References (15)

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.