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 条

[21] REAL-TIME PROGRAMMING SPECIFICATIONS
HEAD, RV
COMMUNICATIONS OF THE ACM, 1963, 6 (07) : 376 - 383
[22] Refactoring Real-time Specifications
Smith, Graeme
McComb, Tim
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 214 (0C) : 359 - 380
[23] DEALING WITH DIFFERENT TIME GRANULARITIES IN FORMAL SPECIFICATIONS OF REAL-TIME SYSTEMS
CORSETTI, E
MONTANARI, A
RATTO, E
REAL-TIME SYSTEMS, 1991, 3 (02) : 191 - 215
[24] Decomposing real-time specifications
Olderog, ER
Dierks, H
COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE, 1998, 1536 : 465 - 489
[25] Testing real-time systems from compositional symbolic specifications
Adriana C. Damasceno
Patricia D. L. Machado
Wilkerson L. Andrade
International Journal on Software Tools for Technology Transfer, 2017, 19 : 53 - 71
[26] Automatic Code Generation from Real-Time Systems Specifications
Carnevali, L.
D'Amico, D.
Ridi, L.
Vicario, E.
RSP 2009: TWENTIETH IEEE/IFIP INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2009, : 102 - 105
[27] VERIFYING PROPERTIES OF HMS MACHINE SPECIFICATIONS OF REAL-TIME SYSTEMS
GABRIELIAN, A
IYER, R
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 575 : 421 - 431
[28] Prototyping from SDL specifications using a real-time concurrent logic language
Kovacevic, R
Prairie, D
Dasiewicz, P
1997 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, CONFERENCE PROCEEDINGS, VOLS I AND II: ENGINEERING INNOVATION: VOYAGE OF DISCOVERY, 1997, : 265 - 268
[29] A note on the verification of automata specifications of probabilistic real-time systems
Moura, AV
Pinto, GA
INFORMATION PROCESSING LETTERS, 2002, 82 (05) : 223 - 228
[30] RTSYNCHRONIZER - LANGUAGE SUPPORT FOR REAL-TIME SPECIFICATIONS IN DISTRIBUTED SYSTEMS
REN, SP
AGHA, GA
SIGPLAN NOTICES, 1995, 30 (11): : 50 - 59

← 1 2 3 4 5 →