Контент с тегом верифікація .

КриКТехС 2014-4

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

КриКТехС 2013-6

Очередное заседание семинара состоится 3 июля 2013 г., в 11:45 в аудитории 136в радиокорпуса Национального аэрокосмического университета им. Н.Е. Жуковского «Харьковский авиационный институт» Тема заседания : Контролепригодность, технологии тестирования и верификации программно-технических средств ИУС на основе процедур засева дефектов Доклады: ...

КриКТехС 2007-2

Очередное заседание семинара состоится 1 мая 2007 г. в 14.30 в ауд. 123 радиокорпуса ХАИ. Тема заседания: Математические методы в задачах верификации и оценки надежности программного обеспечения. Доклады: Задачи и методы формальной верификации на различных этапах разработки критического программного обеспечения (Жолткевич Г.Н.); Методы моделирования и оценки...

КриКТехС 2006-3

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

КриКТехС 2005-6

Очередное заседание семинара состоится 28 октября 2005 г. в 15.00 в ауд. 123 радиокорпуса ХАИ. Тема заседания : Современные методы и технологии  проектирования и верификации параллельных программ и систем с программируемой логикой. Доклады: Автоматическое проектирование и верификация параллельных программ (Поляков Г.А., Толстолужская Е.Г., Толстолужский...

КриКТехС 2005-3

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

КриКТехС 2004-2

Очередное заседание семинара состоится 23 апреля 2004 г. в 15.00 в ауд. 123 радиокорпуса ХАИ. Тема заседания : Методы проектирования и независимой верификации критического ПО. Доклады: Семантический метод независимой верификации ПО систем критического применения (Манжос Ю.С.); Многоверсионное проектирование критического ПО: модели жизненного цикла и метрики...

КриКТехС 2003-5

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

КриКТехС 2003-1

Очередное заседание семинара состоится 7 февраля 2003 г. в 14:00 в ауд. 123 радиокорпуса ХАИ. Тема заседания : Современные стандарты и инструментальные системы поддержки верификации и зкспертизы критического программного обеспечения. Доклады: Концепция, принципы построения и реализации инструментальной системы поддержки независимой верификации и экспертизы ПО...

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

Докладчики