застосовуватися перевірки цілісності та достовірності даних (наприклад, перевірка щодо потрапляння в інтервал), доступні на прикладному рівні (захисне програмування)

щоб верифікація проводилась за допомогою контролю та аналізу потоку даних для рівня PL до .

використовуватися підтверджені або прийняті рекомендації щодо виконання кодування

щоб код був чітким, зрозумілим і протестованим, тому повинні використовуватися символьні змінні

використовуватися модульне та структурне програмування

щоб було логічне об'єднання даних, пов'язаних та не пов'язаних із забезпеченням безпеки

щоб код був перевірений моделюванням

використовуватися тестування входів/виходів та сигналів, пов'язаних із безпекою

щоб запуск програмного коду всередині функціонального блоку, який повинен мати один вхід та один вихід