Evidence E1.2.2.3.3.4.4.3.2.1.1.6.1.2 SIF Functional and Non Functional Description
[Back to main map]
Parent nodes:
Is evidence for
Argument
:
A1.2.2.3.3.4.4.3.2.1.2.2.4 Environmental monitor Diverse and independent monitors have been designed to use data from the input domain (sensors) to constrain the robot's capabilities to that of the defined environmental operational envelope by applying identified fail safe states.
Is evidence for
Argument
:
A1.2.2.3.3.4.4.3.2.1.2.2.2 Operational Monitor Diverse and independent monitors have been designed to use data from the input (sensors) and output (actuators) domain to constrain the robot's capabilities to that of the defined operational envelope by applying identified fail safe states.
Is evidence for
Argument
:
A1.2.2.3.3.4.4.3.2.1.2.2.3 Health Monitor Diverse and independent monitors have been designed to identify excursions from the robot system's 'normal' internal operating health envelope to constrain the robot's capabilities to that of the defined operational envelope by applying identified fail safe states.
Is evidence for
Argument
:
A1.2.2.3.3.4.4.3.2.1.2 The architecture and algorithms have been designed such that the hazard is mitigated
Is evidence for
Argument
:
A1.2.2.3.3.4.4.3.2.1.2.2.1 Watch Dog Timers (WDT) have been employed to place the the robot in a safe state if the processing freezes
Is evidence for
Argument
:
A1.2.2.3.3.4.4.3.2.1.1.6.1 The SIF has undergone functional and non-functional testing which has confirmed its operation according to its requirements specification
Child nodes: