scholarly journals A Parameterized Formal Model for the Analysis of Preemption-Threshold Scheduling in Real-Time Systems

IEEE Access ◽  
2020 ◽  
Vol 8 ◽  
pp. 58180-58193
Author(s):  
Imene Ben Hafaiedh ◽  
Maroua Ben Slimane
Keyword(s):  
Real Time ◽  
Formal Model ◽  
Real Time Systems ◽  
Time Systems

An action-based formal model for concurrent real-time systems

1997 ◽  
Vol 9 (2) ◽  
pp. 175-207 ◽  
Author(s):  
C. J. Fidge ◽  
A. J. Wellings
Keyword(s):  
Real Time ◽  
Formal Model ◽  
Real Time Systems ◽  
Time Systems

scholarly journals On the Designing of Model Checkers for Real-Time Distributed Systems

2015 ◽  
Vol 19 (6) ◽  
pp. 45-56 ◽  
Author(s):  
D. Yu. Volkanov ◽  
V. A. Zakharov ◽  
D. A. Zorin ◽  
I. V. Konnov ◽  
V. V. Podymov
Keyword(s):  
Distributed Systems ◽  
Model Checking ◽  
Real Time ◽  
Query Language ◽  
Formal Model ◽  
Timed Automata ◽  
Operational Semantics ◽  
Real Time Systems ◽  
Conversion Algorithm ◽  
Time Systems

To verify real-time properties of UML statecharts one may apply a UPPAAL, toolbox for model checking of real-time systems. One of the most suitable ways to specify an operational semantics of UML statecharts is to invoke the formal model of Hierarchical Timed Automata. Since the model language of UPPAAL is based on Networks of Timed Automata one has to provide a conversion of Hierarchical Timed Automata to Networks of Timed Automata. In this paper we describe this conversion algorithm and prove that it is correct w.r.t. UPPAAL query language which is based on the subset of Timed CTL.

scholarly journals Hippo: A formal-model execution engine to control and verify critical real-time systems

2021 ◽  
pp. 111033
Author(s):  
Pierre-Emmanuel Hladik ◽  
Félix Ingrand ◽  
Silvano Dal Zilio ◽  
Reyyan Tekin
Keyword(s):  
Real Time ◽  
Formal Model ◽  
Real Time Systems ◽  
Execution Engine ◽  
Model Execution ◽  
Time Systems

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