 |
 |
Книга предназначена для инженеров и технических руководителей, связанных с заказом, проектированием, разработкой, верификацией и сопровождением программного обеспечения для систем реального времени.
В книге рассмотрены:
- фундаментальные и теоретические концепции систем реального времени;
- принципы обеспечения функциональной и информационной безопасности;
- подход к разработке приложений на основе языка визуального моделирования UML;
- проблема верификации программного обеспечения, относящегося к категории «Safety Critical».
Описаны также назначение и функционал популярных программных платформ, предназначенных для построения систем реального времени; показаны возможности и особенности применения типовых инструментальных средств на примере решения конкретных прикладных задач.
Компакт-диск содержит trial-версии программ, которые используются для части рассматриваемых практических упражнений (QNX SDP, aicas JamaicVM, а также MinGW).
Оглавление книги в формате pdf
Об авторе:
Зыль Сергей Николаевич, к.т.н., сертифицированный инструктор по технологиям QNX и Telelogic Rhapsody, технический директор ООО «СВД Встраиваемые системы». Автор учебных курсов по разработке и анализу программного обеспечения систем реального времени, а также книг «Операционная система реального времени QNX: от теории к практике» и «QNX Momentics: основы применения». |
|
