Добрый день!
Возможно мое сообщение будет немного не в тему, но возможно тут найдутся люди, которые смогут помочь.
Сталкивался ли кто-нибудь с доказательством безопасности, отказоустойчивости (надежности) ОС реального времени?
возможно, у кого-то есть какие-нибудь примеры или могут посоветовать какую-нибудь литературу по данной тематике?
Буду очень благодарен. Заранее спасибо.
