Повышение надёжности программными средствами

Информация по MICRA

https://studfiles.net/preview/1679060/page:6/

http://qaru.site/questions/15230729/misra-c-2012-rule-161-all-switch-statements-should-be-well-formed

https://dic.academic.ru/dic.nsf/ruwiki/1703168#.D0.9F.D1.80.D0.B0.D0.B2.D0.B8.D0.BB.D0.B0

http://my.ldrasoftware.co.uk/repository//miscellaneous/Misra-c_2012_compliance.pdf

В файле пример с хорошими требованиями по надёжности