DO-178C / ED-12C - Software Considerations in Airborne Systems
Table A-4: Verification of outputs of software design process – DO-178C / ED-12C - Software Considerations in Airborne Systems

DO-178C / ED-12C - Software Considerations in Airborne Systems A-4.13: Partition breaches shown to be prevented

Where partitioning is used, analysis confirms that the partitioning mechanism prevents breaches between partitions. Table A-4 objective 13, described in 6.3.3.f; applies at levels A, B, C, D, independence required at level A; activities 6.3.3; outputs Software Verification Results. The revision dropped the older allowance for breaches being merely isolated: a breach is never an acceptable system state.

Maintained by Gerard BlokdykControl text last updated

Other controls in Table A-4: Verification of outputs of software design process – DO-178C / ED-12C - Software Considerations in Airborne Systems

Query this from an agent

The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.