Schedulability Schedulability is a use-case example of Map Family Decision Diagrams for offline task scheduling on multi-core architectures.