Rapid Prototyping Software for Avionics Systems