Slide 1 Software Considerations in Airborne Systems Koray İnçki Spring 2009 Slide 2 Safety-critical? Safety: Safety is a property of a system that it will not endanger…