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 条
  • [1] <bold>RealSpec: An Executable Specification Language for Prototyping Concurrent Systems</bold>
    Khwaja, Amir A.
    Urban, Joseph E.
    RSP 2008: 19TH IEEE/IFIP INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2008, : 3 - +
  • [2] Preciseness for Predictability with the RealSpec Real-Time Executable Specification Language
    Khwaja, Amir A.
    Urban, Joseph E.
    2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
  • [3] Intertwining Implementation with the RealSpec Executable Real-Time Specification Language
    Khwaja, Amir A.
    Urban, Joseph E.
    22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010), 2010, : 649 - 652
  • [4] TOWARDS A FRAMEWORK FOR EXECUTABLE SYSTEMS MODELING: AN EXECUTABLE SYSTEMS MODELING LANGUAGE (ESYSML)
    Amissah, Matthew
    Toba, Ange-Lionel
    Handley, Holly A. H.
    Seck, Mamadou
    MODEL-DRIVEN APPROACHES FOR SIMULATION ENGINEERING (MOD4SIM 2018) / 2018 SPRING SIMULATION MULTICONFERENCE (SPRINGSIM), 2018,
  • [5] An executable specification language for fast prototyping parallel responsive systems
    Heping, H
    Zedan, H
    COMPUTER LANGUAGES, 1996, 22 (01): : 1 - 13
  • [6] Executable specification language for fast prototyping parallel responsive systems
    Domino, Cambridge, United Kingdom
    Comput Lang, 1 (1-13):
  • [7] ESP - AN EXECUTABLE SPECIFICATION LANGUAGE FOR MIXED TIMING CONTROL-CIRCUITS
    CHU, TA
    CAO, HT
    LEUNG, CKC
    COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 : 417 - 434
  • [8] SPDML: Graphical Modeling Language for Executable Architecture of Systems
    Hu, Jianpeng
    Huang, Linpeng
    Cao, Bei
    Chang, Xuling
    2014 INTERNATIONAL CONFERENCE ON CYBER-ENABLED DISTRIBUTED COMPUTING AND KNOWLEDGE DISCOVERY (CYBERC), 2014, : 248 - 255
  • [9] MULTIPLE VIEWS OF AN EXECUTABLE SOFTWARE SPECIFICATION LANGUAGE
    TUNG, Y
    KHWAJA, AA
    URBAN, JE
    JOURNAL OF SYSTEMS AND SOFTWARE, 1993, 21 (03) : 305 - 319
  • [10] Executable specification language for parallel symbolic computation
    Godlevsky, AB
    Hluchy, L
    EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS, 2000, 1900 : 754 - 757
12345