Семантическая модель языковых объектов для автоматизации процесса сертификации систем критического применения

программное обеспечение экспертирование ПО нормативная база нормативный профиль синтаксический анализ семантическая информация компрессия текста набор ключевых слов ядро семантической целостности

Уравнения марковского процесса гибели в математической теории надежности, Устойчивость периодических движений осесимметричного спутника-гиростата на круговой орбите, ...

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

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт