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 条
  • [1] [Anonymous], SYSTEMS ENG SDL DEV
  • [2] Ashcroft E. A., 1976, SIAM Journal on Computing, V5, P336, DOI 10.1137/0205029
  • [3] Bell R, 2000, INT STUD PHILOS, V32, P1
  • [4] El Rhalibi A., 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95 (Cat. No.95TH8056), P299, DOI 10.1109/ETFA.1995.496671
  • [5] GHEZZI C, 1991, P 3 EUR SOFTW ENG C, P122
  • [6] HALBWACHS N, 2005, P 3 ACM IEEE INT C F
  • [7] HANSEN KM, 1991, P ACM SIGSOFT C SOFT, P44
  • [8] MODECHART - A SPECIFICATION LANGUAGE FOR REAL-TIME SYSTEMS
    JAHANIAN, F
    MOK, AK
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (12) : 933 - 947
  • [9] Khwaja A. A., 2008, P 20 INT C SOFTW ENG, P97
  • [10] KHWAJA AA, 2008, P 11 IEEE INT S OBJ, P577
123