State clock logic: A decidable real-time logic

Using Real-Time Logic Synthesis Tool to Achieve Process Control over Wireless Sensor Networks

12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06) ◽

10.1109/rtcsa.2006.62 ◽

2006 ◽

Author(s):

Jianping Song ◽

Aloysius K. Mok ◽

Deji Chen ◽

M. Nixon

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Process Control ◽

Real Time ◽

Logic Synthesis ◽

Wireless Sensor ◽

Time Logic ◽

Synthesis Tool

Download Full-text

RVERL: Run-time Verification of Real-time and Reactive Programs using Event-based Real-Time Logic Approach

5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007) ◽

10.1109/sera.2007.116 ◽

2007 ◽

Author(s):

Saeed Jalili ◽

Mehdi MirzaAghaei

Keyword(s):

Real Time ◽

Time Logic ◽

Logic Approach ◽

Run Time ◽

Event Based ◽

Reactive Programs

Download Full-text

Semantics of Modechart in real time logic

[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track ◽

10.1109/hicss.1988.11840 ◽

2003 ◽

Cited By ~ 35

Author(s):

F. Jahanian ◽

R. Lee ◽

A.K. Mok

Keyword(s):

Real Time ◽

Time Logic

Download Full-text

Efficient Verification and Optimization of Real-Time Logic-Specified Systems

IEEE Transactions on Computers ◽

10.1109/tc.2009.79 ◽

2009 ◽

Vol 58 (12) ◽

pp. 1640-1653 ◽

Cited By ~ 7

Author(s):

Ştefan Andrei ◽

Albert Mo Kim Cheng

Keyword(s):

Real Time ◽

Time Logic ◽

Efficient Verification

Download Full-text

From Real-time Logic to Timed Automata

Journal of the ACM ◽

10.1145/3286976 ◽

2019 ◽

Vol 66 (3) ◽

pp. 1-31 ◽

Cited By ~ 2

Author(s):

Thomas Ferrère ◽

Oded Maler ◽

Dejan Ničković ◽

Amir Pnueli

Keyword(s):

Real Time ◽

Timed Automata ◽

Time Logic

Download Full-text

Real-time logic modelling on SpaceWire

10.1063/1.4981546 ◽

2017 ◽

Author(s):

Qiang Zhou ◽

Yunpeng Ma ◽

Haidong Fei ◽

Xingyou Wang

Keyword(s):

Real Time ◽

Time Logic

Download Full-text

Real-Time Logic Verification of a Wireless Sensor Network

2009 WRI World Congress on Computer Science and Information Engineering ◽

10.1109/csie.2009.944 ◽

2009 ◽

Cited By ~ 5

Author(s):

J. Green ◽

S. Bhattacharyya ◽

B. Panja

Keyword(s):

Wireless Sensor Network ◽

Real Time ◽

Sensor Network ◽

Wireless Sensor ◽

Time Logic ◽

Logic Verification

Download Full-text

AN EVENT-BASED REAL-TIME LOGIC FOR THE SPECIFICATION AND ANALYSIS OF REAL-TIME SYSTEMS

International Journal of Artificial Intelligence Tools ◽

10.1142/s0218213093000060 ◽

1993 ◽

Vol 02 (01) ◽

pp. 71-91 ◽

Cited By ~ 2

Author(s):

HORNG-YUAN CHEN ◽

JEFFREY J.P. TSAI ◽

YAODONG BI

Keyword(s):

Real Time ◽

Temporal Logic ◽

Programming Language ◽

Target System ◽

Real Time Systems ◽

Testing And Debugging ◽

Time Logic ◽

Prolog Programming ◽

Event Based ◽

Time Systems

Research on real-time systems now focuses on formal approaches to specify and analyze the behavior of real-time systems. Temporal logic is a natural candidate for this since it can specify properties of event and state sequences. However, “pure” temporal logic cannot specify “quantitative” aspect of time. The concepts of eventuality, fairness, etc. are essentially “qualitative” treatment of time. The pure temporal logic makes no reference to absolute time. For real-time systems, the pure qualitative specification and analysis of time are inadequate. In this paper, we present a modification of temporal logic—Event-based Real-time Logic (ERL), based on our event-based conceptual model. The ERL provides a high-level framework for specifying timing properties of real-time systems, and it can be implemented using Prolog programming language. In our approach to testing and debugging of real-time systems, the ERL is used to specify both expected behavior (specification) and actual behavior (execution traces) of the target system and to verify that the target system achieves the specification. In this paper, a method is presented to implement the ERL using Prolog programming language for testing and debugging real-time systems.

Download Full-text