Title :
Comments on "An Interval Logic for Real-Time System Specification"
Author :
Furia, Carlo A. ; Morzenti, Angelo ; Pradella, Matteo ; Rossi, Matteo G.
Author_Institution :
Dipt. di Elettronica e Informazione, Politecnico di Milano, Milan
fDate :
6/1/2006 12:00:00 AM
Abstract :
The paper "An Interval Logic for Real-Time System Specification" (Mattolini and Nesi, IEEE Trans. Software Eng., vol. 27, no. 3, pp. 208-227, Mar. 2001) presents the TILCO specification language and compares it to other existing similar languages. In this comment, we show that several of the logic formulas used for the comparison are flawed and/or overly complicated and we explain why, in this respect, the comparison is moot
Keywords :
formal specification; real-time systems; specification languages; temporal logic; TILCO specification language; interval logic; logic formulas; real-time system specification; Logic; Real time systems; Resource management; Specification languages; Formal methods; real-time systems.; temporal logic;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.2006.50
