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 条
  • [21] AN EXECUTABLE LANGUAGE FOR MODELING SIMPLE BEHAVIOR
    LEE, S
    SLUIZER, S
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (06) : 527 - 543
  • [22] S-Promela: An Executable Specification Security Policies Language
    Abbassi, Ryma
    El Fatmi, Sihem Guemara
    2009 FIRST INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND NETWORKING (COMNET 2009), 2009, : 72 - 79
  • [23] An Executable Semantics of Clock Constraint Specification Language and Its Applications
    Zhang, Min
    Mallet, Frederic
    FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, (FTSCS 2015), 2016, 596 : 37 - 51
  • [24] Uploadable executable specification concept for spacecraft autonomy systems
    Cancro, George
    Innanen, William
    Turner, Russell
    Monaco, Christopher
    Trela, Michael
    2007 IEEE AEROSPACE CONFERENCE, VOLS 1-9, 2007, : 3512 - 3523
  • [25] Executable specification of open multi-agent systems
    Artikis, Alexander
    Sergot, Marek
    LOGIC JOURNAL OF THE IGPL, 2010, 18 (01) : 31 - 65
  • [26] Executable Biochemical Space for Specification and Analysis of Biochemical Systems
    Trojak, Matej
    Safranek, David
    Brim, Lubos
    Salagovic, Jakub
    Cerveny, Jan
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2020, 350 (350) : 91 - 116
  • [27] Executable biochemical space for specification and analysis of biochemical systems
    Trojak, Matej
    Safranek, David
    Mertova, Lukrecia
    Brim, Lubos
    PLOS ONE, 2020, 15 (09):
  • [28] An Executable Specification for SPARQL
    Bornea, Mihaela
    Dolby, Julian
    Fokoue, Achille
    Kementsietsidis, Anastasios
    Srinivas, Kavitha
    Vaziri, Mandana
    WEB INFORMATION SYSTEMS ENGINEERING - WISE 2016, PT II, 2016, 10042 : 298 - 305
  • [29] A UML profile for executable and incremental specification-level modeling
    Pitkänen, R
    Selonen, P
    UML 2004 - THE UNIFIED MODELING LANGUAGE: MODELING LANGUAGES AND APPLICATIONS, PROCEEDINGS, 2004, 3273 : 158 - 172
  • [30] UML for executable specification
    Douglass, BP
    EDN, 2001, 46 (18) : 83 - +
12345