Проектирование, разработка и анализ программного обеспечения систем реального времени

В конце марта 2010 г. в книжных магазинах России появилась новая книга Сергея Зыля, технического директора компании СВД ВС - "Проектирование, разработка и анализ программного обеспечения систем реального времени". Как и предыдущие работы автора, книга вышла в издательстве "БХВ-Петербург".

В книге рассмотрены фундаментальные теоретические концепции систем реального времени, принципы обеспечения функциональной и информационной безопасности; подходы к разработке приложений на основе языка визуального моделирования UML, а также проблема верификации программного обеспечения, относящегося к категории "Safety Critical".

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

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

"К моему удовольствию, сегодня, спустя семь лет после выхода в свет моей первой книжки, посвященной QNX Neutrino, многие из прежних моих слушателей и читателей знают и умеют применять механизмы этой ОСРВ гораздо лучше меня. Поэтому я с радостью смог позволить себе рассмотреть проблематику создания компьютерных систем реального времени, если так можно выразиться, с высоты "птичьего полета", - рассказывает Сергей Зыль. - На мой взгляд, главное отличие этой книги от предыдущих заключается в том, что в ней, обсуждая тот или иной программный механизм или инструмент, я старался отвечать не на вопрос "как он работает?", а на вопрос "зачем он создан?"".

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

Книга вышла из печати в конце марта 2010 г. тиражом 1000 экземпляров. Приобрести ее можно во многих книжных магазинах Санкт-Петербурга, Москвы и регионов, в том числе в Книжной сети "Буквоед", в Петербургском и Московском Домах книги. Также книгу можно купить в компании SWD Software.

www.qnx-russia.ru