Model-based schedulability analysis of safety critical hard real-time Java programs

2008 ◽  
Author(s):  
Thomas Bøgholm ◽  
Henrik Kragh-Hansen ◽  
Petur Olsen ◽  
Bent Thomsen ◽  
Kim G. Larsen
Keyword(s):  
Real Time ◽  
Schedulability Analysis ◽  
Safety Critical ◽  
Model Based ◽  
Java Programs ◽  
Hard Real Time

scholarly journals Logic-based schedulability analysis for compositional hard real-time embedded systems

2015 ◽  
Vol 12 (1) ◽  
pp. 56-64 ◽  
Author(s):  
André de Matos Pedro ◽  
David Pereira ◽  
Luís Miguel Pinho ◽  
Jorge Sousa Pinto
Keyword(s):  
Embedded Systems ◽  
Real Time ◽  
Schedulability Analysis ◽  
Hard Real Time

Models of Replication for Safety Critical Hard Real Time Systems

1996 ◽  
Vol 29 (6) ◽  
pp. 181-188
Author(s):  
P.A. Barrett ◽  
A. Burns ◽  
A.J. Wellings
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Safety Critical ◽  
Hard Real Time ◽  
Time Systems

Schedulability analysis in hard real-time systems under thermal constraints

2010 ◽  
Vol 46 (2) ◽  
pp. 160-188 ◽  
Author(s):  
Shengquan Wang ◽  
Youngwoo Ahn ◽  
Riccardo Bettati
Keyword(s):  
Real Time ◽  
Schedulability Analysis ◽  
Real Time Systems ◽  
Thermal Constraints ◽  
Hard Real Time ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document