HLC-PCP: A resource synchronization protocol for certifiable mixed criticality scheduling

IEEE Embedded Systems Letters

Volumn 6, Issue 1, 2014, Pages 8-11

  Zhao, Qingling ^a   Gu, Zonghua ^a   Zeng, Haibo ^b  

^a ZHEJIANG UNIVERSITY   (China)

^b MCGILL UNIVERSITY   (Canada)

Author keywords

Cyber physical systems; real time scheduling

Indexed keywords

CYBER PHYSICAL SYSTEMS (CPSS); CYBER-PHYSICAL SYSTEMS (CPS); DIVERSE APPLICATIONS; MIXED CRITICALITIES; PRIORITY CEILING PROTOCOLS; REAL TIME SCHEDULING; SCHEDULABILITY ANALYSIS; SYNCHRONIZATION PROTOCOLS;

EMBEDDED SYSTEMS; SCHEDULING;

CRITICALITY (NUCLEAR FISSION);

EID: 84900559058     PISSN: 19430663     EISSN: None     Source Type: Journal    
DOI: 10.1109/LES.2013.2273352     Document Type: Article

References (4)

1. J. Barhorst et al., A research agenda for mixed-criticality systems AFRL, Tech. Rep., 2009, vol. 11.
2. L. Sha, "Resilient mixed-criticality systems," CrossTalk Mag., pp. 9-14, 2009.
3. S. K. Baruah, A. Burns, and R. I. Davis, "Response-time analysis for mixed criticality systems," RTSS, pp. 34-43, 2011.
4. K. Lakshmanan, D. de Niz, and R. Rajkumar, "Mixed-criticality task synchronization in zero-slack scheduling," RTAS, pp. 47-56, 2011.