|
касающиеся выбора подходящей модели оценки надежности ПС и определения количественных показателей метода оценки, соответственно [19, 23]. 7. Этап эксплуатации — выбор способа сопровождения системы мультиверсионного ПО. Сущность этапа сопровождения мультиверсионного ПО характеризуется следующей спецификой. Во-первых, функционально среда поддержки мультиверсионного исполнения должна быть соответствующим образом гарантирована от сбоев и ошибок на протяжении всего времени эксплуатации. Критичные по надежностным требованиям части NVS-супервизора могут быть защищены путем применения мультиверсионного методологии. Аномальные ситуации, регистрируемые в процессе сопровождения, являются объектом дальнейших исследований. Во-вторых, модификация системы мультиверсионного ПО должна следовать проектной парадигме методологии мультиверсионного программирования. При добавлении функции ПО это может касаться как непосредственно мультивсрсий, так и составных частей среды поддержки мультиверсионного исполнения (решающие алгоритмы, приемочные тесты и т.д.). Главными преимуществами модели мультиверсионнохю программирования по сравнению с моделями восстанавливающихся блоков, является то, что ее применение не требует создания проверочных тестов, а сама модель устойчива даже к наличию бесконечных циклов внутри программных модулей. Также, плюсом данной модели является возможность зафиксировать время отклика системы. К недостатку следует отнести более высокое требование к вычислительной мощности ЭВМ. о 1.3.4. Мультиверсионное программирование с самопроверкой Мультиверсионное программирование с самопроверкой (МВПС, от англ. “N Self-Checking programming”) [44] использует несколько версий программных модулей в структурных вариациях моделей 48 |
ошибок и алгоритм восстановления. При соответствии этих параметров в каждой версии ПО необходимо стремиться избегать факторы, ограничивающие диверсификацию. 4. Фазы проектирования и кодирования ведение протокола разработки мультиверсионного ПО. На этом этапе начинается мультипрограммирование конкурентных версий ПС в соответствии со спецификациями V-spec. Определяется строгий протокол взаимодействия и документирования (communication and documentation protocol, C&D protocol). Одним из положительных следствий ведения C&D протокола является то, что он дает достаточную совокупность деталей на более поздней стадии эксплуатации ПО. 5. Этап тестирования предварительная эксплуатация мультиверсионного ПО. При последовательном тестировании N >2 версий может осуществляться дополнение состава КП, если велика вероятность ошибочного исполнения за счет выдачи одинаково неверного результата большинством мультиверсионных компонент. Здесь же возможно привлечение экспертов для определения по результатам тестового прогона эталонных версий ПС. 6. Этап оценки и принятия оценка гарантоспособности комплекса мультиверсионного ПО. Оценка атрибутов, характеризующих отказоустойчивость ПС, подразумевает аналитическое моделирование, имитацию и эксперименты (или комбинацию этих подходов). Необходимо: определить критерии оценки отказоустойчивости; оценить признаки диверсификации; сделать предварительные заключения, для чего рассматриваются два аспекта, касающиеся выбора подходящей модели оценки надежности ПС и определения количественных показателей метода оценки, соответственно [69, 81]. 7. Этап экстуатации выбор способа сопровождения системы мультиверсионного ПО. 55 Сущность этана сопровождения мультиверсионного ПО характеризуется следующей спецификой. Во-первых, функционально среда поддержки мультиверсионного исполнения должна быть соответствующим образом гарантирована от сбоев и ошибок на протяжении всего времени эксплуатации. Критичные по надежностным требованиям части NVS-супервизора могут быть защищены путем применения мультиверсионного методологии. Аномальные ситуации, регистрируемые в процессе сопровождения, являются объектом дальнейших исследований. Во-вторых, модификация системы мультиверсионного ПО должна следовать проектной парадигме методологии мультиверсионного программирования. При добавлении функции ПО это может касаться как непосредственно мультиверсий, так и составных частей среды поддержки мультиверсионного исполнения (решающие алгоритмы, приемочные тесты и т.д.). В заключение данного подраздела отметим, что в настоящее время только рассмотренный нами подход мультиверсионного программирования является возможной альтернативой и дополнением методам тестирования и доказательства правильности программ, обеспечивая высокий уровень надежности исполнения критичных по сбоям и ошибкам программных компонент. Методология мультиверсионного программирования обеспечивает гарантию того, что ошибки одной из версий не приведут к нарушению самого процесса управления сложными объектами, для которых характерны жесткие требования по надежности и автономности функционирования. Наконец, на этапе сопровождения отказоустойчивого ПО при его развитии и модификации основное внимание направлено на разработку V-spec спецификаций, что позволяет привлекать к разработке мультиверсионных компонент специалистов отрасли приложения проектируемой системы управления и основное внимание уделять качеству требований на разработку надежного программного обеспечения. 56 |