Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE

1992 ◽  
Vol 18 (9) ◽  
pp. 785-793 ◽  
Author(s):  
N. Halbwachs ◽  
F. Lagnier ◽  
C. Ratel
Keyword(s):  
Real Time ◽  
Data Flow ◽  
Real Time Systems ◽  
Synchronous Data Flow ◽  
Time Systems

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.

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