A research on application of Formal Safety Assessment in the typical field grid cell supervision model of China MSA