Рассмотрены фундаментальные теоретические концепции систем реального времени, функциональная и информационная безопасность, разработка с использованием языка UML, а также верификация программного обеспечения. Описаны популярные программные платформы систем реального времени. Показаны возможности и особенности применения типовых инструментальных средств на примере конкретных прикладных задач.