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
[Back to main map]
Parent nodes:
Is a subclaim of
Argument
:
A1.2.2.3.3.4.4.3.2.1.1 Design and implementation of the Collision Avoidance SIF is adequate to prevent collision because...
Child nodes:
Has subclaim
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)
Has subclaim
Claim
:
C1.2.2.3.3.4.4.3.2.1.1.1.2 The (Complex) Collision Sensor software and hardware have been developed according to traditional software and hardware development techniques
Has subclaim
Claim
:
C1.2.2.3.3.4.4.3.2.1.1.1.3 The conventional control algorithm software and hardware have been developed according to traditional software and hardware development techniques