Инженерный журнал: наука и инновацииЭЛЕКТРОННОЕ НАУЧНО-ТЕХНИЧЕСКОЕ ИЗДАНИЕ
свидетельство о регистрации СМИ Эл № ФС77-53688 от 17 апреля 2013 г. ISSN 2308-6033. DOI 10.18698/2308-6033
  • Русский
  • Английский
Статья

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

Опубликовано: 02.12.2013

Авторы: Бутенко Ю.И., Шостак И.В.

Опубликовано в выпуске: #12(24)/2013

DOI: 10.18698/2308-6033-2013-12-1165

Раздел: Прикладная математика

Представлены результаты исследования синтеза обобщенной модели ядра семантической целостности для автоматизации процесса обработки текстов стандартов программного обеспечения (ПО) и технической документации к программным продуктам. Применение данной модели в составе компьютеризированной диалоговой системы поддержки принятия решений при сертификации систем с интенсивным использованием ПО обеспечит повышение эффективности работы сертификационного аудитора в результате сокращения доли рутинного труда при формировании нормативного профиля на ПО, а также снижения рисков принятия неверных решений в процессе анализа текстов технической документации на ПО. Приведены лингвистические основы семантического моделирования языка стандартов и технической документации на ПО. Дано формальное представление обобщенной модели ядра семантической целостности языковых объектов типа "Нормативная база и техническая документация на ПО".


Литература
[1] Харченко В.С., Ястребинецкий М.А., Васильченко В.Н. Нормирование и оценка безопасности информационных и управляющих АЭС: регулирующие требования к программному обеспечению. Ядерная и радиационная безопасность, 2002, № 1, с. 18-33
[2] Конорев Б.М., Сергиенко В.В., Чертков Г.Н., Алексеев Ю.Г. Доказательная независимая верификация и оценка скрытых дефектов критического программного обеспечения на основе диверсифицированного измерения инвариантов. Радиоэлектронные и компьютерные системы, 2009, № 7, с. 192-199
[3] Харченко В.С., Скляр В.В., Тарасюк О.М. Анализ рисков аварий для ракетно-космической техники: эволюция причин и тенденций. Радиоэлектронные и компьютерные системы, 2003, № 3, с. 135-149
[4] Тарасюк О.М. Методы и инструментальные средства метрико-вероятностной оценки качества программного обеспечения информационно-управляющих систем критического применения. Дис. ... канд. техн. наук. Харьков, 2004, 204 с.
[5] Шостак И.В., Шостак И.В., Бутенко Ю.И., Шостак Е.И. Знание-ориентированные методы формирования нормативных профилей к системам критического применения на основе онтологий. Радиоэлектронные и компьютерные системы, 2010, № 5, с. 104-108
[6] Шостак И.В., Бутенко Ю.И. Подход к автоматизации процесса формирования нормативного профиля при сертификации программных продуктов. Системы обработки информации, 2010, № 8 (89), с. 122-126
[7] Даниленко В.П. Лексические требования к стандартизуемой терминологии. Терминология и норма. Москва, Наука, 1972, с. 5-32
[8] Даниленко В.П. Русская терминология. Опыт лингвистического описания. Москва, Наука, 1977, 246 с.
[9] Нелюбин Л.Л. Перевод и прикладная лингвистика. Москва, Высш. шк., 1983, 207 с.
[10] Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Москва, Мир, 1978, 616 с.
[11] Апресян Ю.Д. Исследования по семантике и лексикографии. Т. 1: Парадигматика. Москва, Языки славянских культур, 2009, 568 с.
[12] Апресян Ю.Д. Избранные труды. В 2 т. Т. 1. Лексическая семантика (синонимические средства языка). Москва, Восточная литература, 1995, 472 с.
[13] Лукашевич Н.В. Тезаурусы в задачах информационного поиска. Москва, Изд-во Моск. ун-та, 2011, 512 с.
[14] Левашова Т.В., Пашкин М.П., Смирнов А.В. Управление онтологиями (базами знаний). Ч. I. Известия РАН. Сер. Теория и системы управления. 2003, № 4, с. 132-146
[15] Левашова Т.В., Пашкин М.П., Смирнов А.В. и др. Управление онтологиями. Ч. II. Известия РАН. Сер. Теория и системы управления, 2003, № 5, с. 89-101