16.Оценка надежн по. Классификац моделей надежн. Модели Нельсона и ibm. Методы повыш надежн.

1.ПО не подверж износу 2.Если в процессе отладки ошибки устранен то интенсивн отказа уменьш,сист явл молодеющей. Отказ - появл ошибок неожид пользоват. Надежн- вероятн безотк работы. Для колич оценки вероятн использ модели 1.Аналитич->статич- динамич 2.Эмпирич

Эмпирические модели базируются на анализе структурных особенностей программ. Они рассматривают зависимость показателей надёжности от числа межмодульных связей, количества циклов в модулях и т.д. Часто эмпирические модели не дают конечных результатов показателей надёжности

Аналитические модели дают возможность рассчитывать количественные показатели надежности, основываясь на данных о поведении программы в процессе тестирования (измеряющие и оценивающие модели).

Модели:Джелинского-Моранды, Шумана,Муса,Милса,Коркорена,Хольстеда

Модель Нельсона(Статич)- Предполог что область вх данных разбита на к непересек областей ki. Пусть Pi вероятн того что для неисправн будет взят набор Zi. Пусть к моменту оценки надежн выполнено ni прогонов и mi законч неудачей. Тогда наденж опред P=1-

IBM(Эмпирич)

Оценив число ошиб в ОС N=23*M₁₀+M₁; где M₁₀ -число модулей потреб более 10 исправл,M₁ -менее 10

Методы повыш наденж

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

• автономное тестирование;

• тестирование сопряжений;

• тестирование функций;

• комплексное тестирование;

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

• тестирование конфигураций.

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

• тестирование ветвей;

• математическое доказательство правильности алгоритма решения задачи (в некоторых работах именно в этом смысле употребляется слово верификация).

• символическое тестирование (или с помощью специально подобранных тестовых наборов), еще называется статическим тестированием. Удобно при локализации ошибки, проявление которой выявлено при конкретном узком или строго заданном диапазоне входных значений;

• динамическое тестирование (с помощью динамически генерируемых входных данных), что удобно при быстром тестировании во всем широком диапазоне входных параметров;

• тестирование путей выполнения программы;

• функциональное тестирование;

• проверки по времени выполнения программы;

• проверка по использованию ресурсов и стрессовое тестирование.

17.см 16 Оценка надежн ПО. Классификац моделей надежн. Модель Шумана. Методы повыш надежн.

Pi(t)= ;λi=c(N-ni-1); c= Для нахожд первичн числа ошибок = =

18.см 16 Оценка надежн ПО. Классификац моделей надежн. Модель Джелинского-Моранды. Методы повыш надежн.

Основана на том что в проц тестир значение интервалов времени м-у обнаруж ошибками имеет эскпоненц распред.

Pi(ti)= ;λi=c(N-i-1) где N- общ число ошиб ; c= N= =

19.см 16 Оценка надежн ПО. Классификац моделей надежн. Модель Милса. Методы повыш надежн.

Статич. Анализ этой модели предполог внесение ошиб в прогр. Ошибки внос случ образом и внос в протокол, программа проверяемая тестир не знает об этом. После тестир обнаруж n собств ошибок и v-искуств внесенн в прогр N=n*s/v

20.см 16 Оценка надежн ПО. Классификац моделей надежн. Модель Коркорэна. Методы повыш надежн.

Статич. Предполог налич в ПО многих источн програмн отказов связан с различн типами ошиб и разн вероятн их появл. P= где n+ число успешн прогонов прогр, n- обнаруж ошибки i типа, δi- коэфф определ; δi=

21. Надежность человека-оператора как звена сложной системы управления. 2 вариант

Факторы, определяющие надёжность информационных систем

Для построения надёжных ИС можно использовать различные виды обеспечения: экономическое, временное,

организационное, структурное, технологическое, эксплуатационное, социальное, эргатическое, алгоритмическое,

синтаксическое, семантическое.

Обеспечение можно характеризовать как совокупность факторов, способствующих достижению поставленной цели.

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

временных затрат, используются для поддержания достоверности результатов работы ИС. Они включают в себя:

- правовые и методические аспекты функционирования ИС;

