Formal analysis of sporadic overload in real-time systems

2012 ◽  
Author(s):  
S. Quinton ◽  
M. Hanke ◽  
R. Ernst
Keyword(s):  
Real Time ◽  
Formal Analysis ◽  
Real Time Systems ◽  
Time Systems

Formal Analysis of Real-Time Systems

2011 ◽  
pp. 342-375
Author(s):  
Osman Hasan ◽  
Sofiène Tahar
Keyword(s):  
Performance Analysis ◽  
Real Time ◽  
Formal Analysis ◽  
Higher Order ◽  
Order Logic ◽  
Real Time Systems ◽  
Higher Order Logic ◽  
Distributed Components ◽  
And Performance ◽  
Time Systems

Real-time systems usually involve a subtle interaction of a number of distributed components and have a high degree of parallelism, which makes their performance analysis quite complex. Thus, traditional techniques, such as simulation, or state-based formal methods usually fail to produce reasonable results. The main limitation of these approaches may be overcome by conducting the performance analysis of real-time systems using higher-order-logic theorem proving. This chapter is mainly oriented towards this emerging trend and it provides the details about analyzing both functional and performance related properties of real-time systems using a higher-order-logic theorem prover (HOL). For illustration purposes, the Stop-and-Wait protocol, which is a classical example of real-time systems, has been considered as a case-study.

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
Sign in / Sign up

Export Citation Format

Share Document