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

[Embox] - российская! открытая RTOS. -> С подачи AlexG --> http://emboxing.ru
Краткий, но интересный обзор http://bit.samag.ru/archive/article/1516 http://embox.github.io/ http://se.math.spbu.ru/SE/embox https://habr.com/company/embox/ Суть ОСи "...исходный код нужно было сертифицировать, а, значит, в дистрибутиве должны быть только те части, которые несут функциональную нагрузку. При этом код в неиспользованных ветках #if – #def конструкций не должен был быть представлен для сертификации. Для решения этого вопроса была разработана система сборки на основе специального языка описания модулей, которая позволяет избежать #if – #def конструкций и гибко задавать список используемых функциональных модулей" "Система безопасности основана как на традиционных средствах защиты информации таких как: дискретный/мандатный доступ, фаервол, очистка памяти, так и на архитектурных особенностях системы: отсутствие избыточности кода и статической сборке образа, что делает невозможным запуск вредоносного ПО. " Они точно копались в моей голове!!! Если честно, я вообше не понимаю применительно к embedded системам других способов сборки, отличных от статического. Кроме тех редких случаев, когда лялих действительно нужен.