Логотип МИЭМ НИУ ВШЭ
Завершен
Логотип типа проекта Программный
Программный
2024 / 2025
Логотип проекта Создание математического ядра для имитационного моделирования надежности восстанавливаемых систем

    926 Создание математического ядра для имитационного моделирования надежности восстанавливаемых систем

    Старт
    17.12.2024
    Представление
    27.01.2025 – 07.02.2025
    Постерная сессия
    14.04.2025 – 25.04.2025
    Защита
    13.05.2025 – 19.05.2025

    Паспорт проекта

    Аннотация

    Объектом разработки является программа для прогнозирования показателей надежности монотонных структур с использованием имитационного моделирования. В процессе работы на первом году уже была разработана программа для формальных моделей «типовых» групп резервирования с восстановлением. Разработан алгоритм формирования временной диаграммы состояний (ВДС) систем со «сложной» – иерархической – структурной схемой надежности (ССН) с восстановлением на разных уровнях иерархии. Предложен способ...

    Отрасль

    Информатика

    Теги

    Информатика
    Моделирование
    Надежность

    Цель

    Цель работы – повышение качества проектирования сложных систем. Разработка программной документации на программу математического ядра для имитационного моделирования надежности восстанавливаемых систем для возможности автоматизации данного процесса на ранних этапах проектирования. Создание автоматических тестов для программы.

    Ожидаемые результаты

    • Тестирование программы АСОНИКА-К-РЭС версия 1.0, на примере реальных схем резервирования устройств
      • Подготовка пакета эксплуатационной программной документации по ЕСПД и требованиям Реестра ПО Минцифры РФ
        • Подготовка развернутого руководства пользователя, включая разбор популярных типовых схем резервирования
          • Формирование набора автоматических тестов для проверки корректности работы программы АСОНИКА-К-РЭС 1.0

            Форма и способы промежуточного контроля

            - Регулярные встречи с руководителем по проекту; - Устные отчеты о проделанной работе в соответствии с календарным планом.

            Форма представления результатов

            Программная документация; обзор на программный модуль; презентация и отчет.

            Ресурсное обеспечение

            УЛ 222. Исходный код программы, часть программной документаций, релиз программы. Предоставление компьютера для проведения тестовых испытаний.

            Имеющийся задел

            Создан релиз программы АСОНИКА-К-РЭС 1.0, создана первая версия пользовательской документации.

            Заказчик

            МИЭМ / ДКИ