To find out how to deal with safety-critical software, the following are good sources to consult:
S. Gardiner (ed.). Testing Safety-Critical Systems, Berlin: Springer-Verlag, 1998.
Debra Herrmann et al. Software Safety and Reliability, Piscataway, NJ: IEEE, 2000.