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

11.10.14

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

Тема заседания: Математические и инженерные методы и технологии оценивания и обеспечения надежности программно-аппаратных средств и систем

Доклады:

  1. К.ф-м.н., доцент Макаричев Александр Владимирович (кафедра транс-портных систем и логистики, Харьковский национальный автодорожный уни-верситет). Оценки надежности комплексов восстанавливаемых систем (ВС):
    • существующий уровень аналитических оценок надежности ВС;
    • методы получения асимптотических оценок надежности комплексов ВС;
    • новые оценки надежности систем в комплексах;
    • пути повышения надежности комплексов ВС.
  2. К.т.н., ст. научн. сотр. Дубницкий Валерий Юрьевич, к.т.н., доцент Кобылин Анатолий Михалович, научн. сотр. Скорикова Ирина Георгиевна (кафедра информатики, НИЛ, Харьковский институт банковского дела Университета банковского дела НБУ). Достоверные вычисления и их компьютерная реализация:
    • концепция достоверных вычислений;
    • системы аксиом интервальной арифметики;
    • концепция разработки программного обеспечения для реализации достоверных вычислений;
    • особенности разработки мобильных приложений для WindowsPhone.      
  3. М.н.с. Муляк Олександр Володимирович (НДЛ-16, кафедра радіоелектронних пристроїв та систем, Національний університет «Львівська політехніка») Надійнісні моделі програмно-апаратних засобів (ПАЗ) радіотехнічних систем (РТС) з версійно-структурним резервуванням:
    • огляд моделей надійності ПАЗ РТС зі складною (комбінованою) схемою резервування; основні проблеми оцінювання;
    • надійнісні моделі ПАЗ РТС з комбінованим структурним резервуванням (ду-блювання, мажоритування зі зміною правил голосування, ковзне резервуван-ня), різними версіями ПЗ і варіантами відновлення в процесі експлуатації (ав-томатичне перезавантаження, пошук і виправлення дефектів, оновлення ПЗ);
    • методичний і програмний інструментарій оцінювання: приклади практичної реалізації для бортових і наземних систем.

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

  • д.т.н., профессор Харченко Вячеслав Сергеевич. Ход выполнения проектов GreenCo, SEREIN, CABRIOLET (TEMPUS), KhAI-ERA (FP7). Перспективы новых проектов по программе Horizon2020.