• DocumentCode
    1959151
  • Title

    The State of Executable Real-Time Specification Languages and the Need for Advancements

  • Author

    Khwaja, Amir A. ; Urban, Joseph E.

  • Author_Institution
    Intel Corp., Austin, TX
  • fYear
    2008
  • fDate
    5-7 May 2008
  • Firstpage
    577
  • Lastpage
    583
  • Abstract
    Several real-time executable software specification languages and techniques exist. However, there are aspects among these languages that are preventing these languages from being widely accepted and adopted. The paper identifies three key areas contributing to this non-acceptability. The paper also suggests future directions and advancements needed in the identified areas.
  • Keywords
    object-oriented languages; real-time systems; specification languages; executable real-time specification languages; software specification languages; Application software; Digital-to-frequency converters; Distributed computing; Fault tolerance; Object oriented modeling; Programming; Real time systems; Specification languages; Telecommunication computing; Timing; Real-time; Real-time features coverage; executable specifications; intertwining implementation; syntactic difficulty;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Object Oriented Real-Time Distributed Computing (ISORC), 2008 11th IEEE International Symposium on
  • Conference_Location
    Orlando, FL
  • Print_ISBN
    978-0-7695-3132-8
  • Type

    conf

  • DOI
    10.1109/ISORC.2008.32
  • Filename
    4553338