Проверяемый текст
Ковалев, Игорь Владимирович. Система мультиверсионного формирования программного обеспечения управления космическими аппаратами (Диссертация 1997)
[стр. 53]

53 комплексах программ, позволяют использовать эти комплексы программ при реализации процессов управления изделиями других типов.
В качестве основы единой методики создания ПО следует предложить и рассмотреть концепцию базового программного обеспечения, суть которой заключается в следующем: 1.
Для создания единой вычислительной среды при разработке, отладке и функционировании специального ПО систем управления КА выделяются и разрабатываются унифицированные программные
компоненты и необходимая документация.
При этом в состав унифицированных компонент включаются как общесистемные, так и некоторые специальные компоненты, необходимые в большинстве приложений.
2.
Создаются специальные библиотечные фонды для хранения программ и документации, называемые основными фондами и фондами прототипов.
3.
Унифицированные компоненты включаются в основные фонды.
Они служат базой при проектировании и разработке конкретных предложений.
4.
Программные компоненты конкретных приложений и соответствующая документация включаются в фонды прототипов.
В дальнейшем эти компоненты используются в качестве образцов при разработке аналогичного ПО.
5.
По мере обновления фондов соответствующие каталоги рассылаются всем заинтересованным организациям.
Результаты исследований
показывают принципиальную возможность реализации этой концепции на ЭВМ любого типа, однако в настоящее время ведутся конкретные работы для вычислительных средств универсального комплекса отображения информации "Ритм".
При этом состав базового набора программных модулей, его функции и принципы функционирования приводятся применительно к первой версии.
В дальнейшем, с появлением новых функций базовое ПО может модифицироваться, что будет отражаться в соответствующих версиях.

2.1.8 Определение базового модуля мультиверсионной программной системы.
Итак, все вышесказанное предполагает при синтезе систем управления КА и их программного обеспечения наличие формально определенных функциональных конструкций (модулей).
Число же неформальных определений модуля достаточно велико и, большей частью, эти определения отражают различные свойства модулей.
Наиболее общими являются определения модуля типа
"модуль это целевая структуризация программного обеспечения" либо "модуль есть
[стр. 47]

и функционирования ПО различного назначения на общих вычислительных системах и, во-вторых, организовать фонды программ, доступные всем заинтересованным организациям.
Определив базовое ПО как набор унифицированных программных компонент, позволяющих создавать единую вычислительную среду для разработки, отладки и функционирования ПО различных приложений, выделим две группы программных компонент, отличных по своему назначению.
Базовое системное ПО, с использованием компонентов которого, в настоящее время ведется разработка современных систем распределенной обработки данных различного назначения.
В [211] дано краткое описание конкретного варианта наборов компонентов базового ПО, используемого при построении конкретной системы, приводятся результаты оценки параметров функционирования системы, полученные в процессе ее эксплуатации.
Рассмотренный вариант является универсальным, функционально полным и может быть использован при построении аналогичных систем.
Конкретная система может создаваться из базовых компонентов путем их настройки (адаптации или генерации).
Вторая группа программных компонент — системные специальные пакеты программ, которые могут быть унифицированы для различных приложений (систем управления автономными объектами других типов).
Например, для создания управления КА [212], в качестве одной из специальных компонент можно назвать пакет обеспечения программной поддержки планирования средств системы и подготовки технологических данных.
Для специального математического обеспечения управления, предназначенного для работы в составе программного обеспечения ЦУСУ 17Ц42 при управлении КА, можно отметить следующее.
Методы решения задач планирования, управления и контроля состояния параметров изделий, реализованные в соответствующих комплексах программ, позволяют использовать эти комплексы программ при реализации процессов управления изделиями других типов.
В качестве основы единой методики создания ПО следует предложить и рассмотреть концепцию базового программного обеспечения, суть которой заключается в следующем: 1.
Для создания единой вычислительной среды при разработке, отладке и функционировании специального ПО систем управления КА выделяются и разрабатываются унифицированные программные
компонен47

[стр.,48]

ты и необходимая документация.
При этом в состав унифицированных компонент включаются как общесистемные, так и некоторые специальные компоненты, необходимые в большинстве приложений.
2.
Создаются специальные библиотечные фонды для хранения программ и документации, называемые основными фондами и фондами прототипов.
3.
Унифицированные компоненты включаются в основные фонды.
Они служат базой при проектировании и разработке конкретных предложений.
4.
Программные компоненты конкретных приложений и соответствующая документация включаются в фонды прототипов.
В дальнейшем эти компоненты используются в качестве образцов при разработке аналогичного ПО.
5.
По мере обновления фондов соответствующие каталоги рассылаются всем заинтересованным организациям.
Результаты исследований,
приведенных в [56] показывают принципиальную возможность реализации этой концепции на ЭВМ любого типа, однако в настоящее время ведутся конкретные работы для вычислительных средств универсального комплекса отображения информации ”Ритм”.
При этом состав базового набора программных модулей, его функции и принципы функционирования приводятся применительно к первой версии.
В дальнейшем, с появлением новых функций базовое ПО может модифицироваться, что будет отражаться в соответствующих версиях.

1.4.
Мультиверсионая методология формирования отказоустойчивого ПО Концепция мультиверсионного программирования была введена А.
Avizienis впервые в 1977 году [49].
Часто употребляемый в литературе термир N-версионное программирование — NVP (N-version programming) является эквивалентным и многократно фигурирует в сокращенных обозначениях рассматриваемой методологии.
При необходимости ниже будут даваться пояснения и сравнительный анализ терминологии.
Итак, A.Avizienis определил NVP как независимую генерацию N > 2 48

[стр.,101]

3.
Формирование программного обеспечения реализации ТЦУ 3.1.
Определение базового модуля мультиверсионной программной системы Итак, все вышесказанное предполагает при синтезе систем управления КА и их программного обеспечения наличие формально определенных функциональных конструкций (модулей).
Число же неформальных определений модуля достаточно велико и, большей частью, эти определения отражают различные свойства модулей.
Наиболее общими являются определения модуля типа
’’модуль это целевая структуризация программного обеспечения” либо ’’модуль есть поименованное множество программных инструкций или микрокоманд”, которые даются в методологии структурного программирования.
Например, Д.Парнас [67] в определении модуля выделяет две основные характеристики: мощность (количество процедур обработки информации и управления, которые модуль может реализовать) и связность его с другими модулями программной системы.
Иногда выделяют такие характеристики, как упорядоченность и автономность отдельного модуля, независимость трансляции и т.д.[68].
Согласно предложенной выше концепции базового ПО систем управления КА базовые модули представляют собой множество подграфов интегрированного графа технологии решения задач обработки информации и управления в системе и обладают совокупностью характеристик и параметров, определяющих их способность к многократной адаптации и использованию в составе отдельных задач обработки информации и управления при ограниченной модификации.
Таким образом, графовая модель ТЦУ соответствует самому высокому уровню абстракции (обобщения) описания задач управления КА.
В соответствии с этой моделью интегрированный граф содержит общие и специфические части всего множества анализируемых задач данного ТЦУ и обеспечивает их реализацию.
Степень же абстракции задач ТЦУ зависит от необходимого уровня детализации описания и диктуется ранее рассмотренными этапами анализа, коррекции и оптимизации ТЦУ.
101

[Back]