ГОСТ Р МЭК 61508-7—2012
Описание. Рассмотрим программу, которая обрабатывает последовательность транзакций: она получает по
следовательность входных данных и для каждого из них вычисляет выходные данные. Программа может также
запоминать некоторые или все состояния в процессе вычисления и может также учитывать эти состояния при вы
числении результата для следующих входных данных.
Если выходные данные программы полностью определяются только входными, то говорят, что такая про
грамма работает без запоминания или является программой, не сохраняющей состояние. Каждая транзакция
входных/выходных данных полна в том смысле, что на любую транзакцию никак не влияет любая, более ранняя
транзакция, и конкретные входные данные всегда приводят к тем же самым связанным с ними выходным данным.
Если программа при вычислении входных данных учитывает, кроме входных данных, также и состояние, ко торое
она запомнила в результате предыдущих вычислений, то такая программа обладает более сложным поведе нием.
потому что в различных случаях она может давать различные выходные данные для одних и тех же входных
данных. Результат для конкретных входных данных может зависеть от контекста (то есть от предыдущих входных
и выходных данных), в котором они обрабатываются. Необходимо также отметить, что в некоторых приложениях
(обычно коммуникационные системы) поведение программы может быть особенно чувствительно к изменениям
в сохраненном состоянии, которые могут произойти или непреднамеренно или злонамеренно.
Проектирование с несохраняющимися состояниями (или с сохранением ограниченного описания состояний) яв
ляется общим подходом, направленным на минимизациювозможной сложности поведения программного обеспечения,
исключая или уменьшая использование информации о состоянии при проектировании программного обеспечения.
Литература:
Introduction to Automata Theory. Languages, and Computation (3rd Edition). J. Hopcroft. R. Motwani. J. Uliman.
Addison-Wesley Longman Publishing Co. 2006. ISBN:0321462254.
Stateless connections. T. Aura. P. Nikander. In Proc International Conference on Information And Communications
Security (ICICS’97). ed Yongfei Han. Springer. 1997. ISBN 354063696X. 9783540636960.
C.2.13 Численный анализ в автономном режиме
П р и м е ч а н и е — Ссыпка на данный метод/средство приведена в МЭК 61508-3 (таблица А.9).
Цель. Гарантировать точность числовых вычислений.
Описание. Числовая погрешность может возникнуть при вычислении математической функции как след
ствие использования конечных представлений идеальных функций и чисел. Ошибка усечения появляется, когда
функция аппроксимируется конечным числом членов бесконечного ряда, таким как ряд Фурье. Для представления
в реальном компьютере вещественных чисел с конечной точностью, вводится их погрешность округления. Если
выполняются какие-либо, кроме самых простейших, вычисления с плавающей точкой, то должна быть проверена
обоснованность вычисления, чтобы гарантировать, что точность, требуемая приложением, фактически достигнута.
Литература:
Guide to Scientific Computing. P.R. Turner. CRC Press. 2001. ISBN 0849312426. 9780849312427.
C.2.14 Диаграммы последовательности сообщений
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблицы В.7 и С.17).
Цель. Помочь получению требований к системе на ранних стадиях проектирования программного обеспече
ния. включая стадии формирования требований и проектирования архитектуры программного обеспечения. В UML
это называется «Диаграмма последовательности системы» (System Sequence Diagram).
Описание. Диаграмма последовательности сообщений — графический механизм для описания поведе
ния системы с точки зрения коммуникаций между агентами системы (агентом может быть человек, компьютер
ная система или элемент либо объект программного обеспечения, в зависимости от стадии проектирования).
Для каждого агента на схеме представлен вертикальный «жизненный путь», а стрелки между ними
используют ся. чтобы представить сообщения. Действия по получении сообщений можно дополнительно
показать на схемах в виде прямоугольников. Набор сценариев (описывающих и требуемое и нежелательное
поведение) создается как спецификация необходимого поведения системы. Эти сценарии имеют несколько
применений. Может быть проведена их анимация, чтобы продемонстрировать поведение системы конечным
пользователям. Они могут быть преобразованы в исполнимую реализацию системы. Они могут сформировать
основу тестовых данных.
UML содержит расширения обычной концепции диаграммы последовательности сообщений в виде конструк
ций выбора и итерации, которые позволяют сценариям выполнять условные переходы и циклы, обеспечивая более
компактную нотацию. Могут быть также определены подсхемы, на которые можно сослаться из несхольких диа
грамм последовательностей более высокого уровня. Также могут быть представлены таймер и внешние события.
Литература:
«Message Sequence charts». D. Harel. R Thiagarajan. In UML for Real: Design of Embedded Real-Time Systems,
ed. L. Lavagno. Springer. 2003. ISBN 1402075014. 9781402075018.
ISO/IEC 19501:2005. Information technology— Open Distributed Processing — Unified Modeling Language (UML)
Version 1.4.2.
C.3 Архитектурное проектирование
C.3.1 Обнаружение и диагностика сбоев
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблица А.2).
47