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 条

[21] An overview of the real-time CORBA specification
Schmidt, DC
Kuhns, F
[J]. COMPUTER, 2000, 33 (06) : 56 - +
[22] MULTILEVEL SPECIFICATION OF REAL-TIME SYSTEMS
GABRIELIAN, A
FRANKLIN, MK
[J]. COMMUNICATIONS OF THE ACM, 1991, 34 (05) : 50 - 60
[23] The real-time specification for Java']Java
Bollella, G
Gosling, J
[J]. COMPUTER, 2000, 33 (06) : 47 - +
[24] SPECIFICATION TECHNIQUES FOR REAL-TIME SYSTEMS
LUDEWIG, J
MATHEIS, H
[J]. COMPUTER STANDARDS & INTERFACES, 1987, 6 (01) : 115 - 133
[25] The Real-Time Specification for Java']Java
Hardin, D
[J]. DR DOBBS JOURNAL, 2000, 25 (02): : 78 - +
[26] Specification of real-time interaction constraints
Nielsen, B
Ren, SP
Agha, G
[J]. FIRST INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC '98), 1998, : 206 - 214
[27] FORMAL SPECIFICATION OF REAL-TIME SYSTEMS
GORSKI, J
[J]. COMPUTER PHYSICS COMMUNICATIONS, 1988, 50 (1-2) : 71 - 88
[28] REQUIREMENTS FOR REAL-TIME LANGUAGES
OPLER, A
[J]. COMMUNICATIONS OF THE ACM, 1966, 9 (03) : 196 - &
[29] Vacuous Real-time Requirements
Post, Amalinda
Hoenicke, Jochen
Podelski, Andreas
[J]. 2011 19TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2011, : 153 - 162
[30] DEVELOPING REAL-TIME REQUIREMENTS
RIPPS, DL
[J]. EDN, 1990, 35 (21) : 223 - &

← 1 2 3 4 5 →