MODECHART - A SPECIFICATION LANGUAGE FOR REAL-TIME SYSTEMS

被引：74
|
作者：
JAHANIAN, F [1 ]
MOK, AK [1 ]
机构：
[1] UNIV TEXAS,DEPT COMP SCI,AUSTIN,TX 78712
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1994年 / 20卷 / 12期
关键词：
REAL-TIME SYSTEMS; SPECIFICATION; RAPID PROTOTYPING; TIMING CONSTRAINTS; RTL;
D O I：
10.1109/32.368134
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper, we present a specification language for real-time systems called Modechart. The semantics of Modechart is given in terms of RTL (Real Time Logic [8]) that is especially amenable to reasoning about the absolute (real-time clock) timing of events. The semantics of Modechart has an important property that the translation of a Modechart specification into RTL formulas will result in a hierarchical organization of the resulting RTL assertions. This gives us significant leverage in reasoning about properties of a system by allowing us to filter out assertions that concern lower levels of abstraction. Some results about desirable properties of Modechart specifications will be given. A graphical implementation of Modechart has been completed.
引用
收藏
页码：933 / 947
页数：15
相关论文
共 50 条
  • [21] UML specification of real-time imaging systems
    Neill, CJ
    Laplante, PA
    6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VII, PROCEEDINGS: INFORMATION SYSTEMS DEVELOPMENT II, 2002, : 273 - 277
  • [22] Specification and Timing Analysis of Real-Time Systems
    Shuhua Wang
    Grace Tsai
    Real-Time Systems, 2004, 28 : 69 - 90
  • [23] REQUIREMENT SPECIFICATION FOR REAL-TIME AND HYBRID SYSTEMS
    HE, HP
    ZEDAN, H
    FORMAL DESCRIPTION TECHNIQUES, VI, 1994, 22 : 269 - 284
  • [24] Specification and analysis of real-time systems in statecharts
    Cha, SD
    Hong, HS
    SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 137 - 143
  • [25] Specification Theories for Probabilistic and Real-Time Systems
    Fahrenberg, Uli
    Legay, Axel
    Traonouez, Louis-Marie
    FROM PROGRAMS TO SYSTEMS: THE SYSTEMS PERSPECTIVE IN COMPUTING, 2014, 8415 : 98 - 117
  • [26] The API Specification for Real-Time Database Systems
    Ning Wei
    Wang Dao-lin
    PROCEEDINGS OF 2009 INTERNATIONAL WORKSHOP ON INFORMATION SECURITY AND APPLICATION, 2009, : 311 - 314
  • [27] Parallel real-time systems: Formal specification
    Choudhary, AN
    Gehlot, V
    Narahari, B
    FOURTH INTERNATIONAL CONFERENCE ON HIGH-PERFORMANCE COMPUTING, PROCEEDINGS, 1997, : 186 - 191
  • [28] Specification and timing analysis of real-time systems
    Wang, SH
    Tsai, G
    REAL-TIME SYSTEMS, 2004, 28 (01) : 69 - 90
  • [29] Diagrammatic Specification of Mobile Real-Time Systems
    Linker, Sven
    DIAGRAMMATIC REPRESENTATION AND INFERENCE, 2010, 6170 : 316 - 318
  • [30] Specification and analysis of real-time systems with PARAGON
    Sokolsky, O
    Lee, I
    Ben-Abdallah, H
    ANNALS OF SOFTWARE ENGINEERING, 1999, 7 : 211 - 234
12345