Sign in
Back
RealSpec: An Executable Specification Language for Prototyping Concurrent Systems
Conference proceeding

RealSpec: An Executable Specification Language for Prototyping Concurrent Systems

Amir A. Khwaja, Joseph E. Urban and IEEE Comp Soc
RSP 2008: 19TH IEEE/IFIP INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, pp.3-9
IEEE International Symposium on Rapid System Prototyping
01/01/2008
DOI: https://doi.org/10.1109/RSP.2008.9

Abstract

Computer Science Computer Science, Hardware & Architecture Computer Science, Information Systems Computer Science, Software Engineering Engineering Engineering, Electrical & Electronic Science & Technology Technology
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.

Metrics

1 Record Views

Details