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

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 ef...

Full description

Saved in:
Bibliographic Details
Published in:IEEE embedded systems letters 2014-03, Vol.6 (1), p.8-11
Main Authors: Zhao, Qingling, Gu, Zonghua, Zeng, Haibo
Format: Article
Language:English
Subjects:
Aerospace electronics
Cyber-physical systems
Hardware
Protocols
real-time scheduling
Resource management
Runtime
Schedules
Synchronization
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1943-0663
1943-0671
DOI:10.1109/LES.2013.2273352