CARTS: a tool for compositional analysis of real-time systems
ACM SIGBED Review
Architecting robustness and timeliness in a new generation of aerospace systems
Architecting dependable systems VII
A formal approach to design and verification of two-level hierarchical scheduling systems
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
Compositional real-time scheduling framework for periodic reward-based task model
Journal of Systems and Software
Partition configuration for real-time systems with dependencies
Proceedings of the 21st International conference on Real-Time Networks and Systems
Bandwidth allocation for fixed-priority-scheduled compositional real-time systems
ACM Transactions on Embedded Computing Systems (TECS)
Hi-index | 0.00 |
ARINC specification 653-2 describes the interface between application software and underlying middleware in a distributed real-time avionics system. The real-time workload in this system comprises of partitions, where each partition consists of one or more processes. Processes incur blocking and preemption overheads and can communicate with other processes in the system. In this work we develop compositional techniques for automated scheduling of such partitions and processes. At present, system designers manually schedule partitions based on interactions they have with the partition vendors. This approach is not only time consuming, but can also result in under utilization of resources. In contrast, the technique proposed in this paper is a principled approach for scheduling ARINC-653 partitions and therefore should facilitate system integration.