MINIMIZATION OF INTER-MODULE INTERFACE FOR PROVISION OF RELIABILITY OF MULTIVERSION SOFTWARE SYSTEM

Толық мәтін

При синтезе мультиверсионной архитектуры программного обеспечения (ПО) важным этапом является распределение моделей и методов оценки параметров надежности по фазам жизненного цикла разработки программных средств систем управления и обработки информации [1]. Наиболее важными являются фазы, которые вносят наибольший вклад в надежность ПО: фаза дизайна архитектуры, фаза кодирования, фаза тестирования компонентов и фаза тестирования системы. Под архитектурой ПО, как и вообще любых других средств обработки информации, в узком смысле понимают совокупность их свойств и характеристик, призванных удовлетворить запросы пользователей. В более широком смысле архитектура ПО - обобщенная модель информационной системы, достаточная для понимания принципов ее функционирования [2]. Надежность архитектуры включает в себя надежность индивидуальных элементов. Сбой отдельного элемента приводит к неработоспособности этого и, возможно, других элементов, но не всей системы в целом. Сбой в системе или ее функциях может выразиться в периоде простоя системы. Период простоя системы определяется как отрезок времени, на котором система или ее часть не может выполнять функции. Период простоя системы приводит к резкому снижению производительности, поэтому уменьшение времени простоя системы является одним из наиболее важных факторов при разработке архитектур распределенного программного обеспечения. Основные понятия теории надежности комплексов программ базируются на понятиях теории надежности, первоначально развившейся применительно к аппаратным комплексам, однако имеются существенные различия в принципах обеспечения надежности программного обеспечения и других технических систем. Эксперименты показывают, что применение избыточности на самых ранних этапах разработки, насколько это возможно, уменьшает вероятность появления ошибок. Надежное ПО можно создать с помощью тщательной разработки архитектуры и выявления ошибок в компонентах, которые оказывают самое большое влияние на надежность системы. Эти компоненты определяются как наиболее часто используемые или архитектурно связанные со множеством других компонентов. Модульная организация предполагает деление ПО на функционально завершенные части (модули), унификацию связей между ними и установление иерархии взаимодействия компонентов, которая определяется последовательностью их вызова. Вызов осуществляется передачей управления от вызывающего модуля к вызываемому, который по окончании выполнения возвращает управление вызывающему модулю. Вызов группы программ осуществляется передачей управления диспетчеру группы программ более низкого уровня иерархии, входящей в данный программный комплекс (ПК). Основные методы современной практической разработки программных комплексов базируются на функциональной декомпозиции с использованием модульно-иерархических принципов [3]. При этом на каждом иерархическом уровне ПК ограничивается сложность компонентов и их связей. В результате общая сложность программной системы с возрастанием объема задач растет значительно медленнее, чем при неструктурированном проектировании. Очевидно, что использование модульного принципа на этапе технического проектирования связано с процессом оптимизации состава и взаимосвязей отдельных компонентов мультиверсионного программного и информационного обеспечения систем обработки информации и управления. Таким образом, комплекс задач синтеза модульных систем на основе мультиверсионной программной архитектуры включает в себя оптимальный выбор состава модулей мультиверсионного ПК и информационных массивов, содержания межмодульного интерфейса, а также структуры системы в целом. Известно, что основными критериями синтеза модульных систем обработки информации и управления на этапе технического проектирования являются минимум сложности межмодульного интерфейса, минимум времени обмена между оперативной и внешней памятью ЭВМ при решении задач, минимум объема неиспользуемых данных при пересылках между оперативной и внешней памятью ЭВМ; минимум технологической сложности алгоритмов обработки данных, являющейся обобщением показателя транспортного фактора при реализации алгоритмов решения функциональных задач; максимум информационной производительности модульных систем при решении задач, максимум достоверности обработки данных [4]. В качестве ограничений при решении задач синтеза оптимальных модульных систем мультиверсион-ной обработки информации и управления, кроме перечисленных показателей, используются такие характеристики, как состав процедур и объем каждого модуля, состав и объем информационных массивов, сложность и состав интерфейса между отдельными модулями, степень дублирования процедур и информационных элементов, объем оперативной памяти ЭВМ, число каналов связи с внешними запоминающими устройствами, возможности передачи управления внутри и между модулями, последовательность выполнения процедур, допустимые затраты и время разработки и внедрения системы и т. д. Исходными данными для решения задач синтеза являются техническое задание на разработку системы, результаты анализа существующей системы управления и результаты ее предварительного обследования. На основе этих данных определяются следующие характеристики: множество функциональных задач обработки данных; множество процедур обработки данных, включая альтернативные (реализация мульти-версионности); множество информационных элементов системы, связанных с процедурами обработки данных и идентифицируемых по типам: входной, промежуточный, выходной; варианты возможного взаимодействия процедур обработки данных с информационными элементами; технологическая матрица смежности либо технологическая скелетная матрица; множество допустимых последовательностей выполнения процедур; характеристики процедур, информационных элементов и технических средств [4]. Решение поставленных задач позволяет разработать функциональную блок-схему мультиверсионной модульной структуры ПК на архитектурном (системном) уровне, обеспечивающую минимальный интерфейс между модулями комплекса. Следует отметить, что дублирование мультиверсионных элементов (мультиверсий) в модулях проектируемого ПК обеспечивает снижение значения показателя программноинформационной связи этих модулей. Рассмотрим постановку задачи синтеза мультивер-сионной модульной структуры ПК, обеспечивающей минимизацию межмодульного интерфейса [5]. В проектируемый модуль добавляются мультиверсии (не меньше двух), и известны следующие значения: Rij - надежность j-й версии i-го модуля; Xj - булева переменная, равная 1, если j-я версия используется в i-м модуле, или 0 - в противном случае; n - количество модулей; mt - количество версий i-го модуля; Ri - надежность i-го модуля: m, _ Ri = 1 -П (1 - Rjj )Xj, i=. j=1 Синтезируются программы и указываются последовательности, определяющие, какие модули и в каком порядке используются, при этом: K - количество программ; Sk - множество модулей, соответствующих k-й программе. Затем, задав ограничения на надежность системы и ограничения на межмодульный интерфейс, введем дополнительные переменные: Fk - частоту использования k-й программы; R - надежность системы, максимизация которой осуществляется согласно выражению maxR = KFk П Ri. k=1 i^Sfr- Межмодульный интерфейс - это количество одних и тех же мультиверсий модулей, использующихся разными программами [6]. Для формализации постановки задачи, обеспечивающей минимизацию межмодульного интерфейса, введем дополнительную переменную Wik - булеву переменную, равную 1, если i-й модуль используется k-й программой и 0 - в противном случае. 1, если ^tWikXy- * 1 Y = * i=1 k I n 0, если YWikXy = 0. i=1 Переменная Ykj служит для формализации взаимосвязи разрабатываемой системы с отдельными мультиверсиями модулей. Для минимизации межмодульного интерфейса на уровне отдельных версий в качестве критерия используется следующее выражение: J K-1 K minЕЕ Е YkjYkj. j=1 k=1 k'=k+1 Представленная постановка задачи позволяет сформировать мультиверсионный набор компонентов модулей, использующихся в программах модульного ПК как произвольно, так и в заданной заранее последовательности. Полученный набор мультиверсий будет удовлетворять заданным условиям, обеспечивая максимальную надежность ПК и минимальное значение характеристик межмодульного интерфейса.

Авторлар туралы

I. Kovalev

Siberian State Aerospace University named after academician M. F. Reshetnev

Email: kleniks@yandex.ru

J. Nurgaleeva

Siberian State Aerospace University named after academician M. F. Reshetnev

A. Shahmatov

Siberian State Aerospace University named after academician M. F. Reshetnev

S. Chekmaryov

Siberian State Aerospace University named after academician M. F. Reshetnev

F. Lukin

Siberian State Aerospace University named after academician M. F. Reshetnev

Әдебиет тізімі

Қосымша файлдар