Abstract: The development of safety-critical systems is heavily governed by domain-specific standards. In the aerospace industry, the DO-178C—Software Considerations in Airborne Systems and Equipment ...