A survey on temporal logics for specifying and verifying real-time systems

2013 ◽  
Vol 7 (3) ◽  
pp. 370-403 ◽  
Author(s):  
Savas Konur
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Temporal Logics ◽  
Time Systems

COMPONENT-BASED VERIFICATION IN A SYNCHRONOUS SETTING

2001 ◽  
Vol 11 (02) ◽  
pp. 181-203 ◽  
Author(s):  
AGATHE MERCERON ◽  
G. MICHELE PINNA
Keyword(s):  
Formal Verification ◽  
Real Time ◽  
Point Of View ◽  
Practical Relevance ◽  
Real Time Systems ◽  
Temporal Logics ◽  
Synchronous Languages ◽  
Safety Critical ◽  
Time Systems

Formal verification of properties in reactive real-time systems is crucial, as these systems are often safety-critical. Such systems are successfully implemented using synchronous languages, where refinement is a relevant operation. This paper investigates the interplay between this operation and formal verification. It turns out that, while for the refined program component-based verification of properties expressed using suitable temporal logics is easily achieved, component-based verification from the point of view of the refining program is best achieved with observers. Our results are based on a translation of synchronous programs into Boolean automata. Their practical relevance is illustrated with a protocol case study.

Software Engineering for Real Time Systems

IEE Review ◽  
1992 ◽  
Vol 38 (3) ◽  
pp. 112
Author(s):  
Stuart Bennett
Keyword(s):  
Software Engineering ◽  
Real Time ◽  
Real Time Systems ◽  
Time Systems

Generic Round Robin Scheduling for Real Time Systems

2017 ◽  
Vol 7 (5) ◽  
pp. 148-155
Author(s):  
Pallab Banerjee ◽  
◽  
Riya Shree ◽  
Richa Kumari Verma ◽  
◽  
...  
Keyword(s):  
Real Time ◽  
Round Robin ◽  
Real Time Systems ◽  
Time Systems

Elastic scheduling in real-time systems

2013 ◽  
Vol 32 (2) ◽  
pp. 573-577
Author(s):  
Zhi-bang YANG ◽  
Cheng XU ◽  
Xu ZHOU ◽  
Xue-qing ZHU
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Time Systems ◽  
Elastic Scheduling
Sign in / Sign up

Export Citation Format

Share Document