Какая разница между хорошим и прекрасным? Хорошее требует доказательств, а прекрасное не требует.

Вольтер

 

Связь с редакцией
Рассылка новостей

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

Издательство: БХВ-Петербург, 2010 г.
Мягкая обложка, 336 стр.
ISBN   978-5-9775-0559-8
Тираж: 1000 экз.
Формат: 60x90/16 (~145х217 мм)

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

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

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

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

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

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

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

www.qnx-russia.ru

Адрес редакции: 117997, Москва, Профсоюзная ул., д. 65, оф. 360
Телефон: (926) 212-60-97.
E-mail: info@avtprom.ru или avtprom@ipu.ru

© ООО Издательский дом "ИнфоАвтоматизация", 2003-2024 гг.

РассылкиSubscribe.Ru
Автоматизация в
промышленности