An efficient schedulability analysis for optimizing systems with adaptive mixed-criticality scheduling

DOI10.1007/s11241-017-9267-6zbMath1409.68064OpenAlexW2575239192MaRDI QIDQ2364024

Yecheng Zhao, Haibo Zeng

Publication date: 17 July 2017

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11241-017-9267-6

zbMATH Keywords

design optimizationschedulability analysismixed-criticality systemsadaptive mixed-criticality scheduling

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Uses Software

• CPLEX
• Simulink
• TGFF

Cites Work

• Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems
• Dynamic- and static-priority scheduling of recurring real-time tasks
• Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms
• A Linearization Procedure for Quadratic and Cubic Mixed-Integer Problems
• Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems
• An Efficient Formulation of the Real-Time Feasibility Region for Design Optimization

This page was built for publication: An efficient schedulability analysis for optimizing systems with adaptive mixed-criticality scheduling