ПОДДЕРЖКА ПРИНЯТИЯ РЕШЕНИЙ ПРИ МУЛЬТИВЕРСИОННОМ ФОРМИРОВАНИИ ВЫСОКОНАДЕЖНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Применение программного обеспечения в высокотехнологичных сферах промышленности определяет высокие требования к качеству и надежности программных средств. Одним из положительно зарекомендовавших себя подходов к повышению надежности и реализации отказоустойчивости программного обеспечения является мультиверсионное формирование программных средств.
Применяя методологию мультиверсионного формирования программных средств можно гарантировать высокий уровень надежности как самих средств, так и программного обеспечения, используемого в информационно-управляющих системах и телекоммуникационных системах реального времени.
Данная методология основывается на программной избыточности, введение которой позволяет существенно повысить уровень надежности и обеспечить отказоустойчивость программных средств.
Программная избыточность используется для контроля и обеспечения достоверности наиболее важных результатов обработки информации. Она заключается в применении в программном обеспечении нескольких версий программных модулей, различающихся методами решения некоторой задачи или программной реализации одного и того же метода.
Программная избыточность необходима также для реализации программ контроля и оперативного восстановления данных с использованием информационной избыточности и для функционирования всех средств защиты, использующих временную избыточность [1].
Мультиверсионная методология формирования высоконадежного программного обеспечения основана на использовании двух или более версий модуля программного обеспечения, исполняемых параллельно. Использование множественных версий обосновывается предположением о том, что по-разному построенные компоненты, т.е. различными проектировщиками, различными инструментальными средствами проектирования, реализующие различные алгоритмы и т.д. имеют разные ошибки [2]. Поэтому, если одна версия производит сбой, по крайней мере, одна из альтернативных версий должна обеспечить корректный вывод.
Большое количество модулей программного обеспечения, их дополнительные избыточные версии, а также ограничения, такие, например, как стоимость, объем оперативной и дисковой памяти, требуемое время исполнения, ставят пред проектировщиком задачу принятия решений по выбору состава мультиверсионного программного обеспечения с учетом, как правило, ряда атрибутов.
В информационных технологиях принятием решений считают набор решений в условиях определенности, позволяющих выбрать однозначные, непротиворечивые, корректные решения на основе формализованных моделей объектов и окружающей их среды.
К задачам поддержки принятия решений в информационных технологиях относятся все задачи, включая класс задач в условиях неопределенности, окончательное решение которых осуществляется вне используемой технологии. В этих случаях информацию преобразуют к виду, упрощающему и облегчающему принятие решений иными методами.
Поддержка принятия решений может быть подразделена на формализуемую и неформализуемую. Формализуемой называют деятельность, которая может быть отображена в структурно-определенной знаковой системе. Очевидно, что чем сложнее задача, тем труднее ее формализовать и напрямую применить алгоритмические методы получения решений.
Поскольку выбор оптимального варианта формирования мультиверсионного программного обеспечения представляет собой задачу выбора из дискретного множества альтернатив, количество которых конечно, то целесообразно использовать методы многоатрибутивного принятия решений [3].
Многоатрибутивные методы, которые могут быть использованы при выборе оптимального варианта мультиверсионного программного обеспечения эквивалентны, однако их принципы оценки альтернатив различны. Например, можно привести следующие особенности некоторых из методов многоатрибутивного принятия решений [4]:
1. Метод простого суммарного взвешивания - выбор альтернативы происходит на основе значений функции полезности.
2. Линейный метод назначения, метод ELECTRE - выполняется общее ранжирование в порядке предпочтения, что позволяет выявить альтернативу, наилучшим образом удовлетворяющую заданной мере соответствия.
3. Метод упорядоченного предпочтения через сходство с идеальным решением - при выборе альтернативы оценивается относительная близость к идеальному решению.
При решении реальной задачи формирования высоконадежного программного обеспечения, построенного согласно мультиверсионной методологии, проектировщику зачастую затруднительно выбрать оптимальный вариант без средств автоматизации принятия решений. В связи с этим рекомендуется использовать системы поддержки принятия решений, в которых уже реализованы или в которые могут быть интегрированы методы многоатрибутивного принятия решений. В этом случае проектировщик может выбирать значения весовых коэффициентов отдельных атрибутов рассматриваемых альтернатив, а также задавать и изменять специфические для каждого метода параметры.
Можно констатировать, что в настоящее время для поддержки принятия решений используют различные методы и подходы, которые в совокупности дополняют друг друга. Поддержка принятия решений при мультиверсионном формировании высоконадежного программного обеспечения основана на получении многовариантных решений с использованием разных методов. При этом применение автоматизированных систем поддержки принятия решений позволяет существенно сократить время проектирования и разработки программных средств и повысить эффективность принятия решений при выборе состава мультиверсионного программного обеспечения.
Список литературы
- Соммервилл, И. Инженерия программного обеспечения / И. Соммервилл // Вильямс, 2002. - 624 с.
- Avizienis, A. On the Implementation of N-Version Programming for Software Fault Tolerance During Program Execution / A. Avizienis, L. Chen // Proc. COMPAC 77. - 1997. - P. 149-155.
- Ching-Lai Hwang, Kwangsun Yoon. Multiple Attribute Decision Making. Methods and Application, Springer-Verlag, Berlin, 1981, 255 p.
- Царев, Р.Ю. Многоатрибутивные методы интеллектуализации систем поддержки принятия решений / Р.Ю. Царев // Системы управления и информационные технологии. - 2007. - №3 (29). - С. 199-202.
Работа выполнена по гранту Президента Российской Федерации для государственной поддержки молодых российских ученых - кандидатов наук (Конкурс МК-2010, № МК-341.2010.9)
Статья в формате PDF 261 KB...
28 04 2024 10:42:51
25 04 2024 11:23:32
В статье освещаются спopные вопросы платности медицинской помощи в отечественном здравоохранении. Проанализировано мнение пациентов крупного в Южном Федеральном округе лечебно-профилактического учреждения, ОКБ № 1. Определены пути распределения денежных потоков, которые порождают диссонанс в отношениях населения к организации медицинской помощи в России: в то время, как медицина по закону является бесплатной, на деле почти половину расходов пациентам приходится брать на себя, при низком сервисе обслуживания и качестве оказываемых медицинских услуг. ...
24 04 2024 22:19:26
Статья в формате PDF 286 KB...
23 04 2024 21:26:18
Статья в формате PDF 112 KB...
22 04 2024 11:31:40
Статья в формате PDF 130 KB...
21 04 2024 3:22:21
Статья в формате PDF 121 KB...
20 04 2024 20:48:47
Статья в формате PDF 126 KB...
19 04 2024 10:50:38
Статья в формате PDF 118 KB...
18 04 2024 8:14:46
Статья в формате PDF 126 KB...
16 04 2024 0:43:47
Статья в формате PDF 118 KB...
15 04 2024 20:57:55
Статья в формате PDF 274 KB...
13 04 2024 14:24:54
Статья в формате PDF 150 KB...
12 04 2024 1:14:55
Статья в формате PDF 143 KB...
10 04 2024 10:56:48
Статья в формате PDF 113 KB...
09 04 2024 22:16:48
Статья в формате PDF 151 KB...
08 04 2024 20:39:27
06 04 2024 13:46:37
Статья в формате PDF 263 KB...
04 04 2024 12:27:51
Статья в формате PDF 127 KB...
03 04 2024 0:23:44
Статья в формате PDF 121 KB...
02 04 2024 13:29:40
Статья в формате PDF 110 KB...
01 04 2024 20:14:22
Статья в формате PDF 250 KB...
31 03 2024 0:36:50
Современный этап развития мирового и отечественного языкознания хаpaктеризуется антропоцентрической направленностью лингвистических исследований. Антропоцентризм является одним из фундаментальных свойств человеческого языка, так как взаимосвязь и взаимообусловленность языка и человека очевидна и не может вызывать никаких сомнений. «Идею антропоцентричности языка в настоящее время можно считать общепризнанной: для многих языковых построений представление о человеке выступает в качестве естественной точки отсчета» [1, 5]. Антропоцентрический подход в изучении языка или антропоцентрическая парадигма предполагает анализ человека в языке и языка в человеке. В.А. Маслова пишет, что «…антропоцентрическая парадигма выводит на первое место человека, а язык считается конституирующий хаpaктеристикой человека, его важнейшей составляющей. Человеческий интеллект, как и сам человек, немыслим вне языка и языковой способности как способности к порождению и восприятию речи. Если бы язык не вторгался во все мыслительные процессы, если бы он не был способен создавать новые ментальные прострaнcтва, то человек не вышел бы за рамки непосредственно наблюдаемого. Текст, создаваемый человеком, отражает движении человеческой мысли, строит возможные миры, запечатлевая в себе динамику мысли и способы ее представления с помощью средств языка» [1, 8]. ...
30 03 2024 10:45:57
Статья в формате PDF 118 KB...
29 03 2024 12:36:20
Статья в формате PDF 106 KB...
27 03 2024 4:37:15
Статья в формате PDF 118 KB...
26 03 2024 13:34:24
Статья в формате PDF 136 KB...
25 03 2024 12:55:16
Статья в формате PDF 113 KB...
24 03 2024 13:25:15
Статья в формате PDF 123 KB...
23 03 2024 23:46:38
Статья в формате PDF 234 KB...
22 03 2024 4:13:33
Статья в формате PDF 154 KB...
20 03 2024 9:46:40
Еще:
Поддержать себя -1 :: Поддержать себя -2 :: Поддержать себя -3 :: Поддержать себя -4 :: Поддержать себя -5 :: Поддержать себя -6 :: Поддержать себя -7 :: Поддержать себя -8 :: Поддержать себя -9 :: Поддержать себя -10 :: Поддержать себя -11 :: Поддержать себя -12 :: Поддержать себя -13 :: Поддержать себя -14 :: Поддержать себя -15 :: Поддержать себя -16 :: Поддержать себя -17 :: Поддержать себя -18 :: Поддержать себя -19 :: Поддержать себя -20 :: Поддержать себя -21 :: Поддержать себя -22 :: Поддержать себя -23 :: Поддержать себя -24 :: Поддержать себя -25 :: Поддержать себя -26 :: Поддержать себя -27 :: Поддержать себя -28 :: Поддержать себя -29 :: Поддержать себя -30 :: Поддержать себя -31 :: Поддержать себя -32 :: Поддержать себя -33 :: Поддержать себя -34 :: Поддержать себя -35 :: Поддержать себя -36 :: Поддержать себя -37 :: Поддержать себя -38 ::