Title: Software Development for Avionics Ssme Control and Diagnostics