SPAK implements a number of response time analyses for real-time task sets scheduled using fixed priorities with preemptive scheduling, non-preemptive scheduling, and with mixed preemption relations. It also includes many functions for manipulating task set parameters and optimizing various task set characteristics, as well as a simulator for testing the execution of task sets.