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
相关论文
共 50 条
  • [31] xOWL an Executable Modeling Language for Domain Experts
    Wouters, Laurent
    Gervais, Marie-Pierre
    15TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE (EDOC 2011), 2011, : 215 - 224
  • [32] MODEL INTEGRATION WITH A TYPED EXECUTABLE MODELING LANGUAGE
    BRADLEY, GH
    CLEMENCE, RD
    PROCEEDINGS OF THE TWENTY-FIRST, ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOLS 1-4: ARCHITECTURE TRACK, SOFTWARE TRACK, DECISION SUPPORT AND KNOWLEDGE BASED SYSTEMS TRACK, APPLICATIONS TRACK, 1988, : 403 - 410
  • [33] Animating a non-executable formal specification with a distributed symbolic language
    Ciancarini, P
    Cimato, S
    DESIGN AND IMPLEMENTATION OF SYMBOLIC COMPUTATION SYSTEMS, 1996, 1128 : 200 - 201
  • [34] Evaluation of a Graphical Modeling Language for the Specification of Manufacturing Execution Systems
    Weissenberger, Benedikt
    Vogel-Heuser, Birgit
    2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2012,
  • [35] Modeling train control systems with Petrinets -: an operational specification
    Einer, S
    Slovák, R
    Schnieder, E
    SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3207 - 3211
  • [36] NP-SPEC: an executable specification language for solving all problems in NP
    Cadoli, M
    Ianni, G
    Palopoli, L
    Schaerf, A
    Vasile, D
    COMPUTER LANGUAGES, 2000, 26 (2-4): : 165 - 195
  • [37] A LANGUAGE OF PARAMETRIC DESCRIPTION FOR SPECIFICATION OF THE CONTROL OF AUTOMATED PRODUCTION SYSTEMS
    DESCLAUX, C
    VALETTE, R
    COURVOISIER, M
    RAIRO-AUTOMATIQUE-PRODUCTIQUE INFORMATIQUE INDUSTRIELLE-AUTOMATIC CONTROL PRODUCTION SYSTEMS, 1987, 21 (01): : 17 - 32
  • [38] NP-SPEC: An executable specification language for solving all problems in NP
    Cadoli, M
    Palopoli, L
    Schaerf, A
    Vasile, D
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 1999, 1551 : 16 - 30
  • [39] EXECUTABLE SPECIFICATION OF STATIC SEMANTICS
    DESPEYROUX, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 173 : 215 - 233
  • [40] Research and Design of an Executable Modeling Language Based on MOF
    Zhao, Jinhong
    Liu, Shufen
    Wang, Xianyan
    Chen, Liang
    Wei, Chuyi
    9TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED INDUSTRIAL DESIGN & CONCEPTUAL DESIGN, VOLS 1 AND 2, 2008, : 399 - 404
12345