RealSpec: An Executable Specification Language for Modeling Control Systems

Author

Khwaja, Amir A. ; Urban, Joseph E.

Author_Institution

Intel Corp., Austin, TX, USA

fYear

2009

fDate

17-20 March 2009

Firstpage

219

Lastpage

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.

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Object/Component/Service-Oriented Real-Time Distributed Computing, 2009. ISORC '09. IEEE International Symposium on

Conference_Location

Tokyo

ISSN

1555-0885

Print_ISBN

978-0-7695-3573-9

Type

conf

DOI

10.1109/ISORC.2009.36

Filename

5231997