Научный журнал
Современные наукоемкие технологии
ISSN 1812-7320
"Перечень" ВАК
ИФ РИНЦ = 0,940

ПРОГНОЗИРОВАНИЕ ХАРАКТЕРИСТИК ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ПРИ ПРОЕКТИРОВАНИИ СИСТЕМ ИНТЕГРИРОВАННОЙ АВИОНИКИ ВЕРТОЛЕТОВ

Бойко В.А. 1 Петров Д.Ю. 2 Резчиков А.Ф. 2 Кушников В.А. 2 Иващенко В.А. 2 Богомолов А.С. 2 Филлимонюк Л.Ю. 2 Григоренко В.В. 2
1 ФГБОУ ВПО «Саратовский государственный технический университет имени Гагарина Ю.А.»
2 ФГБУ «Институт проблем точной механики и управления» РАН
В процессе разработки программного обеспечения систем интегрированной авионики вертолетов необходимо учесть изменения значений характеристик качества программного обеспечения, возникающие из-за наличия большого количества нелинейных причинно-следственных связей, существующих между моделируемыми характеристиками, а также влияния на них параметров окружающей среды. На основе авиационных стандартов определены основные показатели качества программного обеспечения, а также внешние факторы, оказывающие влияние на моделируемые характеристики. Разработан граф причинно-следственных связей, характеризующий сложную систему причинно-следственных взаимоотношений между характеристиками программного обеспечения. На основе статистических данных, а также экспертного опроса специалистов определены зависимости между моделируемыми характеристиками и внешними факторами. Предложен комплекс математических моделей и алгоритмов, позволяющих прогнозировать характеристики программного обеспечения, при проектировании систем интегрированной авионики вертолетов за счет использования системно-динамического подхода и теории причинно-следственных комплексов. Рассмотрен пример практического использования разработанного математического обеспечения для вертолета МИ-171. Построена система дифференциальных уравнений по основным показателям качества и влияющим на них факторам на основе имеющейся статистики и оценок экспертов для вертолета МИ-171. Построены графики моделируемых характеристик качества программного обеспечения, а также получены сравнительные данные среднего квадратичного отклонения показателей качества программного обеспечения.
математическое моделирование
причинно-следственная взаимосвязь
прогнозирование
программное обеспечение
интегрированная авионика
модель системной динамики
1. Гинис Л.А. Организация проверки качества программного обеспечения бортового оборудования авиационной техники / Л.А. Гинис, К.С. Дубовская // Инновационная наука. – 2015. – № 12. – С. 42–43.
2. Горбаченко И.М. Оценка качества программного обеспечения для создания систем тестирования / И.М. Горбаченко // Фундаментальные исследования. – 2013. – № 6–4. – С. 823–827.
3. Отказобезопасные информационно-управляющие системы на программируемой логике / Е.С. Бахмач, А.Д. Герасименко, В.А. Головир и др. – Кировоград: Национальный аэрокосмический университет «ХАИ», Научно-производственное предприятие «Радий», 2008. – 380 с.
4. Резчиков А.Ф. Причинно-следственные комплексы взаимодействий в производственных процессах / А.Ф. Резчиков, В.А. Твердохлебов // Проблемы управления. – 2010. – № 3. – С. 51–59.
5. КТ-178В. Квалификационные требования. Требования к программному обеспечению бортовой аппаратуры и систем при сертификации авиационной техники. – М.: Научно-исследовательский институт авиационного оборудования, 2002. – 99 с.
6. ГОСТ Р 51904-2002. Программное обеспечение встроенных систем. Общие требования к разработке и документированию. – М.: Государственный научно-исследовательский институт авиационных систем, 2002. – 67 с.
7. Форрестер Д. Мировая динамика / Д. Форрестер; пер. с англ. А. Ворощука и С. Пегова, науч. ред. Д. Гвишиани, Н. Моисеева. – М.: АСТ, СПб.: TerraFantastica, 2003. – 379 с.
8. Долинина О.Н. Управление процессом создания программного обеспечения систем принятия решений по критерию качества / О.Н. Долинина, А.Ф. Резчиков // Системы управления и информационные технологии. – 2017. – № 3(69). – С. 78–82.
9. Бойко В.А. Архитектура программного комплекса для проектирования программного обеспечения авионики / В.А. Бойко, Д.Ю. Петров // Математические методы в технике и технологиях. – 2016. – № 12. – С. 155–158.

