Описание книги
Рассмотрены фундаментальные теоретические концепции систем реального времени, функциональная и информационная безопасность, разработка с использованием языка UML, а также верификация программного обеспечения. Описаны популярные программные платформы систем реального времени. Показаны возможности и особенности применения типовых инструментальных средств на примере конкретных прикладных задач.
Компакт-диск содержит trial-версии программ, которые используются для части рассматриваемых практических упражнений (QNX SDP, aicas JamaicaVM, а также MinGW).
Для инженеров, технических руководителей, студентов и преподавателей вузов