Claim C1.2.2.3.3.4.4.3.2.1.1.1.1 The software responsible for decision making for this SIF is adequate (symbolic AI)

• Is a subclaim of Claim: C1.2.2.3.3.4.4.3.2.1.1.1 A suitable design and implementation lifecycle has been followed for software, firmware and hardware

Child nodes:

• Has subclaim Claim: C1.2.2.3.3.4.4.3.2.1.1.1.1.1 The software tools have been verified and constraints been noted
• Has support Argument: A1.2.2.3.3.4.4.3.2.1.1.1.1.3 A process which is commensurate with IEC 61508 based on the claim made on the SIF's SSCs has been followed and independently reviewed
• Has support Argument: A1.2.2.3.3.4.4.3.2.1.1.1.1.2 A combination of constraints, formal verification and engineered safety features have been applied to the software