Контент с тегом безпека .

КриКТехС 2015-9

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

КриКТехС 2015-7

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

КриКТехС 2015-6

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

КриКТехС 2014-5

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

КриКТехС 2014-4

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

КриКТехС 2013-10

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

КриКТехС 2013-7

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

КриКТехС 2012-2

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

КриКТехС 2011-8

Очередное заседание семинара состоится 20 декабря 2011 г. в 14.30 в ауд. 238 радиокорпуса ХАИ. Тема заседания : Математические и прикладные методы технического диагностирования систем, важных для безопасности. Доклады: Представление автоматов дискретными геометрическими структурами  для решения задач технического диагностирования (Твердохлебов В.А.); ...

КриКТехС 2011-6

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

КриКТехС 2011-5

Очередное заседание семинара состоится 30 июня 2011 г. в 14.30 в аудитории 233 радиокорпуса ХАИ. Тема заседания : Принцип диверсности и проблемы функциональной и информационной безопасности: методы, технологии и реализация. Доклады: Принцип разнотипности и его применение для обеспечения безопасности бизнес-критических систем и инфраструктур (Заславский В.); ...

КриКТехС 2011-3

Очередное заседание семинара состоится 31 марта 2011 г. в 15.00 в ауд. 238 радиокорпуса ХАИ. Тема заседания : Методы и технологии оценки функциональной безопасности программного обеспечения и информационно-управляющих систем на основе методологий Safety и Assurance-Case. Доклады: Методология, основанная на случаях для гарантии безопасности критического...

КриКТехС 2011-2

Очередное заседание семинара состоится 10 февраля 2011 г. в 15.00 в ауд. 238 радиокорпуса ХАИ. Тема заседания : Методы и технологии оценки и обеспечения функциональной безопасности и готовности критических и бизнес-критических систем. Доклады: Научно-методические основы и информационные технологии обеспечения и оценки функциональной безопасности...

КриКТехС 2010-5

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

КриКТехС 2010-4

Очередное заседание семинара состоится 18 ноября 2010 г., в 15.00 в ауд. 238 и 19 ноября в 10.00 в ауд. 132 радиокорпуса ХАИ. Тема заседания : Диагностирование и безопасность критических инфраструктур: проблемы и решения. Доклады: Модели и методы технического диагностирования сложных человеко-машинных систем (СЧМС) (Твердохлебов В.А.); Гарантированная...

КриКТехС 2009-8

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

КриКТехС 2009-7

Очередное заседание семинара состоится 24 ноября 2009 г. в 15.00 в ауд. 238 радиокорпуса ХАИ. Тема заседания : Обеспечение безопасности авиационных и энергетических систем в контексте развития компьютерных технологий: человеческий и технический факторы. Доклады: Авиационная безопасность и модели принятия решений человеком-оператором (ЧО) (Человеческий фактор в...

КриКТехС 2009-4

Очередное заседание семинара состоится 18 июня 2009 г. в 15.00 в ауд. 238 радиокорпуса ХАИ. Тема заседания : Методы и компьютерные технологии моделирования в задачах динамики и оценки безопасности систем управления аэрокосмической техники. Доклады: Компьютерные технологии в задачах динамики систем управления критическими объектами (Соколов Ю.Н.); Методы и...

КриКТехС 2009-1

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

КриКТехС 2007-4

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

КриКТехС 2004-7

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

КриКТехС 2004-4

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

КриКТехС 2003-2

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

КриКТехС 2001-1

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

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

Докладчики