- нормативы достоверности информации по функциональным подсистемам и этапам преобразования информации;

- методики выбора и обоснования оптимальных структур, процессов и процедур преобразования информации.

Структурное обеспечение ИС должно обеспечивать надёжность функционирования технических комплексов и

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

выбора структуры технологического процесса преобразования информации, обоснования взаимосвязи между отдельными

звеньями системы, резервирования функциональных звеньев системы и использования устройств, осуществляющих

процедуры контроля.

Надёжность технологического обеспечения связана с выбором схемных и конструктивных решений отдельных ТУ и

технологических комплексов, входящих в состав системы, технологий и протоколов реализации информационных

процессов.

Эксплуатационное обеспечение связано с выбором режимов работы устройств, технологий обслуживания, профилактик

и ремонтов.

К социальному обеспечению относятся такие факторы, как создание здоровой психологической обстановки в

коллективе, повышение ответственности за выполненную работу, повышение квалификации специалистов, моральной и

материальной заинтересованности в правильности выполнения работы.

Эргатическое обеспечение включает комплекс факторов, связанных с рациональной организацией работы человека в

системе. Это правильное расположение функций между людьми и техническими средствами, обязательность норм и

стандартов работы, оптимальность интенсивности и ритмичности, построение рабочих мест в соответствии с требованиями

эргономики.

Надёжность алгоритмического обеспечения связана с обеспечением высокого качества и безошибочности алгоритмов и

программ преобразования информации, реализации контроля достоверности информации.

Информационное синтаксическое и семантическое обеспечение должно обеспечить специальную информационную

избыточность, избыточность данных и смысловую избыточность, обуславливающие возможность проведения контроля

достоверности информации.

Личные качества исполнителей также играют немаловажную роль. Ошибки обслуживающего персонала, выход ИС из

штатного режима эксплуатации в силу случайных или преднамеренных действий пользователей или обслуживающего

персонала – операторов (превышение расчётного числа запросов, чрезмерный объём обрабатываемой информации и другие

неоправданные действия), невозможность или нежелание обслуживающего персонала выполнять свои функции приводят к

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

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

оборудования.

Таким образом, поддержание высокой надёжности работы ИС в целом является важной и сложной инженерно-

технической и социально-организационной задачей

21. Надежность человека-оператора как звена сложной системы управления. 1 вариант

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

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

В реальных условиях в большинстве систем независимо от степени их автоматизации требуется в той или иной мере участие человека.

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

Виды ошибок, допускаемых человеком на различных стадиях взаимодействия в системе "человек - машина" можно классифицировать следующим образом:

1. Ошибки проектирования: обусловлены неудовлетворительным качеством проектирования. Например, управляющие устройства и индикаторы могут быть расположены настолько далеко друг от друга, что оператор будет испытывать затруднения при одновременном пользовании ими.

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

3. Ошибки изготовления: имеют место на этапе производства вследствие (а) неудовлетворительного качества работы, например неправильной сварки, (б) неправильного выбора материала, (в) изготовления изделия с отклонениями от конструкторской документации.

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

5. Внесенные ошибки: как правило, это ошибки, для которых трудно установить причину их возникновения, т.е. определить, возникли они по вине человека или же связаны с оборудованием.

6. Ошибки контроля: связаны с ошибочной приемкой как годного элемента или устройства, характеристики которого выходят за пределы допусков, либо с ошибочной отбраковкой годного устройства или элемента с характеристиками в пределах допусков.

7. Ошибки обращения: возникают вследствие неудовлетворительного хранения изделий или их транспортировки с отклонениями от рекомендаций изготовителя.

8. Ошибки организации рабочего места: теснота рабочего помещения, повышенная температура, шум, недостаточная освещенность и т.п.

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

Свойство человека ошибаться является функцией его психофизиологического состояния. Интенсивность ошибок во многом определяется параметрами внешней среды, в которой человек работает.

В целом сложная картина воздействий на человека, управляющего потенциально опасной техникой, представлена на рисунке.

Рисунок 1. Факторы, воздействующие на человека, управляющего потенциально опасной техникой

Формула безопасности: критическая позиция (I) + строго регламентированный и взвешенный подход (II) + коммуникабельность (III) = безопасность.