TMT International Observatory Safety System Design from Hazard Analysis to Functional Logic

This paper presents the Thirty Meter Telescope (TMT) International Observatory (TIO) systematic approach to safety system design, utilizing the Laser Guide Star Facility (LGSF) as a case study. The proposed framework commences with a detailed Hazard Analysis and concludes with the definition of Safety Related Control Functions (SRCFs). The presented framework not only offers valuable insights into the safety design process but also serves as a practical guide for engineering teams involved in the development of safety-critical systems. The case study from TMT LGSF illustrates the applicability and effectiveness of this approach in real-world scenarios.