Cheddar is a GNU GPL real-time scheduling simulator/schedulability tool. Cheddar allows you to model software architectures of real-time systems and to check their schedulability or other performance criteria.