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 条
  • [41] Executable protocol specification in ESL
    Clarke, E
    German, S
    Lu, Y
    Veith, H
    Wang, D
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2000, 1954 : 197 - 216
  • [42] EXECUTABLE SPECIFICATION AND ANALYSIS FOR THE DESIGN OF CONCURRENT OBJECT-ORIENTED SYSTEMS
    DENG, Y
    CHANG, SK
    LIN, XL
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1994, 4 (04) : 427 - 450
  • [43] xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems
    Guan, Chunlin
    Ao, Yi
    Du, Dehui
    Mallet, Frederic
    2018 25TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2018), 2018, : 683 - 687
  • [44] Using executable specification and regression testing for broadcast mechanism of visual programming language on smartphones
    Ali Z.
    Ayyal Awwad A.M.
    Slany W.
    International Journal of Interactive Mobile Technologies, 2019, 13 (02) : 50 - 65
  • [45] A survey of modeling language specification techniques
    Bork, Dominik
    Karagiannis, Dimitris
    Pittl, Benedikt
    INFORMATION SYSTEMS, 2020, 87
  • [46] The MacBeth specification, modeling and programming language
    Puchol, C
    Iyer, SK
    SEVENTH IEEE REAL-TIME TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 2001, : 181 - 190
  • [47] Completeness in formal specification language design for process-control systems
    Leveson, Nancy
    Proceedings of the Workshop on Formal Methods in Software Practice, 2000, : 75 - 87
  • [48] A specification language for traffic modeling and simulation
    Davidson, A
    Wainer, G
    WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 8, PROCEEDINGS: CONCEPTS AND APPLICATIONS OF SYSTEMICS, CYBERNETICS AND INFORMATICS, 1999, : 274 - 281
  • [49] Design and Realization of Executable Modeling Language xKL Based on MOF
    Peng, Jun
    Liu, Shufen
    Geng, Tongcheng
    Qin, Tingting
    2008 3RD INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND APPLICATIONS, VOLS 1 AND 2, 2008, : 380 - 384
  • [50] Integration of the domain modeling method for families of systems with the SOFL formal specification language
    Gomaa, Hassan
    Liu, Shaoying
    Shin, Michael E.
    Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, 2000, : 61 - 71
12345