This Matlab program verifies the schedulability of a CAN bus.
The Algorithm used is an implementation of what is the described in the
Davis, Robert I., Alan Burns, Reinder J. Bril, and Johan J. Lukkien. "Controller Area Network (CAN) Schedulability Analysis: Refuted, Revisited and Revised." Real-Time Systems 35.3 (2007): 239-72. Web.