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 条

[41] METHODS FOR VALIDATING REAL-TIME CONSTRAINTS
LIU, JWS
HA, R
JOURNAL OF SYSTEMS AND SOFTWARE, 1995, 30 (1-2) : 85 - 98
[42] Real-Time Specifications of the Geospace Environment
Y. Kamide
E.A. Kihn
A.J. Ridley
E.W. Cliver
Y. Kadowaki
Space Science Reviews, 2003, 107 : 307 - 316
[43] Automatic abstractions of real-time specifications
Brockmeyer, M
FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, : 147 - 158
[44] An MILP Approach for Real-time Optimal Controller Synthesis with Metric Temporal Logic Specifications
Saha, Sayan
Julius, A. Agung
2016 AMERICAN CONTROL CONFERENCE (ACC), 2016, : 1105 - 1110
[45] Temporal abstract classes and virtual temporal specifications for real-time systems
Pons, AP
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2002, 11 (03) : 291 - 308
[46] An approach to modeling and evaluation of functional and timing specifications of real-time systems
Naedele, M
JOURNAL OF SYSTEMS AND SOFTWARE, 2001, 57 (02) : 155 - 174
[47] Modeling and validating distributed embedded real-time systems with VDM++
Verhoef, Marcel
Larsen, Peter Gorm
Hooman, Jozef
FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 147 - 162
[48] Modelling real-time systems with continuous-time temporal logic
Li, GY
Tang, ZS
FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 231 - 236
[49] Model Checking of Real-Time Systems Using Rewriting Logic
Bendiaf, Messaoud
Bourahla, Mustapha
Boudia, Malika
Rehab, Seidali
PROCEEDINGS OF 2017 INTERNATIONAL CONFERENCE ON ELECTRICAL AND INFORMATION TECHNOLOGIES (ICEIT 2017), 2017,
[50] Verification of complex real-time systems using rewriting logic
Computer Science Department, University of Biskra, BP 145 RP, Biskra
07000, Algeria
J. Compt. Inf. Technol., 2009, 3 (265-284):

← 1 2 3 4 5 →