certifiable high-integrity embedded software development(Встроенное программное обеспечение с высоким уровнем полноты безопасности — это программное обеспечение с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций, которое реализовано в аппаратных средствах или записано в ПЗУ.adacore.comAlex_Odeychuk)