The safety functions are mapped to the PLC inputs and outputs, and the safety logic is developed using a safety programming language such as FBD or Ladder Logic. The safety system is then thoroughly tested and verified before deployment.