Моделирование информационных систем. Щеклеин В.С. - 39 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

39
вне данных, заданных спецификацией и не зависит от динамики функциони-
рования. Неправильность программы определяется вероятностью совмеще-
ния событий:
1) попадания данных в область, заданную требованиями спецификации, но
непроверенную при отладке и испытаниях;
2) появление ошибки в программе при обработке таких данных.
Надежная программа
Быстрое реагирование на искажения программ, данных или вычисли-
тельного процесса и восстановление работоспособности за время меньшее,
чем порог между сбоем и отказом, позволяют обеспечить высокую надеж-
ность программы. Может случиться и так, что абсолютно надежно будет
функционировать неправильная программа. В реальных условиях исходные
данные могут попадать в область, не соответствующую требованиям специ-
фикаций и не проверенную при отладке. Если восстановление происходит за
время меньшее порогового, то такие события не влияют на основной показа-
тель надежности – наработку на отказ. Следовательно, отказ программы яв-
ляется понятием динамическим. Он происходит с вероятностью, определяю-
щейся совмещением следующих событий:
- появление данных, попадающих в непроверенные при тестировании и ис-
пытаниях области;
- проявление ошибки при обработке этих данных, достаточной для вызова
отказовой ситуации;
- превышение длительности восстановления после возникновения ситуации
порогового значения.
В области данных, определенной спецификациями, правильность и на-
дежность программ оказываются взаимосвязанными.
Восстановление
Отсутствие физического разрушения позволяет добиться высокой ав-
томатизации программного восстановления. Главной задачей становится вос-
становление за время, меньшее порогового. Это позволяет преобразовывать
отказы в сбои, что улучшает общие показатели функционирования вычисли-
тельной системы. Для решения этой задачи программный комплекс должен
иметь средства, позволяющие:
- проводить систематический контроль и обнаруживать аномалии процесса;
- диагностировать обнаруженные искажения;
- выбирать методы и средства оперативного восстановления (рестарта);
- регистрировать сбои и отказы для выявления систематических случаев,
требующих доработки программ или аппаратуры.
Реализация средств с такими функциями осуществляется за счет
введения избыточности в программы, данные и процесс функционирования.
Избыточность может быть:
- программной, включающей программные компоненты, предназначенные
для контроля, обнаружения, диагностики и восстановления работоспособ-
ности вычислительного комплекса;

Страницы