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