Научно-технический семинар КриКТехС – 2014-8

18.11.14

Очередное заседание семинара состоится 25 ноября (вторник) 2014 г., в 15.00  в аудитории 238 радиокорпуса ХАИ.

Тема заседания: Инструментальные методы оценивания надежности программных систем с использованием аппарата марковских случайных процессов и интервальной арифметики

Доклады:

  1. К.т.н., ст. научн. сотр. Дубницкий Валерий Юрьевич, к.т.н., доцент Кобылин Анатолий Михайлович, научн. сотр. Скорикова Ирина Георгиевна (кафедра информатики, НИЛ, Харьковский институт банковского дела УБД НБУ). Достоверные вычисления и их приложения, часть 2 (продолжение КриКТехС2014-7):
    • решение обратной задачи финансового анализа (на примере студенческого старт-апа);
    • решение прямой и обратной задачи для системы линейных алгебраических уравнений с интервально заданными характеристиками;
    • определение вычислительной погрешности расчёта надёжности.
  2. М.н.с. Бутенко Валентина Олеговна (кафедра компьютерных систем и сетей, Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ») Информационная технология оценивания готовности ИУС с использованием многофрагментных марковских и метрико-интервальных моделей:
    • проблемы точности и устойчивости оценивания ИУС высокой готовности: обзор публикаций и gap- анализ требований стандартов (IEC61508 и др.);
    • метрики «качества» (жесткости, разреженности,…) марковской модели: экспресс-анализ и выбор инструментария оценивания (программных пакетов и техник интегрирования);
    • результаты разработки и исследования марковских моделей надежности вариантов систем аварийной защиты с использованием метрико-интервального метода.

Информация о конференциях:

  • д.т.н., профессор Харченко Вячеслав Сергеевич. Современное состояние инженерии надежности программных средств: 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014, Naples, Italy, November 3-6, 2014):
  • методы моделирования (SRGM, MM, …);
  • Assurance case-технологии для надежности и безопасности;
  • технологии засева дефектов и уязвимостей.