В основу разработки программного обеспечения (ПО) встроенных систем интегрированной авионики (СИА) положены требования авиационных стандартов [1–3]:

– стандарт ГОСТ Р 51904-2002 «Программное обеспечение встроенных систем», определяющий требования к процессу разработки, тестирования и сертификации ПО СИА;

– стандарт DO-178B «Требования к программному обеспечению бортовой аппаратуры и систем при сертификации авиационной техники»;

– стандарт ARINC-653, регламентирующий временное и пространственное разделение ресурсов бортового вычислителя.

В соответствии с этими стандартами качество ПО СИА характеризуется комплексным многокритериальным показателем, отражающим качество работы не только отдельно взятых компонентов ПО, но и их причинно-следственные взаимодействия [4].

В связи с этим при разработке ПО систем интегрированной авионики вертолетов актуальной является задача прогнозирования характеристик ПО.

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

Для решения задачи прогнозирования характеристик ПО систем интегрированной авионики вертолетов в соответствии со стандартами [5, 6] выделены основные показатели (моделируемые переменные) качества функционирования ПО:

– X1(t) – функциональность;

– X2(t) – надежность;

– X3(t) – защищенность;

– X4(t) – готовность;

– X5(t) – временная эффективность;

– X6(t) – сертифицированность;

– X7(t) – мобильность;

– X8(t) – стабильность;

– X9(t) – ресурсоемкость.

Для решения задачи использован комплекс математических моделей, построенный на основе аппарата системной динамики Форрестера [7].

Некоторые из переменных носят качественный характер. Для оценки этих переменных использованы количественные шкалы, имеющие ясный физический смысл. Для проведения расчетов использованы нормированные значения моделируемых переменных

bojk01.wmf

где Xi(t) – текущее значение характеристики, определенное в численной шкале; Ximax – максимальное значение переменной Xi(t).

Процесс решения задачи включает в себя следующие этапы:

1. Определение множества наиболее значимых факторов bojk02.wmf, влияющих на моделируемые переменные bojk03.wmf;

2. Построение графа причинно-следственных связей Gpss, отражающего взаимосвязи между переменными bojk04.wmf и внешними факторами bojk05.wmf.

3. Определение вспомогательных функции bojk06.wmf, используемых при расчете моделируемых переменных.

4. Составление дифференциальных уравнений системной динамики, определяющих значения переменных bojk07.wmf на различных временных интервалах.

5. Решение дифференциальных уравнений.

6. Анализ полученных решений – прогнозных значений переменных.

Результаты системного анализа комплекса мероприятий, необходимых для поддержания требуемого уровня качества программного обеспечения интеллектуальных систем, показывают, что в общем случае в качестве внешних факторов целесообразно использовать следующие показатели [8]:

– F1(t) – системные и программные требования;

– F2(t) – инструменты разработки ПО;

– F3(t) – опыт разработчиков ПО;

– F4(t) – опыт эксплуатационного персонала;

– F5(t) – трудоемкость разработки ПО;

– F6(t) – бюджет разработки.

Показатели bojk08.wmf измеряются в количественной шкале, а показатели bojk09.wmf сводятся к количественной шкале с помощью известных алгоритмов и процедур теории нечетких множеств [3]. При проведении математического моделирования в дальнейшем используются их нормированные значения, определенные из следующего выражения:

bojk10.wmf

где Fi(t) – текущее значение фактора, определенное в численной шкале; Fimax(t) – максимальное значение).

Разработка графа причинно-следственных связей переменных системы и внешних факторов

Данный граф характеризует сложную систему причинно-следственных связей между рассматриваемыми переменными и внешними факторами. Вершины графа соответствуют переменным bojk11.wmf, дуги определяют причинно-следственные отношения между ними – направление и тип связи переменных и факторов.

Определение связей всех переменных и факторов позволяет получить граф причинно-следственных отношений (рис. 1).

bojko1.tif

Рис. 1. Граф причинно-следственных отношений

Зависимости между переменными и факторами были определены на основе статистических данных и экспертного опроса специалистов [9].

На основе разработанного графа для моделируемых характеристик bojk12.wmf составляются дифференциальные уравнения следующего вида:

bojk13.wmf

bojk14.wmf bojk15.wmf

где Xi – моделируемая переменная; Пi+ и Si+ – соответственно произведение переменных и сумма внешних факторов положительно, а Пi– и Si– – отрицательно влияющих на рост переменной Xi(t). Таким образом дифференциальное уравнение для переменной Xi(t) имеет вид

