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

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

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

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

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

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

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

www.qnx-russia.ru

Последний вышедший номер

Читайте в номере:

Анализ соответствия человеко-машинного интерфейса автоматизированных рабочих мест персонала блочного пункта управления Ленинградской АЭС-2 современным подходам по проектированию

Многоуровневая оперативная оптимизация технологического режима установок подготовки нефти

Система мониторинга и прогнозирования скорости роста коррозионных повреждений резервуаров для хранения нефти и нефтепродуктов

Применение сетевых моделей в социальных, технических и биологических системах. I. Модели представления знаний

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

Сайт «Автоматизация в промышленности» предназначен для специалистов по промышленной автоматизации: главных инженеров, главных энергетиков, главных механиков, главных метрологов, инженеров служб АСУ ТП, АСУТП, КИПиА, КИП и А, отделов метрологии, отделов автоматизации, отделов главного инженера, специалистов инжиниринговых и внедренческих фирм, менеджеров фирм системных интеграторов, преподавателей вузов, научных работников, сотрудников научно-исследовательских институтов, студентов и аспирантов.

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

В каждом номере проводится обсуждение актуальных тем по проблемам создания и применения следующего инструментария: интегрированные АСУ, MES, АСУ П, АСУ ТП, SCADA, АСКУЭ, EAM, ТОИР, ERP, LIMS, ЛИУС, распределенные системы управления, РСУ, система управления качеством выпускаемой продукции, промышленные тренажеры, современные методы и алгоритмы управления и моделирования, коммуникационные средства, GSM–связь, РС-совместимые контроллеры, ПК, человеко-машинный интерфейс, встраиваемые системы, Web-технологии, HTML-технологии, числовое программное управление, ЧПУ, виртуальные приборы, виртуальное измерение, беспроводная связь, имитационное моделирование, Ethernet, Internet-технологии, Industry 4.0, Интернет вещей, промышленный Интернет вещей, IIoT, IoT, Четвертая промышленная революция, навигационные системы, роботы, датчики, сенсоры, диагностика клапанов, водоподготовка, экологические системы, производственная безопасность, идентификация, RFID-технологии, машинное зрение, промышленные сети, средства промышленного монтажа, корпуса и конструктивные решения, пневмоавтоматика, ПЛК, программируемые логические контроллеры, интеллектуальные датчики, сервосистемы, системы поддержки принятия решений и т.д.

Вниманию читателей предлагаются подборки по автоматизации следующих отраслей промышленности и народного хозяйства: металлургия, нефтегазовая отрасль, химическая промышленность, транспорт, сельское хозяйство, комбикормовая и перерабатывающая промышленность, автомобилестроение, энергетика, электроэнергетика, жилищно-коммунальное хозяйство, интеллектуальное здание, умный дом, непрерывное производство (рецептурное), дискретное производство, пищевая промышленность и др.