Engineering services co. with experience in Avionics Safety Critical System Software and Hardware design, development ,certification & support. Providing expertise in FAA DO-178B and DO-254 for all major avionics technology groups.

Internally developed software verification tool set, VERIFAST, provides a reliable, repeatable test development and execution platform. Used throughout the development life-cycle for debug & formal verification to FAA-178B & like standards/requirements.

avionics software, avionics industry, airline software, airplane programming, plane manufacture, do-178b compliance, reduce manufacturing costs, improve airline safety, do-178b softwre, airline gps, ahrs, ils, mls< fls, mmr navigation, satnav, vor, adf, tcas, adsb transponder, flight displays, nexcom mode, analog voice vhf, ahrs automatic leveling, cmc, crdiu, data loader, weather radar, in-flight entertainment, life cycle consulting, verifast automated test environment, do-178b training, verifast requirements management, the software specialists, melbourne, florida, cape canaveral, cocoa beach, orlando