Средства и методы разработки

[ГОСТ Р МЭК 61508-7-2012] -> --> Интересные вещи там написаны...Раздел С.2.6.6 Ограниченное использование указателей http://docs.cntd.ru/document/1200103242
http://ems.bsut.by/wp-content/uploads/2018/04/61508-7.pdf
Цитата "Примечание - Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблица В.1). Цель. Исключение проблем, связанных с доступом к данным без предварительной проверки типа и диапазона указателя. Обеспечение модульного тестирования и верификации программных средств. Ограничение последствия отказов. Описание. В прикладных программных средствах арифметика указателей может быть использована на уровне исходного кода только в случае, если тип и диапазон значений указателя данных (для гарантии того, что ссылка указателя находится внутри корректного адресного пространства) будут проверены перед доступом. Межпроцессное взаимодействие в прикладных программах не должно осуществляться прямым доступом между задачами. Обмен данными должен осуществляться через операционную систему." Это хорошо и правильно, с одной стороны. С другой - еще более хорошо и правильно - найдется применение любому количеству ядер и любым ГГц тактовой. И все остальное там сильно интересно написано. Стоит почитать.