DO-178B Section 6.3.1b, ''High-level requirements are accurate and consistent''

DO-178B Section 6.3.1c, ''High-level requirements are compatible with target computer''

DO-178B Section 6.3.1d, ''High-level requirements are verifiable

DO-178B Section 6.3.1e, ''High-level requirements conform to standards''

DO-178B Section 6.3.1f, ''High-level requirements trace to system requirements''

DO-178B Section 6.3.1g, ''Algorithms are accurate''

DO-178B Section 6.3.2b, ''Low-level requirements are accurate and consistent''

DO-178B Section 6.3.2c, ''Low-level requirements are compatible with target computer''

DO-178B Section 6.3.2d, ''Low-level requirements are verifiable''

DO-178B Section 6.3.2e, ''Low-level requirements conform to standards''

DO-178B Section 6.3.2f, ''Low-level requirements trace to high-level requirements''

DO-178B Section 6.3.2g, ''Algorithms are accurate''

DO-178B Section 6.3.3b, ''Software architecture is consistent''

DO-178B Section 6.3.3e, ''Software architecture conforms to standards''

DO-178B Section 6.3.4e, ''Source code is traceable to low-level requirements''

DO-178B Section 6.4.4.2, ''Test coverage of software structure is achieved''



do178b