Software Considerations in Airborne Systems Koray İnçki Spring 2009 Koray İNÇKİ, CmpE Spring 2009 Safety-critical? Safety: Safety is a property of a system that it will…