Научно-технический семинар КриКТехС – 2014-8
18.11.14
Очередное заседание семинара состоится 25 ноября (вторник) 2014 г., в 15.00 в аудитории 238 радиокорпуса ХАИ.
Тема заседания: Инструментальные методы оценивания надежности программных систем с использованием аппарата марковских случайных процессов и интервальной арифметики
Доклады:
- К.т.н., ст. научн. сотр. Дубницкий Валерий Юрьевич, к.т.н., доцент Кобылин Анатолий Михайлович, научн. сотр. Скорикова Ирина Георгиевна (кафедра информатики, НИЛ, Харьковский институт банковского дела УБД НБУ). Достоверные вычисления и их приложения, часть 2 (продолжение КриКТехС2014-7):
- решение обратной задачи финансового анализа (на примере студенческого старт-апа);
- решение прямой и обратной задачи для системы линейных алгебраических уравнений с интервально заданными характеристиками;
- определение вычислительной погрешности расчёта надёжности.
- М.н.с. Бутенко Валентина Олеговна (кафедра компьютерных систем и сетей, Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ») Информационная технология оценивания готовности ИУС с использованием многофрагментных марковских и метрико-интервальных моделей:
- проблемы точности и устойчивости оценивания ИУС высокой готовности: обзор публикаций и gap- анализ требований стандартов (IEC61508 и др.);
- метрики «качества» (жесткости, разреженности,…) марковской модели: экспресс-анализ и выбор инструментария оценивания (программных пакетов и техник интегрирования);
- результаты разработки и исследования марковских моделей надежности вариантов систем аварийной защиты с использованием метрико-интервального метода.
Информация о конференциях:
- д.т.н., профессор Харченко Вячеслав Сергеевич. Современное состояние инженерии надежности программных средств: 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014, Naples, Italy, November 3-6, 2014):
- методы моделирования (SRGM, MM, …);
- Assurance case-технологии для надежности и безопасности;
- технологии засева дефектов и уязвимостей.