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 条

[31] Testing real-time systems from compositional symbolic specifications
Damasceno, Adriana C.
Machado, Patricia D. L.
Andrade, Wilkerson L.
[J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (01) : 53 - 71
[32] Resolving executing-committing conflicts in distributed real-time database systems
Lam, KY
Pang, CL
Son, SH
Cao, JN
[J]. COMPUTER JOURNAL, 1999, 42 (08): : 674 - 692
[33] Modeling time in object-oriented specifications of real-time imaging systems
Neill, CJ
Laplante, PA
[J]. LOW-LIGHT-LEVEL AND REAL-TIME IMAGING SYSTEMS, COMPONENTS, AND APPLICATIONS, 2003, 4796 : 200 - 206
[34] Deriving real-time action systems in a sampling logic
Dongol, Brijesh
Hayes, Ian J.
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (11) : 2047 - 2063
[35] ON THE SPECIFICATION OF REAL-TIME SYSTEMS USING LOGIC PROGRAMMING
GARZOTTO, F
GHEZZI, C
MANDRIOLI, D
MORZENTI, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 289 : 180 - 190
[36] Specification of real-time and hybrid systems in rewriting logic
Ölveczky, PC
Meseguer, J
[J]. THEORETICAL COMPUTER SCIENCE, 2002, 285 (02) : 359 - 405
[37] MASL: A logic for the specification of multiagent real-time systems
Bugaychenko, Dmitry
Soloviev, Igor
[J]. MULTI-AGENT SYSTEMS AND APPLICATIONS V, PROCEEDINGS, 2007, 4696 : 183 - 192
[38] APPLICATIONS OF TEMPORAL LOGIC TO THE SPECIFICATION OF REAL-TIME SYSTEMS
PNUELI, A
HAREL, E
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 331 : 84 - 98
[39] Real-time specifications of the geospace environment
Kamide, Y
Kihn, EA
Ridley, AJ
Cliver, EW
Kadowaki, Y
[J]. SPACE SCIENCE REVIEWS, 2003, 107 (1-2) : 307 - 316
[40] Automatic abstractions of real-time specifications
Brockmeyer, M
[J]. FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, : 147 - 158

← 1 2 3 4 5 →