Title :
RealSpec: An Executable Specification Language for Modeling Control Systems
Author :
Khwaja, Amir A. ; Urban, Joseph E.
Author_Institution :
Intel Corp., Austin, TX, USA
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.
Keywords :
control engineering computing; specification languages; RealSpec language; executable specification language; gas burner system; modeling control systems; real-time system; specification comprehension; specification construction; Control system synthesis; Control systems; Equations; Feedback; Feeds; Modeling; Real time systems; Sensor systems; Software systems; Specification languages; Control Systems; Dataflow; Declarative; Executable Specification Language; Real-Time;
Conference_Titel :
Object/Component/Service-Oriented Real-Time Distributed Computing, 2009. ISORC '09. IEEE International Symposium on
Conference_Location :
Tokyo
Print_ISBN :
978-0-7695-3573-9
DOI :
10.1109/ISORC.2009.36
