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

2009 ◽  
Vol 58 (12) ◽  
pp. 1640-1653 ◽  
Author(s):  
Ştefan Andrei ◽  
Albert Mo Kim Cheng
Keyword(s):  
Real Time ◽  
Time Logic ◽  
Efficient Verification

State clock logic: A decidable real-time logic

1997 ◽  
pp. 33-47 ◽  
Author(s):  
Jean-François Raskin ◽  
Pierre-Yves Schobbens
Keyword(s):  
Real Time ◽  
Time Logic

From Real-time Logic to Timed Automata

2019 ◽  
Vol 66 (3) ◽  
pp. 1-31 ◽  
Author(s):  
Thomas Ferrère ◽  
Oded Maler ◽  
Dejan Ničković ◽  
Amir Pnueli
Keyword(s):  
Real Time ◽  
Timed Automata ◽  
Time Logic

scholarly journals Real-time logic modelling on SpaceWire

2017 ◽  
Author(s):  
Qiang Zhou ◽  
Yunpeng Ma ◽  
Haidong Fei ◽  
Xingyou Wang
Keyword(s):  
Real Time ◽  
Time Logic

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

1993 ◽  
Vol 02 (01) ◽  
pp. 71-91 ◽  
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.

Optimizing path real-time logic for unified real-time system

2016 ◽  
Vol 21 (12) ◽  
pp. 3135-3145
Author(s):  
Xudong Zhu ◽  
Kin Fun Li ◽  
Huiyou Chang
Keyword(s):  
Real Time ◽  
Time System ◽  
Real Time System ◽  
Time Logic
Sign in / Sign up

Export Citation Format

Share Document