Я ищу, чтобы найти хороший ресурс (книга или другое) о методах/методологиях разработки критических систем безопасности, особенно о том, что будет охватывать как аппаратное, так и программное обеспечение. У меня хорошее знание C/С++, так что даже если это просто код на SourceForge и т.д., Я бы по-прежнему оценил ссылку на него, чтобы иметь возможность просматривать.
Спасибо.