Контент с тегом надежность .

КриКТехС 2015-9

Очередное заседание семинара состоится 8 декабря (вторник) 2015 г., в 15:00 в аудитории 238 радиокорпуса Национального аэрокосмического университета им. Н.Е. Жуковского «Харьковский авиационный институт» Тема заседания : Математические методы оценивания надежности и безопасности программных систем Доклады: Моделі, методи та засоби аналізу надійності ...

КриКТехС 2014-8

Очередное заседание семинара состоится 25 ноября (вторник) 2014 г., в 15:00 в аудитории 238 радиокорпуса Национального аэрокосмического университета им. Н.Е. Жуковского «Харьковский авиационный институт» Тема заседания : Инструментальные методы оценивания надежности программных систем с использованием аппарата марковских случайных процессов и интервальной арифметики ...

КриКТехС 2014-7

Очередное заседание семинара состоится 16 октября (четверг) 2014 г., в 15:00 в аудитории 238 радиокорпуса Национального аэрокосмического университета им. Н.Е. Жуковского «Харьковский авиационный институт» Тема заседания : Математические и инженерные методы и технологии оценивания и обеспечения надежности программно-аппаратных средств и систем Доклады: Оценки...

КриКТехС 2013-7

Очередное заседание семинара состоится 24 сентября 2013 г., в 15:00 в аудитории 238 радиокорпуса Национального аэрокосмического университета им. Н.Е. Жуковского «Харьковский авиационный институт» Тема заседания: Марковский анализ в задачах оценивания надежности и безопасности радиоэлектронных и компьютерных систем для критических инфраструктур (космические и энергетические...

КриКТехС 2013-1

Очередное заседание семинара состоится 25 января 2013 г., в 14:30 в аудитории 238 радиокорпуса Национального аэрокосмического университета им. Н.Е. Жуковского «Харьковский авиационный институт» Тема заседания: Теоретические аспекты разработки и проблема надежности программных систем Доклады: Композиционная семантика SQL-подобных языков и смежные вопросы ...

КриКТехС 2012-7

Очередное заседание семинара состоится 6 декабря 2012 г. в 15.00  в ауд. 238 радиокорпуса ХАИ. Тема заседания : Методы и компьютерные технологии оценивания надежности энергетических и информационно-управляющих систем с переменными параметрами. Доклады: Математические модели и методы для определения характеристик надежности восстанавливаемых...

КриКТехС 2012-2

Очередное заседание семинара состоится 1 марта 2012 г. в 15.00 в ауд. 238 радиокорпуса ХАИ. Тема заседания : Оценка надежности и безопасности программных систем: вероятностные и Case-ориентированные методы. Доклады: Методы и компьютерные средства моделирования и оценки надежности программного обеспечения с учетом вторичных дефектов (Руденко А.А.); Модель,...

КриКТехС 2012-1

Очередное заседание семинара состоится 3 февраля 2012 г. в 15.00 в ауд. 238 радиокорпуса ХАИ. Тема заседания : Проблемы обеспечения надежности, разработки и применения встроенных программируемых систем. Доклады: Проблемы обеспечения надежности программно-аппаратных средств беспилотных систем (Кортунов В.И.); Использование микроконтроллеров AVR для решения...

КриКТехС 2011-6

Очередное заседание семинара состоится 14 октября 2011 г. в 14.30 в ауд. 233 радиокорпуса ХАИ. Тема заседания : Технология Cloud Computing в контексте проблем надежности и безопасности бизнес-критических приложений. Доклады: Динамика программных систем (ПС) и моделирование их надежности (Маевский Д.А.); Система управления кластером для корпоративного...

КриКТехС 2010-5

Очередное заседание семинара состоится 16 декабря 2010 г. в 15.00  в ауд. 238 радиокорпуса ХАИ. Тема заседания : Риск-анализ и формальные методы в задачах анализа влияния надежности программных средств и процессов на безопасность человеко-машинных систем. Доклады: Безопасность ракетно-космической техники и надежность компьютерных систем: анализ аварий в...

КриКТехС 2010-3

Очередное заседание семинара состоится 15 октября 2010 г. в 15.00 в ауд. 238 радиокорпуса ХАИ. Тема заседания : Методы и технологии моделирования и оценки качества и надежности программных систем при разработке и эксплуатации. Доклады: Структурная динамика и моделирование надежности программных систем (Маевский Д.А.); Разработка и исследование пост...

КриКТехС 2009-8

Очередное заседание семинара состоится 10 декабря 2009 г. в 15.30 в ауд. 238 радиокорпуса ХАИ. Тема заседания : Обеспечение надежности и функциональной безопасности информационно-управляющих систем АЭС: методы, средства и технологии. Доклады: Риск-ориентированные методы обеспечения и оценки функциональной безопасности информационно-управляющих систем АЭС (Скляр...

КриКТехС 2009-1

Очередное заседание семинара состоится 22 января 2009 г. в 15.00 в ауд. 238 радиокорпуса ХАИ. Тема заседания : Надежные и безопасные автоматы и системы на программируемой логике для критических приложений. Доклады: Модели и методы управления объектами критического применения на основе безопасных ПЛИС-контроллеров с параллельной архитектурой (Малиновский М.Л.); ...

КриКТехС 2007-5

Очередное заседание семинара состоится 19 ноября 2007 г. в 14.30 в ауд. 123 радиокорпуса ХАИ. Тема заседания: Компонентно-ориентированная разработка надежных программных продуктов и информационно-аналитических и информационно-управляющих систем. Доклады: Распределенные информационно-аналитические системы в медицине: архитектура, принципы...

КриКТехС 2007-4

Очередное заседание семинара состоится 5 октября 2007 г. в 15.00 в ауд. 123 радиокорпуса ХАИ. Тема заседания: Автоматные модели и эволюционные методы в задачах разработки надежных и безопасных систем на программируемой логике. Доклады: Математические модели и методы синтеза БЛП-автоматов для безопасных ПЛИС-контроллеров с параллельной архитектурой (Малиновский...

КриКТехС 2007-3

Очередное заседание семинара состоится 21 июня 2007 г. в 15.00 в ауд. 123 радиокорпуса ХАИ. Тема заседания: Методы и технологии разработки надежных управляющих систем на основе программируемых логических контроллеров. Доклады: Опыт и перспективы применения программируемых логических контроллеров в критических системах (Кривоносов А.И., Бабешко Е.В.); ...

КриКТехС 2006-2

Очередное заседание семинара состоится 1 марта 2006 г. в 15.00 в ауд. 123 радиокорпуса ХАИ. Тема заседания : Мультиагентные технологии управления и проблемы надежности компьютерных сетей. Доклады: Модели и методы мульти­агентных систем в управлении потоками данных в компьютерных сетях (Хошаба А.М.); Анализ методологических подходов к оценке структурной...

КриКТехС 2005-5

Очередное заседание семинара состоится 30 сентября 2005 г. в 15.00 в ауд. 123 радиокорпуса ХАИ. Тема заседания : Методы и средства обеспечения качества обслуживания и надежности компьютерных сетей. Доклады: Методы и средства  повышения качества обслуживания в мобильных  компьютерных сетях (Кулаков Ю.А.); Методы и средства обеспечения надежности...

КриКТехС 2005-3

Очередное заседание семинара состоится 22 апреля 2005 г. в 15.00 в ауд. 123 радиокорпуса ХАИ. Тема заседания : Методы ускоренной оценки надежности и верификации цифровых систем на СБИС. Доклады: Вероятностно-физический подход к теории ускоренной оценки надежности элементов и устройств вычислительной техники (Федухин А.В.); Верификация проектов на ПЛИС при...

КриКТехС 2004-7

Очередное заседание семинара состоится 24 декабря 2004 г. в 14.00 в ауд. 123 радиокорпуса ХАИ. Тема заседания : Методы профилирования, оценки и обеспечения надежности и безопасности информационно-управляющих систем и сетей для АЭС при использовании открытых технологий. Доклады: Методы и средства реализации систем аварийной защиты с использованием многоверсионных...

КриКТехС 2003-6

Очередное заседание семинара состоится 28 ноября 2003 г. Тема заседания : Современные проблемы и методы обеспечения надежности Web-систем. Доклады: Методы анализа и обеспечения устойчивости поисковых систем к воздействию на открытую коллекцию документов (Садовский А.А.); Анализ отказоустойчивых архитектур Web-систем (Фурманов А.А., Гуров А.М.).

КриКТехС 2003-2

Очередное заседание семинара состоится 28 марта 2003 г. Тема заседания : Методы обеспечения надежности и безопасности компьютерных сетей. Доклады: Диверсность в системах защиты информации корпоративных сетей (Гоффер А.В.); Модели и алгоритмы проектирования надежных телекоммуникационных сетей (Момот М.А.).

КриКТехС 2001-5

Очередное заседание семинара состоится 20 декабря 2001 г. Тема заседания: Принципы построения и обеспечения надежности компьютерных сетей, основанных на открытых стандартах, для систем критического применения. Доклады: Возможности использования сетевых технологий, построенных на открытых стандартах, в критических приложениях (Хлестков В.И.); Анализ методов и...

КриКТехС 2001-1

Заседание семинара состоится 31 мая 2001 г. Тема заседания: Многоверсионные информационные технологии и проблема надежности и безопасности комплексов критического применения. Доклады: Многоверсионные технологии и системы в задачах обеспечения надежности и безопасности комплексов критического применения (Харченко В.С.); Методы оценки надежности программных...

Навигация по категориям

Докладчики