A formal evaluation used to determine the Safety Integrity Level required for a safety instrumented function and verify that the design can achieve it. It demonstrates that risk reduction is appropriate for the potential hazard.