scholarly journals A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems

2019 ◽  
Vol 52 (3) ◽  
pp. 1-38 ◽  
Author(s):  
Claire Maiza ◽  
Hamza Rihani ◽  
Juan M. Rivas ◽  
Joël Goossens ◽  
Sebastian Altmeyer ◽  
...  
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Timing Verification ◽  
Time Systems ◽  
Verification Techniques

scholarly journals Formal Verification of Real-Time Systems with Data Processing

2017 ◽  
Vol 61 (2) ◽  
pp. 166
Author(s):  
Tamás Tóth ◽  
István Majzik
Keyword(s):  
Real Time ◽  
Program Verification ◽  
Data Flow ◽  
Timed Automata ◽  
Formal Analysis ◽  
Time Behavior ◽  
Real Time Systems ◽  
Critical Systems ◽  
Time Systems ◽  
Verification Techniques

The behavior of practical safety critical systems often combines real-time behavior with structured data flow. To ensure correctness of such systems, both aspects have to be modeled and formally verified. Time related behavior can be efficiently modeled and analyzed in terms of timed automata. At the same time, program verification techniques like abstract interpretation and software model checking can efficiently handle data flow. In this paper, we describe a simple formalism that represents both aspects of such systems in a uniform and explicit way, thus enables the combination of formal analysis methods for real-time systems and software using standard techniques.

A Model Transformation Approach for Specifying Real-Time Systems and Its Verification Using RT-Maude

2017 ◽  
Vol 12 (4) ◽  
pp. 22-41
Author(s):  
Messaoud Bendiaf ◽  
Mustapha Bourahla ◽  
Malika Boudia ◽  
Seidali Rehab
Keyword(s):  
Real Time ◽  
Model Transformation ◽  
Maintenance Cost ◽  
Cost Models ◽  
Real Time Systems ◽  
Time To Build ◽  
State Chart ◽  
Source Models ◽  
Time Systems ◽  
Verification Techniques

Real-time systems must be properly validated and verified before their manufacturing and deployment in order to increase their reliability and reduce their maintenance cost. Models have been used for a long time to build complex systems, in virtually every engineering field. This is because they provide invaluable help in making important design decisions before the system is implemented. In this paper, the authors propose an approach based on model transformation to apply formal verification techniques to demonstrate the correctness of system designs. At the first step, they describe real-time systems by state chart (machine) diagrams, as source models to generate RT-Maude models (target models). The second step is to use the result models to verify the real-time systems against specified LTL properties using Maude LTL Model-Checker. This approach is illustrated through an example.

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

An adaptive scheduling algorithm for fault-tolerant real-time systems

1991 ◽  
Vol 6 (3) ◽  
pp. 93 ◽  
Author(s):  
Houssine Chetto ◽  
Maryline Chetto
Keyword(s):  
Real Time ◽  
Fault Tolerant ◽  
Scheduling Algorithm ◽  
Adaptive Scheduling ◽  
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

Two Improved EDF Dynamic Scheduling Algorithms in Soft Real-Time Systems

2011 ◽  
Vol 34 (5) ◽  
pp. 943-950 ◽  
Author(s):  
Qi LI ◽  
Wei BA
Keyword(s):  
Real Time ◽  
Dynamic Scheduling ◽  
Scheduling Algorithms ◽  
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