Надежность и функциональная безопасность комплексов программ реального времени, Для магистров, Липаев В.В., 2015

Надежность и функциональная безопасность комплексов программ реального времени, Для магистров, Липаев В.В., 2015.

   Рассмотрены основные факторы, определяющие надежность и безопасность функционирования программных комплексов реального времени, характеристики систем и среды, для которых должна обеспечиваться функциональная безопасность программных продуктов реального времени и необходимые ресурсы. Представлены требования к проектированию функциональной пригодности сложных программ, организация, планирование и процессы разработки требований к безопасности программных продуктов. Изложено содержание основных международных стандартов технологических процессов обеспечивающих функциональную безопасности в жизненном цикле комплексов программ. Значительное внимание уделено испытаниям надежности и функциональной безопасности сложных программных продуктов, Программе и методикам испытаний компонентов и комплексов программ, динамическим характеристикам программных продуктов. Рассмотрены технологические средства автоматизации испытаний функциональной безопасности программных продуктов, удостоверение требуемой функциональной безопасности и сертификации сложных программных продуктов.
Монография предназначена руководителям и разработчикам сложных систем и программных продуктов, к которым предъявляются высокие требования к надежности и функциональной безопасности применения. Книга ориентирована на исполнителей опытно-конструкторских работ, студентов и аспирантов, связанных с созданием систем и программных продуктов высокого качества и безопасности.




Основные понятия и показатели надежности программных комплексов.
Свойства надежности изделий изучаются теорией надежности, которая является системой определенных идей, математических моделей и методов, направленных на решение проблем предсказания, оценки и оптимизации различных показателей надежности. Надежность технических систем определяется в основном двумя факторами: надежностью компонентов и дефектами в конструкции, допущенными при проектировании или изготовлении. Относительно невысокая физическая надежность компонентов, их способность к разрушению, старению или снижению надежности в процессе эксплуатации привели к тому, что этот фактор оказался доминирующим для большинства комплексов аппаратуры. Этому способствовала также невысокая сложность многих технических систем, вследствие чего дефекты проектирования проявлялись относительно редко и вуалировались физическими отказами компонентов [1,3].

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

ОГЛАВЛЕНИЕ.
Введение.
Глава 1 Основные факторы, определяющие надежность и безопасность функционирования программных комплексов.
1.1. Основные понятия и показатели надежности программных комплексов.
1.2. Основные понятия и факторы, определяющие безопасность программных продуктов.
1.3. Характеристики систем и среды, для которых должна обеспечиваться функциональная безопасность программных продуктов реального времени.
1.4. Ресурсы для обеспечения функциональной безопасности программных продуктов реального времени.
Глава 2 Разработка требований к надежности и функциональной безопасности программных продуктов.
2.1. Общие требования к проектированию и производству сложных программных продуктов.
2.2. Организация и планирование разработки требований к надежности и безопасности программных продуктов.
2.3. Процессы разработки требований к функциональной безопасности и качеству программных продуктов.
Глава 3 Стандартизация технологических процессов обеспечения функциональной безопасности в жизненном цикле программных комплексов.
Введение к стандартам.
3.1. Процессы обеспечения функциональной безопасности программных продуктов в стандарте IEC 61508:1-6: 1998-2000.
3.2. Особенности процессов обеспечения функциональной безопасности программных продуктов в стандарте ISO 15408:1999.
3.3. Особенности методологии обеспечения безопасности программных продуктов в стандарте ISO 13335: 1-5: 1998.
3.4. Особенности процессов жизненного цикла программных комплексов в стандарте ISO 12207:2008.
3.5. Особенности создания программных продуктов в системах безопасности атомных электростанций по стандарту МЭК 60880:2002.
3.6. Особенности процессов разработки и документирования встроенных программных продуктов в стандарте ГОСТ Р 51904:2000.
Глава 4 Испытания надежности и функциональной безопасности программных продуктов.
4.1. Испытания надежности функционирования программных продуктов.
4.2. Испытания динамических характеристик программных продуктов на соответствие требованиям функциональной безопасности.
4.3. Испытания производительности и динамического использования ресурсов компьютера программными продуктами.
4.4. Испытания эксплуатации и модификация программной документации.
Глава 5 Удостоверение надежности и безопасности применения программного продукта реального времени.
5.1. Средства автоматизации для испытаний надежности и функциональной безопасности программных продуктов.
5.2. Сертификация функциональной безопасности сложных программных продуктов реального времени.
Литература.
Приложение.
Сведения об авторе.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Надежность и функциональная безопасность комплексов программ реального времени, Для магистров, Липаев В.В., 2015 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать pdf
Ниже можно купить эту книгу, если она есть в продаже, и похожие книги по лучшей цене со скидкой с доставкой по всей России.Купить книги


Скачать - pdf - Яндекс.Диск.




Теги: учебник по информатике :: информатика :: компьютеры :: Липаев