Title :
RealSpec: An Executable Specification Language for Prototyping Concurrent Systems
Author :
Khwaja, Amir A. ; Urban, Joseph E.
Author_Institution :
Intel Corp., Austin, TX
Abstract :
RealSpec is a declarative executable language for the prototyping of concurrent and real-time systems based on a dataflow functional model. RealSpec is developed on top of Lucid dataflow programming language by enhancing Lucid with features for real-time systems. This paper provides basic RealSpec language constructs for modeling concurrent processes, multithreading, and resource modeling. The producer consumer example is used to demonstrate the applicability of these language features.
Keywords :
data flow computing; multi-threading; real-time systems; software prototyping; specification languages; Lucid dataflow programming language; RealSpec; concurrent system; dataflow functional model; executable specification language; multithreading; real-time system; resource modeling; Computational modeling; Computer languages; Computer science; Data engineering; Design engineering; Multithreading; Prototypes; Real time systems; Software systems; Specification languages; Real-time; concurrent systems; dataflow; declarative; executable specifications; prototyping; resource modeling;
Conference_Titel :
Rapid System Prototyping, 2008. RSP '08. The 19th IEEE/IFIP International Symposium on
Conference_Location :
Monterey, CA
Print_ISBN :
978-0-7695-3180-9
