Operational and logical semantics for polling real-time systems

被引：0

作者：

Dierks, H

Fehnker, A

Mader, A

Vaandrager, F

机构：

[1] Univ Nijmegen, Inst Comp Sci, NL-6500 GL Nijmegen, Netherlands

[2] Carl von Ossietzky Univ Oldenburg, D-2900 Oldenburg, Germany

来源：

FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS | 1998年 / 1486卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware widely used in industry to control processes. Also, PLC-Automata have been equipped with a logical and operational semantics, using Duration Calculus (DC) and Timed Automata (TA), respectively. The three main results of this paper are: (1) A simplified operational semantics. (2) A minor extension of the logical semantics, and a proof that this semantics is complete relative to our operational semantics. This means that if an observable satisfies all formulas of the DC semantics, then it can also be generated by the TA semantics. (3) A proof that the logical semantics is sound relative to our operational semantics. This means that each observable that is accepted by the TA semantics constitutes a model for all formulas of the DC semantics.

引用

页码：29 / 40

页数：12

共 50 条

[1] An operational semantics and compiler for Real-Time specifications
Puchol, C
Stuart, DA
Mok, AK
[J]. INTEGRATED COMPUTER-AIDED ENGINEERING, 1998, 5 (03) : 187 - 206
[2] An Operational Semantics of Real-Time Process Algebra (RTPA)
Wang, Yingxu
Ngolah, Cyprian F.
[J]. INTERNATIONAL JOURNAL OF COGNITIVE INFORMATICS AND NATURAL INTELLIGENCE, 2008, 2 (03) : 71 - 89
[3] A DISTRIBUTED REAL-TIME LANGUAGE AND ITS OPERATIONAL SEMANTICS
KRISHNAN, P
VOLZ, R
[J]. REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1989, : 41 - 50
[4] AN OPERATIONAL APPROACH TO SEMANTICS OF REAL-TIME PROGRAMMING LANGUAGE
HUZAR, Z
[J]. COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1991, 10 (03): : 239 - 254
[5] Operational semantics for real-time processes with action refinement
Sun, XL
Wu, JZ
[J]. SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 54 - 63
[6] The Polling Effect on the Schedulability of Distributed Real-Time Systems
Perez, Hector
Javier Gutierrez, J.
Gonzalez Harbour, Michael
Carlos Palencia, J.
[J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2016, 2016, 9695 : 179 - 194
[7] Real-Time Concurrent Constraint Calculus: The Complete Operational Semantics
Gerardo, M.
Sarria, M.
[J]. ENGINEERING LETTERS, 2011, 19 (01) : 38 - 45
[8] Logical specification of reactive and real-time systems
Lano, K
[J]. JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (05) : 679 - 711
[9] An equivalence theorem for the operational and temporal semantics of real-time, concurrent programs
Cardell-Oliver, R
[J]. JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (04) : 545 - 567
[10] Logical Formalism for Specification of Real-Time Multiagent Systems
Bugaichenko, D. Yu.
Solov'ev, I. P.
[J]. VESTNIK ST PETERSBURG UNIVERSITY-MATHEMATICS, 2007, 40 (02) : 131 - 137

← 1 2 3 4 5 →