SRS
SIS LOGIC SOLVER FAILURE REQUIREMENTS