scholarly journals Static Verification of Task Access to Shared Resources in Real-Time Systems

2017 ◽  
Vol 3 (52) ◽  
pp. 137
Author(s):  
Victor Vikentievich Nikiforov ◽  
Sergey Nikolaevich Baranov
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Shared Resources ◽  
Static Verification ◽  
Time Systems

scholarly journals Multiprocessor Real-Time Systems with Shared Resources: Utilization Bound and Mapping

2014 ◽  
Vol 25 (11) ◽  
pp. 2981-2991 ◽  
Author(s):  
Jian-Jun Han ◽  
Dakai Zhu ◽  
Xiaodong Wu ◽  
Laurence T. Yang ◽  
Hai Jin
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Shared Resources ◽  
Utilization Bound ◽  
Time Systems

Schedulability Analysis of Hierarchical Real-Time Systems under Shared Resources

2016 ◽  
Vol 65 (5) ◽  
pp. 1593-1605 ◽  
Author(s):  
Alessandro Biondi ◽  
Giorgio C. Buttazzo ◽  
Marko Bertogna
Keyword(s):  
Real Time ◽  
Schedulability Analysis ◽  
Real Time Systems ◽  
Shared Resources ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document