“Architecture, Mechanisms and Scheduling Analysis Tool for Multicore Time- and Space-Partitioned Systems”
ACM SIGBED Review, vol. 8, no. 3, Jul. 2011.Special issue on the ECRTS 2011WiP session (Porto, Portugal, Jul. 2011).
Abstract: 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 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 realtime 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.
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)