Software reliability analysis in air traffic control system