Система поддержки принятия решений при формировании мультиверсионного программного обеспечения

адрес, внутренняя структура и т.п.). Местоположение и среда обитания не должны иметь значения. Работа с субстратом может производиться отдельно от задач построения систем. Эти элементы и образуют основу ИП.

Информационные элементы могут иметь некоторые естественные взаимоотношения друг с другом (начальная структура). Разумеется, полные отношения определяет конкретная задача, использующая эти элементы. Но начальные естественные отношения могут быть сформулированы безотносительно к задаче («входит в...», «является подклассом...»). Такие отношения целесообразно формулировать с использованием аппарата онто-логий, которые позволят не только сформулировать связи между элементами, но и связать внутренние структуры этих элементов. То есть онтоло-

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

Концепт как системообразующее свойство является проекцией постановки какой-либо задачи. Концепт формулирует принцип подбора субстрата и задает направление формирования (доопределения) структуры. Именно задание концепта и является началом формирования системы. Очевидно, что имеет смысл хранить и культивировать самостоятельно библиотеки концептов как типовые задачи.

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

СИСТЕМА ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙ ПРИ ФОРМИРОВАНИИ МУЛЬТИВЕРСИОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

Р.Ю. Царев

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

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

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

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

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

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

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

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

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

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

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

Разработанная система поддержки принятия решений при формировании ПО согласно методологии мультверсионного программирования позволяет автоматизировать процесс выбора оптимального состава мультиверсионных программных компонент ПО.

Концептуальная схема системы представлена на рисунке.

Формирование мультиверсионного ПО требует определения объема вводимой программной избыточности. В рамках предлагаемой системы определение объема является предварительным этапом, обеспечивающим реализацию базовых требований методологии мудьтиверсионного про-

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

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

• /ыггу-метод решения задачи многоцелевой оптимизации;

• многоатрибутивный метод учета неопределенности и субъективности оценок при выборе недоминируемого решения;

• метод упорядоченного предпочтения через сходство с идеальным решением (ГОРЖ).

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

Система поддержки принятия решений при формировании мультиверсионного ПО была использована при реализации информационно-управляющего блока мобильного измерительного комплекса диагностики и мониторинга ядерных объектов и сооружений на горно-химическом комбинате (г. Железногорск) в рамках межотраслевой программы сотрудничества между Минобразования России и Минатомом России «Научно-инновационное сотрудничество».

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

Ввод данных

Метод многоатрибутивного выбора оптимальной избыточности мультиверсионного ПО Метод модельного прототипа для определения объема вводимой программной избыточности

БД

-1 ^ы^^у-

метод

Метод учета неопределенности и субъективности оценок

Концептуальная схема системы поддержки принятия решений

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

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

Мультиверсионное программирование является возможной альтернативой методам тестиро-

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

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

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

ВНИМАНИЮ АВТОРОВ

Материал для публикации представляется в формате Word в электронном виде (обязательно наличие твердой копии и сведений об авторах: фамилия, имя, отчество, наименование организации, должность, ученые степень и звание, контактный телефон и почтовый адрес для отправки авторского экземпляра).

Объем статьи вместе с аннотацией и иллюстрациями не должен превышать 5 страниц стандартного машинописного текста (10000 знаков).

Для увеличения емкости печатного листа авторам не следует приводить

библиографических списков. Ссылки на использованную литературу необходимо давать либо в виде подстрочного примечания (сноски), либо краткого попутного пояснения по тексту (внутритекстовой ссылки).

Просьба не присылать цветные рисунки, а также сканированные формулы и тексты. Макет статьи произвольный. Автор статьи отвечает за подбор, правильность и точность приводимого фактического материала.

Авторские гонорары не выплачиваются, рукописи и рисунки не возвращаются.

Адрес редакции: 170024, г. Тверь, проспект 50 лет Октября, 3 А Телефон: (4822) 39-42-77, факс: (4822) 39-40-00 Электронная почта: red@cps.tver.ru