In addition to MISRA, I've found the safety checklist in Lutz's "Targeting Safety-Related Errors During Software Requirements Analysis" at https://trs.jpl.nasa.

In addition to MISRA, I've found the safety checklist in Lutz's "Targeting Safety-Related Errors During Software Requirements Analysis" at https://trs.jpl.nasa.gov/bitstream/handle/2014/35179/93-0749.pdf https://trs.jpl.nasa.gov/bitstream/handle/2014/35179/93-0749... to be very useful.