|
■ Выбор структуры аппаратных средств. В некоторых случаях для реализации системы мультиверсионного ПО могут потребоваться специфические процессоры. Особенно это важно, если мультиверсионное ПО применяется в системах реального времени с жесткими ограничениями. Возможна гибридная структура, включающая отказоустойчивые аппаратные средства. 2. Этап выработки требований к ПО диверсификация ПО. 11а этом этапе главная задача — избежать совпадения способов программирования, неявно влияя на независимость проектировочных ошибок мультиверсий. Выделим три стадии выбора. ■ Достижение случайной диверсификации или разнообразия за счет предъявления установленных требований. Если первое соответствует персональным качествам программиста (способ мышления, программистский индивидуализм), то второе, наоборот, является формальным способом, позволяющим установить требования к языку программирования, способам обеспечения надежности и т.д. ■ Оценка требуемой диверсификации проектирования. Фактически имеется четыре фазы, которые способствуют диверсификации: спецификация, проектирование, кодирование и тестирование (различные языки программирования, инструментальные средства, алгоритмы, методологии). ■ Проектные ограничения на диверсификацию. Устанавливаются через специфические особенности предполагаемого функционирования системы. В число характерных проектных ограничений входят: стоимость, строгий последовательный характер организации работ, требуемая гарантоспособность. 3. Этап спецификации ПО установка алгоритмов определения ошибок и восстановления. 46 |
специфические процессоры. Особенно это важно, если мультиверсионное ПО применяется в системах реального времени с жесткими ограничениями. Возможна гибридная структура, включающая отказоустойчивые аппаратные средства. 2. Этап выработки требований к ПО —диверсификация ПО. На этом этапе главная задача избежать совпадения способов программирования, неявно влияя на независимость проектировочных ошибок мультиверсий. Выделим три стадии выбора. Достижение случайной диверсификации или разнообразия за счет предъявления установленных требований. Если первое соответствует персональным качествам программиста (способ мышления, программистский индивидуализм), то второе, наоборот, является формальным способом, п о з в о л я ю щ и м установить требования к языку программирования, способам обеспечения надежности и т.д. Оценка требуемой диверсификации проектирования. Фактически имеется четыре фазы, которые способствуют диверсификации: спецификация, проектирование, кодирование и тестирование (различные языки программирования, инструментальные средства, алгоритмы, методологии). Проектные ограничения на диверсификацию. Устанавливаются через специфические особенности предполагаемого функционирования системы. В число характерных проектных ограничений входят: стоимость, строгий последовательный характер организации работ, требуемая гарантоспособность. 3. Этап спецификации ПО установка алгоритмов определения ошибок и восстановления. Спецификация версий мультиверсионного ПО осуществляется с помощью V-spec, полностью устанавливающих функциональные требования к программному модулю, кроме того выбирается и специфицируется детектор 54 |