The presentation on Safety Control System Design and Test are given in the link below:
I have complied the various algorithms and test methods defined in this presentation as matlab script files and simulink models.
Both of them together can be used to train members working on Safety Critical Control system test. I have used these files to explain the concepts to Engineering graduates and Under graduates during various workshops on this topics.
Chethan C U (2020). Safety Critical Control Elements Examples (https://www.mathworks.com/matlabcentral/fileexchange/39720-safety-critical-control-elements-examples), MATLAB Central File Exchange. Retrieved .
Inspired by: Testing Safety Critical Control Systems