DigraphSchedAnalysisFramework A test framework for the schedulability analysis of real-time task models and Stateflows (or Finite State Machines). Requested GoogleTest--Used to do the unit test. Visual Leak Detection--Used to check the memory leaks.