Мякишев Д., Принципы и методы создания надежного программного обеспечения АСУТП
Инфра-Инженерия, 2017 г., 115 стр., 9785972901791
Наличие в интернет-магазинах
Описание книги
Цель настоящего пособия – дать базовые навыки, необходимые для разработки надежного программного обеспечения (ПО), построить «мост» между зачастую незаслуженно забытыми трудами «патриархов» и современной практикой программирования. Показана актуальность проблемы повышения надежности создаваемого ПО. Приведены основные определения, факторы, влияющие на надежность ПО, рассмотрены принципы и методы построения надежного ПО. Даны практические рекомендации и методики, направленные на повышение надежности разрабатываемого ПО. Пособие иллюстрируется примерами из области ПО АСУТП АЭС, приведены детализированные требования, рекомендации и методика по проектированию и реализации ПО.Пособие предназначено для специалистов, занимающимся разработкой ПО для оснащения критически важных объектов (КВО). Оно также может быть полезно студентам соответствующих специальностей в качестве методического материала.
Купить эту книгу можно в интернет-магазинах
- 931 руб.
Страница товара выбранного интернет-магазина откроется в новом табе
Скачать, но не бесплатно эту книгу можно в интернет-магазинах
- 570 руб.
Читать онлайн
Доступен для чтения фрагмент книги
Поделиться ссылкой на книгу
Содержание книги
ВВЕДЕНИЕ
ГЛАВА 1. Теория
1.1 Что такое надежность ПО
1.2 Стратегии и принципы повышения надежности
ПО
Архитектура
Абстракция
Спецификация
1.3 Методы повышения надежности ПО
1.3.1 Классификация
1.3.2 Методы повышения надежности "a priori"
Нисходящее проектирование (проектирование
"сверху-вниз")
Модульное программирование
Структурное программирование
Объектно-ориентированное программирование
Параллельное программирование
Обеспечение устойчивости
1.3.3 Методы повышения надежности "a posteriori"
Тестирование
Верификация
Валидация
ГЛАВА 2. Практика
2.1 Что дальше
2.2 ЖЦ систем важных для безопасности
2.2.1 Анализ требований
2.2.2 Проектирование
Проектирование архитектуры
Детальное проектирование
2.2.3 Конструирование (кодирование)
2.2.4 Автономное тестирование
2.2.5 Комплексирование
2.2.6 Испытания
2.2.7 Сопровождение
2.2.8 Документирование
ГЛАВА 3. Выводы
Приложение 1
Детализированные требования и рекомендации по
проектированию и реализации (ГОСТ Р МЭК 60880 -
2011)
Приложение 2
Методика проектирования на основе базовой
структуры
Используемые сокращения
Библиография
ГЛАВА 1. Теория
1.1 Что такое надежность ПО
1.2 Стратегии и принципы повышения надежности
ПО
Архитектура
Абстракция
Спецификация
1.3 Методы повышения надежности ПО
1.3.1 Классификация
1.3.2 Методы повышения надежности "a priori"
Нисходящее проектирование (проектирование
"сверху-вниз")
Модульное программирование
Структурное программирование
Объектно-ориентированное программирование
Параллельное программирование
Обеспечение устойчивости
1.3.3 Методы повышения надежности "a posteriori"
Тестирование
Верификация
Валидация
ГЛАВА 2. Практика
2.1 Что дальше
2.2 ЖЦ систем важных для безопасности
2.2.1 Анализ требований
2.2.2 Проектирование
Проектирование архитектуры
Детальное проектирование
2.2.3 Конструирование (кодирование)
2.2.4 Автономное тестирование
2.2.5 Комплексирование
2.2.6 Испытания
2.2.7 Сопровождение
2.2.8 Документирование
ГЛАВА 3. Выводы
Приложение 1
Детализированные требования и рекомендации по
проектированию и реализации (ГОСТ Р МЭК 60880 -
2011)
Приложение 2
Методика проектирования на основе базовой
структуры
Используемые сокращения
Библиография
Об авторе
Последние поступления в рубрике "Электронные книги, аудиокниги"
 |
Tod eines Soldaten Klinkhammer ". |
 |
Seltene Hunderassen aus aller Welt Frey F. |
 |
Vulpes Lupus Canis Gajaze K. |
Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Мякишев Д., Принципы и методы создания надежного программного обеспечения АСУТП в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.
