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