рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

Синтез отказоустойчивого программного обеспечения

Синтез отказоустойчивого программного обеспечения - раздел Изобретательство, Теоретическая разработка проблемы. Методология испытания. Разработка математической модели. Ошибки По За Счет Сбоя Можно Разделить На Следующие Группы: 1. Замен...

Ошибки ПО за счет сбоя можно разделить на следующие группы:

1. Замена кода операции.

2. Обращение за командой к сегменту памяти, не являющейся сегментом кода.

3. Считывание данных по неправильному адресу.

4. Запись по неправильному адресу.

5. Дешифрирование кода, не соответствующего коду операции.

6. Ошибки обращения к памяти по несуществующему адресу.

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

Работа программного обеспечения всегда производится в два этапа:

1. Обнаружение ошибок во время функционирования.

2. Исправить ошибку. Восстановить работоспособность ПО.

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

Как правило, второй этап – это итерационная процедура, в результате которого происходит пересчет i шага итерации алгоритмический и логический.

Алгоритмический – это реализация алгоритма решения задачи. Метод дуального или инверсного программирования. Желательно с помощью различных алгоритмах. Используются чаще всего в мультипроцессорных системах.

Чаще всего используются логические алгоритмы решения. Относятся такие методы:

· Метод обратного счета. Метод преобразования с выходных исходные данные.

Недостаток: не всегда есть обратная задача.

· Метод контрольных сумм. То есть в определенных точках программ рассчитываются контрольные суммы и сравниваются с эталонными.

· Метод проверки результатов на допустимость. В контрольных точках программ сравниваются с допустимыми.

– Конец работы –

Эта тема принадлежит разделу:

Теоретическая разработка проблемы. Методология испытания. Разработка математической модели.

ТЕМА Проектирование систем технической диагностики... При проектировании систем технической диагностики выполняется следующих этапов...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Синтез отказоустойчивого программного обеспечения

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

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

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

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

Формализация задачи в теории чувствительности
Пусть измеряется i показатель системы, а система описывается оператором: A=(a1, a2, … , an) Характеристики могут меняться во времени. Каждая характеристика может изменяться

Эффективность систем управления
Выделяют 4 группы показателей: 1. Наиболее общий показатель:   Э0 – это эффективность объекта без диагностики Э – это эффективность объекта диагностики

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

Синтез схем минимальной глубины
Напрямую зависят от их … Дополнительные элементы, вносимые в схему, для увеличения ее входов и выходов позволяют улучшить указанные характеристики и упростить задачу контроля и диагностики

Компактные оценки и методы тестирования
Для сложных схем имеются очень длинные входные последовательности, следовательно, и длинные выходные последовательности тестов. Поэтому стоит задача оценки результатов не по всей выходной последова

Синтез МСА
Рассмотрим математическую модель функционирования СА. Пусть анализируется последовательность длиной n разрядов. Обозначим предыдущее состояние bj – состояние триггера. А следующее состояни

Системы высокой надежности и отказоустойчивые системы
Основной единицей измерения является единица готовности. Основные эксплуатационные характеристики системы существенно зависят от удобства ее обслуживания: легко ли добраться до него и т. д

Подсистемы внешней памяти высокой готовности
Первым шагом подсистемы высокой готовности является защита данных от потерь. К ним относятся рейд массивы. Рейд массивы – это параллельное соединение дисков. Три рейд массива: 1)

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги