Принципы и методы создания надежного программного обеспечения АСУТП
книга

Принципы и методы создания надежного программного обеспечения АСУТП

Автор: Дмитрий Мякишев

Форматы: PDF

Издательство: Инфра-Инженерия

Год: 2017

Место издания: Москва|Вологда

ISBN: 978-5-9729-0179-1

Страниц: 115

Артикул: 41644

Возрастная маркировка: 16+

Электронная книга
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. Методика проектирования на основе базовой структуры
Используемые сокращения
Библиография

Все отзывы о книге Принципы и методы создания надежного программного обеспечения АСУТП

Чтобы оставить отзыв, зарегистрируйтесь или войдите

Отрывок из книги Принципы и методы создания надежного программного обеспечения АСУТП

Принципы и методы создания надежного программного обеспечения АСУ ТПМякишев Д.В. 20человеку, участвующему в ее решении, легче написать, понять и прочесть, чем программу.Средства спецификации – это любые средства по-лучения и построения таких описаний, а язык специфи-кации – рационально организованный и синтаксически оформленный набор таких средств, язык более высоко-го уровня, чем язык, на котором написана программа. Язык спецификаций – средство общения круга лиц, вовлеченных в разработку ПО. Одним из наиболее существенных вопросов, реша-емых в процессе выбора тех или иных изобразительных средств, является степень их формализации. Определя-ющую роль в этом случае играет уровень абстракции.Спецификация системы (верхнего уровня абстрак-ции) служит основным связующим звеном между целя-ми, требованиями и реализацией, является информаци-онной средой взаимодействия заказчика и исполнителя. Поскольку в подавляющем большинстве случаев заказ-чик не является профессионалом - программистом, у него возникают затруднения при четком и однозначном формулировании целей и требований, особенно с при-менением формального аппарата. Нередко заказчик сам не знает, что в конечном счете требует он от программы, и исполнителю в этом случае приходится додумывать за заказчика и предлагать ему свою интерпретацию целей и требований, которая путем многократных обсуждений и уточнений доводится до необходимого уровня конкрети-зации. В этой связи необходимо иметь в составе специфи-кации неформальные (или полуформальные, формализо-ванные) изобразительные средства (в ее внешней части), по крайней мере, в спецификации высшего уровня аб-