This paper examines the applicability of formal safety assessment to the passenger ships. This is followed by an analysis of passenger ship characteristics and a proposed formal safety assessment methodology. Five interlocking steps are described to construct a safety model including novel risk assessment, cost-benefit analysis and decision-making approaches. A case study is carried out in order to demonstrate the proposed methodology. Further development in formal safety assessment in the context of passenger ship safety is finally discussed in detail.