Die NASA hat hierzu kürzlich ein Dokument veröffentlicht: 10 Rules for safety-critical code

Ist zwar für C, aber einiges läßt sich sicher auf andere Sprachen übertragen.