SPECIFICATION OF REAL-TIME SYSTEMS

被引：0

作者：

PATNAIK, LM

MALL, R

机构：

[1] INDIAN INST SCI, DEPT COMP SCI & AUTOMAT, BANGALORE 560012, KARNATAKA, INDIA

[2] INDIAN INST SCI, MICROPROC APPLICAT LAB, BANGALORE 560012, KARNATAKA, INDIA

来源：

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING | 1993年 / 3卷 / 02期

关键词：

SOFTWARE ENGINEERING; REAL-TIME SYSTEMS; FORMAL SPECIFICATION AND VERIFICATION; REAL-TIME SAFETY;

D O I：

10.1142/S0218194093000136

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Inspite of numerous research advancements made in recent years in the area of formal techniques, specification of real-time systems is still proving to be a very challenging and difficult problem. In this context, this paper critically examines state-of-the-art specification techniques for real-time systems and analyzes the emerging trends.

引用

页码：267 / 285

页数：19

共 50 条

[1] MULTILEVEL SPECIFICATION OF REAL-TIME SYSTEMS
GABRIELIAN, A
FRANKLIN, MK
[J]. COMMUNICATIONS OF THE ACM, 1991, 34 (05) : 50 - 60
[2] SPECIFICATION TECHNIQUES FOR REAL-TIME SYSTEMS
LUDEWIG, J
MATHEIS, H
[J]. COMPUTER STANDARDS & INTERFACES, 1987, 6 (01) : 115 - 133
[3] FORMAL SPECIFICATION OF REAL-TIME SYSTEMS
GORSKI, J
[J]. COMPUTER PHYSICS COMMUNICATIONS, 1988, 50 (1-2) : 71 - 88
[4] Specification and analysis of real-time systems using Real-Time Maude
Ölveczky, PC
Meseguer, J
[J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 354 - 358
[5] Logical specification of reactive and real-time systems
Lano, K
[J]. JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (05) : 679 - 711
[6] Specification and refinement of continuous real-time systems
Goldsack, S
Lano, K
Durr, E
[J]. TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 310 - 324
[7] Functional specification of real-time and hybrid systems
Muller, O
Scholz, P
[J]. HYBRID AND REAL-TIME SYSTEMS, 1997, 1201 : 273 - 285
[8] SPECIFICATION AND COMPOSITIONAL VERIFICATION OF REAL-TIME SYSTEMS
HOOMAN, J
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 558 : R3 - 235
[9] UML specification of real-time imaging systems
Neill, CJ
Laplante, PA
[J]. 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VII, PROCEEDINGS: INFORMATION SYSTEMS DEVELOPMENT II, 2002, : 273 - 277
[10] A SPECIFICATION LANGUAGE FOR RELIABLE REAL-TIME SYSTEMS
WUPPER, H
VYTOPIL, J
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 331 : 111 - 127

← 1 2 3 4 5 →