Study on determination and verification analysis of safety integrity levels for safety instrumented systems