Resource-Aware Scheduling for Dependable Multicore Real-Time Systems: Utilization Bound and Partitioning Algorithm | IEEE Journals & Magazine | IEEE Xplore