Automated validation and testing of application logic in safety logic solvers

SIS systems all require software logic testing and periodic re-validation. Manual testing can be laborious, time consuming and error prone and may not always be effective in finding certain classes of defect.