УДК 004.89
Семантическая модель языковых объектов
для автоматизации процесса сертификации
систем критического применения
© Ю.И. Бутенко, И.В. Шостак
Национальный аэрокосмический университет
им. <...> Н.Е. Жуковского «ХАИ», Харьков, 61070, Украина
Представлены результаты исследования синтеза обобщенной модели ядра семантической целостности для автоматизации процесса обработки текстов стандартов программного обеспечения (ПО) и технической документации к программным продуктам. <...> Применение данной модели в составе компьютеризированной
диалоговой системы поддержки принятия решений при сертификации систем с
интенсивным использованием ПО обеспечит повышение эффективности работы
сертификационного аудитора в результате сокращения доли рутинного труда
при формировании нормативного профиля на ПО, а также снижения рисков принятия неверных решений в процессе анализа текстов технической документации
на ПО. <...> Приведены лингвистические основы семантического моделирования языка
стандартов и технической документации на ПО. <...> Дано формальное представление
обобщенной модели ядра семантической целостности языковых объектов типа
«Нормативная база и техническая документация на ПО». <...> Ключевые слова: программное обеспечение, экспертирование ПО, нормативная
база, нормативный профиль, синтаксический анализ, семантическая информация,
компрессия текста, набор ключевых слов, ядро семантической целостности. <...> Одной из особенностей современного этапа развития
техники является распространение систем критического применения,
сбои и отказы в работе которых несут потенциальную угрозу природе и человеческому обществу [1]. <...> При этом ключевая роль в обеспечении безопасности принадлежит информационно-управляющим системам (ИУС), выполняющим функции предотвращения, защиты и
ликвидации последствий аварийных ситуаций [2]. <...> По результатам исследований, каждый пятый отказ оборудования
атомной электростанции связан с неисправностями <...>