ABC Tool version 5.5.5 was used in kernel 8.3.1 verification. That version of the ABC Tool is qualified as a DO-178B verification tool. PCR 10200 contains an analysis stating that ABC Tool 5.5.5 is equivalent to DO-178C/DO330 Criteria 3 TQL-5. The PSAC also states that ABC is a TQL-5 tool. The problem is that the structural coverage analysis for kernel version 8.3.1, located at https://deos.ddci.com/scm/cert/deos-products/kernel/kernel/8.3.1-mainline/11-14-verf-results/analysis/structural-coverage/deos-kernel-structural-coverage-report.html, incorrectly documents the ABC Tool as TQL 4. This defect has no impact on safety.
CCB visited this PCR on 2016-03-03
CCB visited this PCR on 2016-06-20
CCB visited this PCR on 2017-02-01-59501
CCB visited this PCR on 2017-12-11-66402
CCB visited this PCR on 2020-10-01-74326
CCB visited this PCR on 2021-03-04-79101
PCR to remain open, but will only be addressed if a limitation is identified in this version.
CCB visited this PCR on 2023-08-14-64795