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 条
  • [1] A TEMPORAL APPROACH TO REQUIREMENTS SPECIFICATION OF REAL-TIME SYSTEMS
    NAIK, Y
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 341 - 361
  • [2] Specification and refinement of soft real-time requirements using sequence diagrams
    Refsdal, A
    Husa, KE
    Stolen, K
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2005, 3829 : 32 - 48
  • [3] Specification and analysis of timing requirements for real-time systems in the CBD approach
    Ho Kyoung Lee
    Woo Jin Lee
    Heung Seok Chae
    Yong Rae Kwon
    [J]. Real-Time Systems, 2007, 36 : 135 - 158
  • [4] Improving Real-time Software Quality by Direct Specification of Timing Requirements
    Korsgaard, Martin
    Skavhaug, Amund
    Hendseth, Sverre
    [J]. 2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 528 - 536
  • [5] Specification and analysis of timing requirements for real-time systems in the CBD approach
    Lee, Ho Kyoung
    Lee, Woo Jin
    Chae, Heung Seok
    Kwon, Yong Rae
    [J]. REAL-TIME SYSTEMS, 2007, 36 (1-2) : 135 - 158
  • [6] SPECIFICATION OF REAL-TIME SYSTEMS
    PATNAIK, LM
    MALL, R
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1993, 3 (02) : 267 - 285
  • [7] A real-time specification language
    do Amaral, FN
    Haeusler, EH
    Endler, M
    [J]. ADVANCES IN LOGIC, ARTIFICIAL INTELLIGENCE AND ROBOTICS, 2002, 85 : 194 - 201
  • [8] Real-time specification patterns
    Konrad, S
    Cheng, BHC
    [J]. ICSE 05: 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2005, : 372 - 381
  • [9] Requirements specification of real-time systems: Temporal parameters and timing-constraints
    Kirner, TG
    Davis, AM
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1996, 38 (12) : 735 - 741
  • [10] A logic-based requirements language for the specification and analysis of real-time systems
    Tsai, JJP
    Weigert, T
    [J]. SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 8 - 16
12345