Loading [MathJax]/extensions/MathMenu.js
HLC-PCP: A Resource Synchronization Protocol for Certifiable Mixed Criticality Scheduling | IEEE Journals & Magazine | IEEE Xplore

HLC-PCP: A Resource Synchronization Protocol for Certifiable Mixed Criticality Scheduling


Abstract:

Today’s safety-critical Cyber-Physical Systems (CPS) often need to integrate multiple diverse applications with varying levels of importance, or criticality. Mixed-critic...Show More

Abstract:

Today’s safety-critical Cyber-Physical Systems (CPS) often need to integrate multiple diverse applications with varying levels of importance, or criticality. Mixed-criticality scheduling (MCS) has been proposed with the objectives of achieving certification at multiple criticality levels and efficient utilization of hardware resources. Current work on MCS typically assumes tasks at different criticality levels are independent and do not share any resources (data). We propose highest-locker criticality, priority-ceiling protocol (HLC-PCP), which extends the well-known priority ceiling protocol (PCP) to be applicable to adaptive mixed-criticality (AMC), a variant of MCS. We present methods for worst-case blocking time computation with HLC-PCP, used for schedulability analysis of AMC with resource sharing.
Published in: IEEE Embedded Systems Letters ( Volume: 6, Issue: 1, March 2014)
Page(s): 8 - 11
Date of Publication: 15 July 2013

ISSN Information:


Contact IEEE to Subscribe

References

References is not available for this document.