The Community for Technology Leaders
2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) (2009)
Tokyo, Japan
Mar. 17, 2009 to Mar. 20, 2009
ISSN: 1555-0885
ISBN: 978-0-7695-3573-9
pp: 219-227
ABSTRACT
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.
INDEX TERMS
Executable Specification Language, Control Systems, Real-Time, Dataflow, Declarative
CITATION
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
173 ms
(Ver 3.3 (11022016))