Recent air disasters and near misses have underscored the precarious balance between automation and the responsibilities of human operators such as pilots and air-traffic controllers. Increased automation and remote operation demand better ways of managing safety risk in aerospace/defense. CSL combines our experience with established standards such as MIL-STD-882, RTCA DO-178C and IEC 61508 with insights gained from other industries to help clients address safety challenges associated with emergent technology such as space robotics that depends on Machine Learning for autonomous operation.

CSL contributed to the development of RTCA DO-178C Software Considerations in Airborne Systems and Equipment Certification, and its Formal Methods supplement RTCA DO-333, used as a basis for the certification of airborne software.