Execution of TILCO temporal logic specifications

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn 2002-January, Issue , 2002, Pages 78-87

  Bellini, P ^a   Giotti, A ^a   Nesi, P ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

Engines; Formal specifications; Informatics; Logic; Production systems; Real time systems; Safety; Software engineering; System testing; World Wide Web

Indexed keywords

COMPUTER CIRCUITS; ENGINES; INTERACTIVE COMPUTER SYSTEMS; REAL TIME SYSTEMS; SAFETY ENGINEERING; SAFETY TESTING; SOFTWARE TESTING; TEMPORAL LOGIC;

INFORMATICS; LIVENESS; LOGIC; OCCURRENCE CONDITIONS; PRODUCTION SYSTEM; REAL - TIME SYSTEM; SAFETY CONDITION; SYSTEM TESTING; TEMPORAL CONSTRAINTS; TEMPORAL LOGIC SPECIFICATIONS;

FORMAL SPECIFICATION;

EID: 84948732686     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2002.1181500     Document Type: Conference Paper

References (11)

1. G. Bucci, M. Campanai and P. Nesi. Tools for specifying real-time systems. Journal of Real-Time Systems, 8:117-172, March 1995.
2. P. Bellini, R. Mattolini and P. Nesi. Temporal logics for real-time system specification. ACM Computing Surveys, 31, December 2000.
3. J. F. Allen and G. Ferguson. Actions and events in interval temporal logic. tech. rep., Univ. of Rochester, TR-URCSD 521, Rochester, New York 14627, 1994.
4. R. Mattolini and P. Nesi. An interval logic for real-time system specification. IEEE Trans. Soft. Eng., 27(3):208-227, March 2001.
5. F. Jahanian and A. K.-L. Mok. Safety analysis of timing properties in real-time systems. IEEE Trans. Soft. Eng., 12:890-904, Sept. 1986.
6. R. Koymans. Specifying real-time properties with metric temporal logic. Real-Time Systems Journal, 2:255-299, 1990.
7. R. Alur and T. A. Henzinger. Real-time logics: Complexity and expressiveness. tech. rep., Dept. of Comp. Science and Medicine STAN-CS-90-1307, Stanford University, USA, March 1990.
8. M. Felder and A. Morzenti. Validating real-time systems by history-checking trio specifications. ACM Trans. Soft. Eng. and Meth., 3:308-339, 1994.
9. M. Fisher and R. Owens. An introduction to executable modal and temporal logics. Executable Modal and Temporal Logics: Proc. of the IJCAI '93 Workshop, France, August 1993, pp. 1-20, Springer Verlag LNAI 897, 1995.
10. P. Bellini and P. Nesi. Communicating TILCO: a model for Real-Time System Specification. Proc. of the 7th IEEE ICECCS'01, IEEE Press, Sweden, June 2001.
11. P. Bellini and P. Nesi. TILCO-X: An extension of TILCO temporal Logic. Proc. of the 7th IEEE ICECCS'01, IEEE Press, Sweden, June 2001.