Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
An Improved Rate-Monotonic Admission Control and Its Applications
IEEE Transactions on Computers
Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance
Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance
Rate Monotonic Analysis: The Hyperbolic Bound
IEEE Transactions on Computers
Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors
ECRTS '08 Proceedings of the 2008 Euromicro Conference on Real-Time Systems
Time and Space Partitioning in Spacecraft Avionics
SMC-IT '09 Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology
The Multi Supply Function Abstraction for Multiprocessors
RTCSA '09 Proceedings of the 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Validate, simulate, and implement ARINC653 systems using the AADL
Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
Virtual Multiprocessor Platforms: Specification and Use
RTSS '09 Proceedings of the 2009 30th IEEE Real-Time Systems Symposium
Mixed-Criticality Real-Time Scheduling for Multicore Systems
CIT '10 Proceedings of the 2010 10th IEEE International Conference on Computer and Information Technology
RTSS '10 Proceedings of the 2010 31st IEEE Real-Time Systems Symposium
A survey of hard real-time scheduling for multiprocessor systems
ACM Computing Surveys (CSUR)
Architecting robustness and timeliness in a new generation of aerospace systems
Architecting dependable systems VII
| Hi-index | 0.00 |
Time- and space-partitioned systems (TSP) are a current trend in aerospace. They are employed to integrate a heterogeneous set of functions (different criticalities, real-time requirements, and origins) in a shared computing platform, fulfilling individual partitions' and global real-time properties. Applications are separated into logical partitions, scheduled according to predefined partition scheduling tables (PSTs). In this paper we expose our current work on exploiting multiprocessor/multicore processor platforms to add capacity, flexibility and safety to the current state of the art in TSP systems. We propose architectural evolutions, as well as the development of a schedule analysis and generation tool based on Cheddar. The tool will incorporate and extend real-time scheduling theory results, and be able to analyse the feasibility of PSTs and aid the generation of PSTs from the individual timing requirements of each function.