• DocumentCode
    1012708
  • 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
  • Volume
    32
  • Issue
    6
  • fYear
    2006
  • fDate
    6/1/2006 12:00:00 AM
  • Firstpage
    424
  • Lastpage
    427
  • 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;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/TSE.2006.50
  • Filename
    1650216
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1012708