Реферат Курсовая Конспект
Синтез отказоустойчивого программного обеспечения - раздел Изобретательство, Теоретическая разработка проблемы. Методология испытания. Разработка математической модели. Ошибки По За Счет Сбоя Можно Разделить На Следующие Группы: 1. Замен...
|
Ошибки ПО за счет сбоя можно разделить на следующие группы:
1. Замена кода операции.
2. Обращение за командой к сегменту памяти, не являющейся сегментом кода.
3. Считывание данных по неправильному адресу.
4. Запись по неправильному адресу.
5. Дешифрирование кода, не соответствующего коду операции.
6. Ошибки обращения к памяти по несуществующему адресу.
Отказоустойчивое ПО может быть реализовано только за счет программной избыточности. То есть в алгоритм включаются дополнительные операции, позволяющие обнаруживать ошибки. При этом при разработке специализированных процессов, вводится также и аппаратная избыточность, то есть введение специальных диагностических процессов. Задача этих процессов – это выполнить функциональную диагностику в процессе нормальной работы программы.
Работа программного обеспечения всегда производится в два этапа:
1. Обнаружение ошибок во время функционирования.
2. Исправить ошибку. Восстановить работоспособность ПО.
Программа должна быть написана таким образом, чтобы ошибка обнаруживалась как можно ближе к месту ее появления. И второй этап занимал как можно меньшее время.
Как правило, второй этап – это итерационная процедура, в результате которого происходит пересчет i шага итерации алгоритмический и логический.
Алгоритмический – это реализация алгоритма решения задачи. Метод дуального или инверсного программирования. Желательно с помощью различных алгоритмах. Используются чаще всего в мультипроцессорных системах.
Чаще всего используются логические алгоритмы решения. Относятся такие методы:
· Метод обратного счета. Метод преобразования с выходных исходные данные.
Недостаток: не всегда есть обратная задача.
· Метод контрольных сумм. То есть в определенных точках программ рассчитываются контрольные суммы и сравниваются с эталонными.
· Метод проверки результатов на допустимость. В контрольных точках программ сравниваются с допустимыми.
– Конец работы –
Эта тема принадлежит разделу:
ТЕМА Проектирование систем технической диагностики... При проектировании систем технической диагностики выполняется следующих этапов...
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Синтез отказоустойчивого программного обеспечения
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Твитнуть |
Новости и инфо для студентов