Cheddar is a GNU GPL real-time scheduling analysis tool. This program provides services to automatically check schedulability and other performance criteria of real-time architecture models.