bojk16.wmf

На основе данного соотношения и причинно-следственного графа, приведенного на рис. 1, построим уравнения системной динамики:

bojk17.wmf,

bojk18.wmf,

bojk19.wmf,

bojk20.wmf,

bojk21.wmf,

bojk22.wmf,

bojk23.wmf,

bojk24.wmf,

bojk25.wmf.

Выражения вида bojk26.wmf обозначают зависимости переменной Xi от Xj и определяются на основе экспертного опроса специалистов и аппроксимации статистических данных.

В качестве примера выполним аппроксимацию статистических данных для выражений bojk27.wmf и факторов F1, F4.

На рис. 2 представлены графики зависимости системной переменной X4 от системных переменных X1 и X5.

bojko2.tif

Рис. 2. Зависимость системной переменной X4 от системных переменных X1 и X5

Величина bojk28.wmf на начальном отрезке резко уменьшается с ростом X1, но начиная с некоторого значения увеличение X1 не приводит к значительному снижению, поэтому выражение bojk29.wmf может быть аппроксимировано следующей функцией:

bojk30.wmf,

где a – коэффициент, определенный на множестве действительных чисел.

Величина bojk31.wmf прямо пропорционально зависит от X5 и определяется линейным выражением

bojk32.wmf,

где a, b, k – коэффициенты, определенные на множестве действительных чисел.

На рис. 3 представлены графики нормированных статистических (сплошная линия) и аппроксимированных (пунктирная линия) данных для внешних факторов.

bojko3a.tif bojko3b.tif

а) б)

Рис. 3. Графики вспомогательных функций математической модели

После аппроксимации статистических данных уравнения внешних факторов будут иметь следующий вид:

bojk33.wmf

bojk34.wmf

bojk35.wmf

bojk36.wmf

bojk37.wmf

На основе имеющейся статистики, а также экспертных оценок показателей качества ПО для вертолета МИ-171 выполним конкретизацию множителей и слагаемых, входящих в данную систему уравнений по основным переменным и факторам.

bojk38.wmf

bojk39.wmf

bojk40.wmf

bojk41.wmf

bojk42.wmf

bojk43.wmf,

bojk44.wmf,

bojk45.wmf,

bojk46.wmf,

bojk47.wmf,

bojk48.wmf,

bojk49.wmf.

Полученную систему уравнений решаем методом Рунге – Кутты 4-го порядка точности.

На рис. 4 представлены графики статистических и рассчитанных данных для функциональности X1, надежности X2 и временной эффективности X5.

bojko4.tif

Рис. 4. Графики основных моделируемых показателей качества программного обеспечения

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

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

Тип данных

Среднее квадратичное отклонение

Х1

Х2

Х5

Статистические

2,560

2,073

0,443

Моделируемые

2,515

1,989

0,361

Заключение

Предложен подход к прогнозированию характеристик программного обеспечения для систем интегрированной авионики перспективных вертолетов, обеспечивающий повышение качества программного обеспечения в условиях наличия большого количества нелинейных причинно-следственных связей, существующих между характеристиками, а также влиянием на них параметров внешней среды.

Разработан комплекс взаимосвязанных моделей для прогнозирования характеристик программного обеспечения с использованием системно-динамического подхода.

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

Предложенный комплекс моделей рассмотрен на примере прогнозирования характеристик программного обеспечения для вертолета МИ-171.


Библиографическая ссылка

Бойко В.А., Петров Д.Ю., Резчиков А.Ф., Кушников В.А., Иващенко В.А., Богомолов А.С., Филлимонюк Л.Ю., Григоренко В.В. ПРОГНОЗИРОВАНИЕ ХАРАКТЕРИСТИК ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ПРИ ПРОЕКТИРОВАНИИ СИСТЕМ ИНТЕГРИРОВАННОЙ АВИОНИКИ ВЕРТОЛЕТОВ // Современные наукоемкие технологии. – 2018. – № 5. – С. 30-35;
URL: https://top-technologies.ru/ru/article/view?id=36986 (дата обращения: 29.03.2024).

Предлагаем вашему вниманию журналы, издающиеся в издательстве «Академия Естествознания»
(Высокий импакт-фактор РИНЦ, тематика журналов охватывает все научные направления)

«Фундаментальные исследования» список ВАК ИФ РИНЦ = 1,674