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. Automated testing and revalidation offers a possibility to perform these types of test more efficiently. While, automated software testing has long been accepted as a best practice when developing and testing commercial software code. That same principal can now be applied when testing and validating the application logic in safety instrumented systems.
SCHNEIDER (2017) Automated validation and testing of application logic in safety logic solvers