Способы повышения надежности
Способы повышения надежности можно разделить на четыре группы:
1) уменьшение наработки
2) снижение интенсивности отказов;
3) улучшение восстанавливаемости;
4) резервирование (введение избыточности).
Уменьшение наработки для выполнения определенного объема работ достигается выбором более быстродействующих элементов и высокопроизводительных устройств при проектировании. При эксплуатации уменьшить наработку можно полным или частичным выключением системы или ее отдельных устройств в паузе между рабочими сеансами. Например, в ПК предусмотрены так называемые схемы управления питанием, которые отключают монитор, поток ЖД, и переводят процессор в режим при отсутствии внимания к ПК со стороны пользователя. Следует отметить, что сохранить надежность системы путем сокращения времени ее непрерывной работы можно лишь, если число включений и выключений мало, т.е. система работает сравнительно с большой скважностью. При частом включении и выключении переходные процессы оказывают сильное вредное воздействие.
Уменьшение интенсивности отказов актуально на всех этапах жизненного цикла ИС. На этапе проектирования — за счет комплектации системы элементами повышенной надежности, как высокотехнологичных элементов, так и за счет входного контроля. Создания оптимального температурного режима, снижение электрической нагрузки, конструктивные методы защиты от механических и других внешних воздействий (например, герметизация) позволяют уменьшить интенсивность отказов. Следует отметить, что существенно повысить надежность системы может уменьшение сложности системы. (Вероятность отказа системы складывается из произведения вероятности отказов всех ее элементов). Однако создание простых схем является одной из наиболее трудных технических задач.
На этапе эксплуатации — приведение условий эксплуатации в соответствие с требованиями, при которых гарантируются паспортные данные по надежности и организация профилактического обслуживания.
Улучшение восстанавливаемости. Восстановление ИС требует выполнения ряда процедур: обнаружение неисправности, поиск неисправности (локализация), удаление его из системы, включение в систему исправного элемента из резерва, ремонт неисправного элемента, установка замененного элемента в рабочее состояние, проверка его работоспособности, проверка работоспособности всей системы, и, наконец, возобновление функционирования всей системы. Таким образом, обнаружение неисправности — обязательная процедура в процессе восстановления, которая обеспечивается средствами контроля и диагностики.
Резервирование — способ обеспечения надежности за счет применения дополнительных средств и (или) возможностей, избыточных по отношению к минимально необходимым для выполнения требуемых функций. Этот способ предусматривает замену отказавших частей аппаратуры резервными при условии, что резервная аппаратура входит конструктивно и функционально в состав рассматриваемой аппаратуры. Включение резерва может быть произведено в ручную или автоматически, в некоторых случаях резерв может быть функционально связан с основной аппаратурой так, что специального включения не требуется. Если же для восстановления работоспособности аппаратуры требуется удалить отказавшую часть аппаратуры, а вместо нее вставлять или вмонтировать аналогичную исправную, то речь идет не о резервировании, а о ремонте. Программное обеспечение может быть также резервировано.
Вопросы для самоконтроля.
1. Какие эксплуатационные факторы на Ваш взгляд наиболее существенно влияют на надежность ИС?
2. С какой целью проводится профилактическое обслуживание?
3. Перечислите виды профилактических работ при обслуживании ЭВМ.
4. На каком этапе жизненного цикла изделия уделяется особое внимание вопросам обеспечения надежности?
5. Перечислите способы повышения надежности.
6. Какие меры позволяют уменьшить наработку?
7. Приведите возможные способы уменьшения интенсивности отказов.
8. Укажите основные направления улучшения восстанавливаемости..
Источник
МЕТОДЫ ПОВЫШЕНИЯ НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ.
Большая трудоемкость и стоимость создания ПО систем управления заставляет уделять особое внимание обеспечению его надежной работы. Высокая стоимость ПО во многом обусловлена его низкой надежностью. Следует иметь в виду, что в настоящее время не разработаны методы проектирования программ с гарантированным отсутствием ошибок. Это объясняется рядом причин, и в том числе тем, что программное обеспечение значительно сложнее аппаратуры; характеризуется большей, чем аппаратура, зависимостью от применения; состоит из примитивных составляющих — машинных кодов, из которых синтезируются огромные программные структуры.
Однако накопленный опыт позволяет сформулировать принципы и метода проектирования программ, обеспечивающих их надежную, устойчивую работу, основные из которых показаны на рис. 5.4.1.
По образному выражению Ф.П. Брукса «программа — это сообщение, передаваемое человеком машине». Чтобы сделать это сообщение «понятным бессловесной машине», требуется предельная формализация как описания алгоритмов, так и программ.
1. Формализация позволяет в существенной степени исключить, а при наличии ошибок — облегчить их выявление и локализацию.
2. Мощным средством повышения надежности у ПО САПР является автоматизация программирования, заключающаяся в использовании ЭВМ для составления машинных программ, т. е. программ, выполненных на языке ЭВМ по исходной программе, составленной на языке высокого уровня.
Системы автоматизированного программирования обеспечивают повышение производительности и облегчение труда программистов. Эти системы применяют для программирования языки высокого уровня, более близкие к естественному языку специалистов, и тем самым освобождают программиста от необходимости составлять программу на языке машинных команд. У нас в стране создан ряд систем автоматизированного программирования для ЭВМ. Эти системы обеспечивают автоматизацию создания программ и документов с минимальным расходом ручного труда как при основных, так и при вспомогательных работах, в том числе: .трансляцию текстов программ в машинные коды с семантическим и синтаксическим контролем, автономную отладку программ, диалоговое общение программистов со средствами автоматизации, выпуск эксплуатационных и технологических документов, а также их корректировку.
Рис. 5. 4. 1. Классификация методов обеспечения надежной работы программного обеспечения
Эффективным методом повышения надежности ПО является введение избыточности, включающей программную, информационную и временную избыточность.
3. Программная избыточность применяет в комплексах ПО несколько вариантов программ, различающихся алгоритмами решения задачи или программной реализации одного и того же алгоритма.
3. 1. Временная избыточность использует часть производительности
ЭВМ для контроля исполнения программ и восстановления вычислительного
процесса. Как следствие при проектировании ПО необходимо предусматривать
резерв производительности ЭВМ, обычно резерв составляет 5-10%.
3. 2. Информационная избыточность заключается в резервировании
(дублировании) исходных и промежуточных данных, что обеспечивает как
обнаружение искажения данных, так и устранение ошибок.
4. Структурное программирование позволяет облегчить проектирование и повысить надежность сложных программных комплексов. Структурное программирование развилось на основе технологии процедурного и модульного программирования, а также блочно-иерархического подхода; представляет собой технологию программирования, построенную на совокупности определенных принципов и правил, среди которых прежде всего можно выделить модульность структуры, иерархию модулей, нисходящее проектирование.
5. Структурирование данных позволяет уменьшить сложность комплекса программ и снизить вероятность появления ошибок из-за их неправильного использования. Совокупность данных можно разделить на два иерархических уровня: простые переменные и массивы. Простые переменные представляют собой минимальный компонент данных, имеющий имя и описание. Массивы образуются из нескольких простых переменных по определенным правилам объединения и имеют собственное имя, описание и структуру.
С целью упорядочения создан ряд типовых структур данных, применение которых зависит от назначения и метода использования переменных. Структура массивов определяется на основе компромисса между объемом памяти для хранения массива и затратами производительности ЭВМ, необходимыми для выборочного поиска и обращения к данным в массиве. Так, простые структуры массивов экономны по затратам производительности ЭВМ для взаимодействия с данными, но требуют большого объема памяти. Для повышения надежности ПО целесообразно использовать простейшие структуры массивов данных,
Следует иметь в виду, что, как правило, устранение ошибок, обнаруженных в ПО, приводит к внесению новых ошибок, трудно обнаруживаемых, так как их последствия не проявляются на тестах. При проведении корректировок в комплексах программ необходим дополнительный анализ возможных последствий внесенных изменений. Любая корректировка ПО может быть сведена к трем типовым операциям: исключение части или всей подпрограммы; вставка компонентов или новой целой подпрограммы на имеющееся свободное место; замена части или всей подпрограммы в пределах освобождающегося свободного места или с расширением программы и использованием дополнительной памяти.
Необходимые исправления вводятся в текст программы, программа перетранслируется и повторно тестируется данными, позволяющими выявить ошибки. После подтверждения правильности выполненной корректировки продолжается отладка по новым тестам либо программа передается на эксплуатацию.
Следует иметь в виду, что перечисленные выше методы обеспечения надежной работы ПО повышают трудоемкость и стоимость и без того дорогостоящих программ. Очевидно, необходимо для каждого типа ПО устанавливать свои рациональные значения показателей надежности. Основной критерий при этом — оптимальное сопоставление затрат на обеспечение надежности с возможным ущербом вследствие отказа систем управления с данными ПО.
6. Типовые математические схемы моделирования
6.1. Непрерывно-детерминированные модели (D-схемы)
Рассмотрим особенности непрерывно-детерминированного подхода на примере использования в качестве математических моделей дифференциальных уравнений. Дифференциальными уравнениями называются такие уравнения, в которых неизвестными будут функции одной или нескольких переменных, причем в уравнение входят не только функции, но и их производные различных порядков. Бели неизвестные — функции многих переменных, то уравнения называются уравнениями в частных производных, в противном случае при рассмотрении функции только одной независимой переменной уравнения называются обыкновенными дифференциальными уравнениями.
Основные соотношения. Обычно в таких математических моделях в качестве независимой переменной, от которой зависят неизвестные искомые
функции, служит время /. Тогда математическое соотношение для
— детерминированных систем (2.6) в общем виде будет
(1.7)
где ,
и
— n-мерные векторы;
— вектор-функция, которая определена на некотором (n+1)-мерном
множестве и является непрерывной.
Так как математические схемы такого вида отражают динамику изучаемой системы, т.е. ее поведение во времени, то они называются D-схемами (англ. dynamic).
В простейшем случае обыкновенное дифференциальное уравнение
имеет вид
(1.8)
Наиболее важно для системотехники приложение D-схем в качестве математического аппарата в теории автоматического управления. Для иллюстрации особенностей построения и применения D-схем рассмотрим простейший пример формализации процесса функционирования двух элементарных систем различной физической природы: механической SM (колебания маятника, рис. 2.1, а) и электрической SK (колебательный контур, рис. 2.1, б).
Рис. 2.1. Элементарные системы
Процесс малых колебаний маятника описывается обыкновенным дифференциальным уравнением
где — масса и длина подвеса маятника; g — ускорение свободного падения;
— угол отклонения маятника в момент времени t.
Из этого уравнения свободного колебания маятника можно найти оценки интересующих характеристик. Например, период колебания маятника
Аналогично, процессы в электрическом колебательном контуре описываются обыкновенным дифференциальным уравнением
где — индуктивность и емкость конденсатора; q(t) — заряд конденсатора в момент времени t.
Из этого уравнения можно получить различные оценки характеристик процесса в колебательном контуре. Например, период характеристических колебаний
Очевидно, что, введя обозначения ,
,
,
, получим обыкновенное дифференциальное уравнение второго порядка, описывающее поведение этой замкнутой системы:
(1.9)
где h0, hl, h2 — параметры системы; z(t) — состояние системы в момент времени t.
Таким образом, поведение этих двух объектов может быть исследовано на основе общей математической модели (1.9). Кроме того, необходимо отметить, что поведение одной из систем может быть проанализировано с помощью другой. Например, поведение маятника (системы Sm) может быть изучено с помощью электрического колебательного контура (системы SK).
Если изучаемая система S, т. е. маятник или контур, взаимодействует с внешней средой Е, то появляется входное воздействие x(t) (внешняя сила для маятника и источник энергии для контура) и непрерывно-детерминированная модель такой системы будет иметь вид
.
С точки зрения общей схемы математической модели x(t) является входным (управляющим) воздействием, а состояние системы S в данном случае можно рассматривать как выходную характеристику, т. е. полагать, что выходная переменная совпадает с состоянием системы в данный момент времени у = z.
Возможные приложения. При решении задач системотехники важное значение имеют проблемы управления большими системами. Следует обратить внимание на системы автоматического управления — частный случай динамических систем, описываемых D-схемами и выделенных в отдельный класс моделей в силу их практической специфики.
Описывая процессы автоматического управления, придерживаются обычно представления реального объекта в виде двух систем: управляющей и управляемой (объекта управления). Структура многомерной системы автоматического управления общего вида представлена на рис. 2.2, где обозначены эндогенные переменные:
— вектор входных (задающих) воздействий;
— вектор возмущающих воздействий;
— вектор сигналов ошибки;
— вектор управляющих воздействий; экзогенные переменные:
— вектор состояний системы S;
— вектор выходных переменных, обычно
Современная управляющая система — это совокупность программно-технических средств, обеспечивающих достижение объектом управления определенной цели. Насколько точно объект управления достигает заданной цели, можно судить для одномерной системы по координате состояния y(t).
Разность между заданным узад(t) и действительным у(t) законами изменения управляемой величины есть ошибка управления . Если предписанный закон изменения управляемой величины соответствует закону изменения входного (задающего) воздействия, т.е.
,
.
Рис. 2.2. Структура системы автоматического управления
Системы, для которых ошибки управления h’(r) = 0 во все моменты времени, называются идеальными. На практике реализация идеальных систем невозможна. Таким образом, ошибка h'(t) — необходимый субстрат автоматического управления, основанного на принципе отрицательной обратной связи, так как для приведения в соответствие выходной переменной y(t) ее заданному значению используется информация об отклонении между ними. Задачей системы автоматического управления является изменение переменной y(t) согласно заданному закону с определенной точностью (с допустимой ошибкой). При проектировании и эксплуатации систем автоматического управления необходимо выбрать такие параметры системы S, которые обеспечили бы требуемую точность управления, а также устойчивость системы в переходном процессе.
Если система устойчива, то представляют практический интерес поведение системы во времени, максимальное отклонение регулируемой переменной у(t) в переходном процессе, время переходного процесса и т. п. Выводы о свойствах систем автоматического управления различных классов можно сделать по виду дифференциальных уравнений, приближенно описывающих процессы в системах. Порядок дифференциального уравнения и значения его коэффициентов полностью определяются статическими и динамическими параметрами системы S.
Пример 2.1. Рассмотрим одноканальную систему автоматического управления , которая описывается D-схемой общего вида
(1.10)
где и
— производные по времени m-го и n-го порядков от функций х и у соответственно. Пусть система
, описываемая уравнением (1.10), работает в некотором режиме, характеризуемом функциями x0(t) и у0(t). Обозначим малые отклонения x(t) от x0(t) через
, a у(t)от у0(t) через
, т. е.
.
Тогда уравнение (1.10) можно линеаризовать, разложив функцию в ряд Тейлора и ограничившись его линейными членами относительно приращений
и
, т. е.
(1.11)
Так как полученное уравнение (1.11) приближенно описывает рассматриваемый процесс, то производные вычисляют при некоторых фиксированных значениях входящих в него переменных, т. е. получается система с постоянными коэффициентами. Кроме того, уравнения получаются линейными относительно ,
и их производных. Это весьма существенно, так как методы решения и исследования линейных систем значительно проще, чем систем общего вида, и более детально разработаны.
(1.12)
В уравнении (1.12) для простоты предполагается, что точки приложения возмущающих воздействий совпадают с входом системы. Для решения (1.12) можно воспользоваться, например, операторным методом, заменяя дифференциальное уравнение алгебраическим.
Таким образом, для линейных систем автоматического управления, т. е. для систем, описываемых линейными дифференциальными уравнениями, можно записать
Таким образом, использование D-схемпозволяет формализовать процесс функционирования непрерывно-детерминированных систем Sи оценить их основные характеристики, применяя аналитический или имитационный подход, реализованный в виде соответствующего языка для моделирования непрерывных систем или использующий аналоговые и гибридные средства вычислительной техники.
Источник