Rapid System Prototyping, IEEE International Workshop on (2008)
June 2, 2008 to June 5, 2008
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RSP.2008.9
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.
Real-time, executable specifications, concurrent systems, prototyping, resource modeling, declarative, dataflow
Amir A. Khwaja, Joseph E Urban, "RealSpec: An Executable Specification Language for Prototyping Concurrent Systems", Rapid System Prototyping, IEEE International Workshop on, vol. 00, no. , pp. 3-9, 2008, doi:10.1109/RSP.2008.9