Propagating Temporal Demands into the Software Design to Support the Evaluation of Safety Critical Hard Real-time Systems

1992 ◽  
Vol 25 (30) ◽  
pp. 231-237
Author(s):  
R. Bareiss
Keyword(s):  
Real Time ◽  
Software Design ◽  
Real Time Systems ◽  
Safety Critical ◽  
Hard Real Time ◽  
Time Systems

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

Memory management of safety-critical hard real-time systems designed in SystemJ

2019 ◽  
Vol 64 ◽  
pp. 101-119
Author(s):  
Avinash Malik ◽  
HeeJong Park ◽  
Muhammad Nadeem ◽  
Zoran Salcic
Keyword(s):  
Real Time ◽  
Memory Management ◽  
Real Time Systems ◽  
Safety Critical ◽  
Hard Real Time ◽  
Time Systems

Software Design Method for Small Real Time Systems Using Modified Pro-Nets

1992 ◽  
Vol 25 (25) ◽  
pp. 263-265
Author(s):  
B.R. Andrievsky ◽  
A.A. Vasiljev ◽  
V.N. Utkin
Keyword(s):  
Real Time ◽  
Software Design ◽  
Design Method ◽  
Real Time Systems ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document