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
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;
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
DOI :
10.1109/ISORC.2008.32
