VALIDATING REAL-TIME SYSTEMS BY EXECUTING LOGIC SPECIFICATIONS

被引：0

作者：

MORZENTI, A ^{[1
]}

机构：

[1] POLITECN MILAN,DIPARTIMENTO ELETTR,I-20133 MILAN,ITALY

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1992年 / 600卷

关键词：

SOFTWARE REQUIREMENTS; FORMAL SPECIFICATIONS; REQUIREMENTS VALIDATION; REAL-TIME; 1ST-ORDER LOGIC; TEMPORAL LOGIC; MODEL-THEORETIC SEMANTICS;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

TRIO is a first-order temporal logic language for executable specification of real-time systems. The language is first briefly introduced, with some specification examples and a simple model-theoretic semantics. Algorithms for performing validation activities with reference to finite interpretation domains are illustrated and discussed. With the purpose of providing a consistent meaning to specifications with reference to a variety of temporal structures, both finite and infinite, a model-parametric semantics for the language is provided, and its main properties delineated. Finally, conclusions are drawn and future work is outlined.

引用

页码：502 / 525

页数：24

共 50 条

[1] Wrapping real-time systems from temporal logic specifications
Rodríguez, M
Fabre, JC
Arlat, J
[J]. DEPENDABLE COMPUTING: EDCC-4, PROCEEDINGS, 2002, 2485 : 253 - 270
[2] TRIO - A LOGIC LANGUAGE FOR EXECUTABLE SPECIFICATIONS OF REAL-TIME SYSTEMS
GHEZZI, C
MANDRIOLI, D
MORZENTI, A
[J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1990, 12 (02) : 107 - 123
[3] Representing and executing real-time systems
Ramirez, R
[J]. EURO-PAR '98 PARALLEL PROCESSING, 1998, 1470 : 279 - 287
[4] GENERATING TEST CASES FOR REAL-TIME SYSTEMS FROM LOGIC SPECIFICATIONS
MANDRIOLI, D
MORASCA, S
MORZENTI, A
[J]. ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1995, 13 (04): : 365 - 398
[5] Verifying Linear Real-Time Logic specifications
Andrei, Stefan
Cheng, Albert M. K.
[J]. RTSS 2007: 28TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2007, : 333 - +
[6] TIMED SPECIFICATIONS FOR THE DEVELOPMENT OF REAL-TIME SYSTEMS
JARAY, J
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 331 : 67 - 83
[7] Executable Specifications for Real-Time Distributed Systems
Ray, Arnab
Cleaveland, Rance
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 203 (04) : 3 - 17
[8] Optimization of real-time systems timing specifications
Andrei, Stefan
Cheng, Albert Mo Kim
[J]. 12TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2006, : 68 - +
[9] Validating real-time constraints in embedded systems
Shyamasundar, RK
Aghav, JV
[J]. 2001 PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2001, : 347 - 355
[10] VALIDATING JS']JSD SPECIFICATIONS BY EXECUTING THEM
WARHURST, R
FLYNN, D
[J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1990, 32 (09) : 598 - 612

← 1 2 3 4 5 →