The importance of embedded software in avionics systems are ever increasing. Modern commercial aircrafts with Flight Management System and auto-pilots can fly the aircraft without the pilot’s active intervention. These embedded softwares require full proof safety and high reliability. In these systems failure is simply no option as the results are catastrophic.