RealSpec: An Executable Specification Language for Modeling Control Systems

被引：1

作者：

Khwaja, Amir A. ^{[1
]}

Urban, Joseph E. ^{[2
]}

机构：

[1] Intel Corp, Austin, TX 78746 USA

[2] Texas Tech Univ, Dept Comp Sci, Lubbock, TX 79409 USA

来源：

PROCEEDINGS OF THE 12TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING | 2009年

基金：

美国国家科学基金会;

关键词：

TIME; CONCURRENT;

D O I：

10.1109/ISORC.2009.36

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：219 / +

页数：4

共 22 条

[11] KHWAJA AA, 2008, P 2008 IASTED INT C, P192
[12] <bold>RealSpec: An Executable Specification Language for Prototyping Concurrent Systems</bold>
Khwaja, Amir A.
Urban, Joseph E.
[J]. RSP 2008: 19TH IEEE/IFIP INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2008, : 3 - +
[13] Khwaja AA, 2006, PROCEEDINGS OF THE 10TH IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND APPLICATIONS, P509
[14] LEVESON NG, 1999, P SOFTW ENG ESEC PSE, P127
[15] Timed communicating object Z
Mahony, B
Dong, JS
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000, 26 (02) : 150 - 177
[16] Motus L., 1994, TIMING ANAL REAL TIM
[17] Paige RF, 1999, LECT NOTES COMPUT SC, V1708, P530
[18] SORENSEN EV, 1990, EVS2 PROCOS IDDTH
[19] Real-time and embedded systems
Stankovic, JA
[J]. ACM COMPUTING SURVEYS, 1996, 28 (01) : 205 - 208
[20] SUNG KY, 1993, P 12 IEEE INT PHOEN, P578

← 1 2 3 →