A Methodology of Ensuring Safety and Reliability for the Design of Ship Modernizing System