Automata For Modeling Real-Time Systems
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance
RTSS '07 Proceedings of the 28th IEEE International Real-Time Systems Symposium
Coscheduling of CPU and I/O Transactions in COTS-Based Embedded Systems
RTSS '08 Proceedings of the 2008 Real-Time Systems Symposium
Memory hierarchies, pipelines, and buses for future architectures in time-critical embedded systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Network calculus: a theory of deterministic queuing systems for the internet
Network calculus: a theory of deterministic queuing systems for the internet
Towards the Design of Certifiable Mixed-criticality Systems
RTAS '10 Proceedings of the 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium
Timing Analysis for TDMA Arbitration in Resource Sharing Systems
RTAS '10 Proceedings of the 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium
Worst case delay analysis for memory interference in multicore systems
Proceedings of the Conference on Design, Automation and Test in Europe
Bounding the shared resource load for the performance analysis of multiprocessor systems
Proceedings of the Conference on Design, Automation and Test in Europe
Time and memory tradeoffs in the implementation of AUTOSAR components
Proceedings of the Conference on Design, Automation and Test in Europe
Scheduling real-time mixed-criticality jobs
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
Mixed-Criticality Real-Time Scheduling for Multicore Systems
CIT '10 Proceedings of the 2010 10th IEEE International Conference on Computer and Information Technology
An Algorithm for Scheduling Certifiable Mixed-Criticality Sporadic Task Systems
RTSS '10 Proceedings of the 2010 31st IEEE Real-Time Systems Symposium
Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software
RTSS '10 Proceedings of the 2010 31st IEEE Real-Time Systems Symposium
Timing Analysis for Resource Access Interference on Adaptive Resource Arbiters
RTAS '11 Proceedings of the 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium
On Partitioned Scheduling of Fixed-Priority Mixed-Criticality Task Sets
TRUSTCOM '11 Proceedings of the 2011IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications
Response Time Analysis of COTS-Based Multicores Considering the Contention on the Shared Memory Bus
TRUSTCOM '11 Proceedings of the 2011IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications
Certification-Cognizant Time-Triggered Scheduling of Mixed-Criticality Systems
RTSS '11 Proceedings of the 2011 IEEE 32nd Real-Time Systems Symposium
Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems
RTSS '11 Proceedings of the 2011 IEEE 32nd Real-Time Systems Symposium
RTSS '11 Proceedings of the 2011 IEEE 32nd Real-Time Systems Symposium
Memory Access Control in Multiprocessor for Real-Time Systems with Mixed Criticality
ECRTS '12 Proceedings of the 2012 24th Euromicro Conference on Real-Time Systems
Schedulability Analysis of Mixed-Criticality Systems on Multiprocessors
ECRTS '12 Proceedings of the 2012 24th Euromicro Conference on Real-Time Systems
Outstanding Paper Award: Bounding and Shaping the Demand of Mixed-Criticality Sporadic Tasks
ECRTS '12 Proceedings of the 2012 24th Euromicro Conference on Real-Time Systems
The Preemptive Uniprocessor Scheduling of Mixed-Criticality Implicit-Deadline Sporadic Task Systems
ECRTS '12 Proceedings of the 2012 24th Euromicro Conference on Real-Time Systems
Outstanding Paper Award: Global Mixed-Criticality Scheduling on Multiprocessors
ECRTS '12 Proceedings of the 2012 24th Euromicro Conference on Real-Time Systems
Proceedings of the tenth ACM international conference on Embedded software
Hi-index | 0.00 |
A common trend in real-time safety-critical embedded systems is to integrate multiple applications on a single platform. Such systems are known as mixed-criticality (MC) systems as the applications are usually characterized by different criticality levels (CLs). Nowadays, multicore platforms are promoted due to cost and performance benefits. However, certification of multicore MC systems is challenging because concurrently executed applications with different CLs may block each other when accessing shared platform resources. Most of the existing research on multicore MC scheduling ignores the effects of resource sharing on the execution times of applications. This paper proposes a MC scheduling strategy which explicitly accounts for these effects. Applications are executed by a flexible time-triggered criticality-monotonic scheduling scheme. Schedulers on different cores are dynamically synchronized such that only a statically known subset of applications of the same CL can interfere on shared resources, e. g., memories, buses. Therefore, the timing effects of resource sharing are bounded and we quantify them at design time. We combine this scheduling strategy with a mapping optimization technique for achieving better resource utilization. The efficiency of the approach is demonstrated through extensive simulations as well as comparisons with traditional temporal partitioning and state-of-the-art scheduling algorithms. It is also validated on a real-world avionics system.