Communicating TILCO: a model for real-time system specification

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

Volumn , Issue , 2001, Pages 4-14

  Bellini, P ^a   Nesi, P ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

First order logic; Formal specification language; Real time systems; Temporal interval logic; Verification and validation

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONSTRAINT THEORY; FORMAL LANGUAGES; FORMAL LOGIC; INVARIANCE; MATHEMATICAL MODELS; THEOREM PROVING;

FIRST ORDER LOGIC; TEMPORAL INTERVAL LOGIC WITH COMPOSITIONAL OPERATORS;

REAL TIME SYSTEMS;

EID: 0034860178     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. Tools for specifying real-time systems
2. The evolution and state-of-the-art of real-time languages
3. An interval logic for real-time system specification
4. Temporal logics for real-time system specification
5. Validating real-time systems by history-checking TRIO specifications
6. Object-oriented logical specification of time-critical systems
7. Verification of external specifications of reactive systems
8. Verification criteria for a compositional model for reactive systems
9. Specification of realtime systems using ASTRAL
10. TRIO, a logic language for executable specifications of real-time systems
11. Proving properties of real-time systems through logical specifications and Petri net models
12. Specifying communicating systems with temporal logic
13. Specifying message passing systems requires extending temporal logic
14. A timed model for communicating sequential processes