Behavioral Specification of Real-time Requirements

被引：3
|
作者：
Babamir, Seyed Morteza [1 ]
Babamir, Faezeh Sadat [2 ]
机构：
[1] Univ Kashan, Dept Comp Engn, Kashan, Iran
[2] Shahid Bahonar Univ Kerman, Dept Math & Comp Sci, Kerman, Iran
来源：
APSEC 2008:15TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS | 2008年
关键词：
D O I：
10.1109/APSEC.2008.22
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper aims to present a systematic method to: (1) specify high-level and event based real-time requirements and (2) map the specified requirements to low-level and state-based one. The former indicates the external system behavior while the latter indicates the internal one, which the external behavior are specified in environment events and the internal behavior is specified in software entities and operations such as variables and method calls. The mapping can be used in software development process anti software monitoring against safety requirements. Lastly, we apply our method to requirements of a real-time safety critical system called Railroad Crossing Control (RCC).
引用
收藏
页码：299 / +
页数：2
相关论文
共 50 条
  • [41] Cost enforcement in the real-time specification for Java
    Osmar Marchi dos Santos
    Andy Wellings
    [J]. Real-Time Systems, 2007, 37 : 139 - 179
  • [42] DETECTION OF CYCLE IN REAL-TIME SYSTEM SPECIFICATION
    KIRNER, TG
    [J]. SIGPLAN NOTICES, 1994, 29 (07): : 43 - 50
  • [43] Specification and refinement of continuous real-time systems
    Goldsack, S
    Lano, K
    Durr, E
    [J]. TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 310 - 324
  • [44] REAL-TIME SOFTWARE SPECIFICATION AND VALIDATION WITH TRANSNET
    SACHA, KM
    [J]. REAL-TIME SYSTEMS, 1994, 6 (02) : 153 - 172
  • [45] Logical specification of reactive and real-time systems
    Lano, K
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (05) : 679 - 711
  • [46] Formal analysis of a real-time kernel specification
    Fowler, S
    Wellings, A
    [J]. FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1996, 1135 : 440 - 458
  • [47] Functional specification of real-time and hybrid systems
    Muller, O
    Scholz, P
    [J]. HYBRID AND REAL-TIME SYSTEMS, 1997, 1201 : 273 - 285
  • [48] MODECHART - A SPECIFICATION LANGUAGE FOR REAL-TIME SYSTEMS
    JAHANIAN, F
    MOK, AK
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (12) : 933 - 947
  • [49] REQUIREMENT SPECIFICATION FOR REAL-TIME AND HYBRID SYSTEMS
    HE, HP
    ZEDAN, H
    [J]. FORMAL DESCRIPTION TECHNIQUES, VI, 1994, 22 : 269 - 284
  • [50] Specification and analysis of real-time systems in statecharts
    Cha, SD
    Hong, HS
    [J]. SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 137 - 143
12345