2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) (2009)
Mar. 17, 2009 to Mar. 20, 2009
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISORC.2009.36
Direct support of real-time and control system features in a real-time specification language has a key role in the modeling of such systems. Correct modeling constructs in a specification language simplifies specification construction and enhances specification comprehension. This paper presents enhancements to an executable real-time specification language with constructs to model control systems. Two key control system modeling constructs are added to the language. The details of the constructs are discussed and the concepts are applied to model a gas burner system in the RealSpec language.
Executable Specification Language, Control Systems, Real-Time, Dataflow, Declarative
Joseph E. Urban, Amir A. Khwaja, "RealSpec: An Executable Specification Language for Modeling Control Systems", 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), vol. 00, no. , pp. 219-227, 2009, doi:10.1109/ISORC.2009.36