scholarly journals A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems

2017 ◽  
Vol 92 ◽  
pp. 1-18 ◽  
Author(s):  
Junkil Park ◽  
Insup Lee ◽  
Oleg Sokolsky ◽  
Dae Yon Hwang ◽  
Sojin Ahn ◽  
...  
Keyword(s):  
Real Time ◽  
Algebraic Approach ◽  
Schedulability Analysis ◽  
Real Time Systems ◽  
Time Systems ◽  
Process Algebraic

Integrating Schedulability Analysis and SDL in an Object-Oriented Methodology for Embedded Real-time Systems

SDL '99 ◽  
1999 ◽  
pp. 241-256 ◽  
Author(s):  
J.M. Alvarez ◽  
M. Díaz ◽  
L.M. Llopis ◽  
E. Pimentel ◽  
J.M. Troya
Keyword(s):  
Real Time ◽  
Schedulability Analysis ◽  
Object Oriented ◽  
Real Time Systems ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document