ГОСТ Р МЭК 61508-7—2007
Создание диаграмм потока данных является наилучшим подходом при анализе систем в направлении от
входов к выходам. Каждый кружок на диаграмме должен обозначать разное преобразование — его выходы
должны отличаться от его входов. Не существует правил определения обшей структуры диаграммы, и создание
диаграммы потока данных является одним из творческих аспектов создания проекта системы в цепом. Подобно
всем проектам, процедура, уточняющая начальную диаграмму для создания конечной, является итеративной [20].
[22].
Литература:
Software Engineering. I. Sommerville. Addison-Westey. 3rd Edition. 1989.
C.2.3 Структурные диаграммы
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблица В.5).
Цель: представление структуры программы в виде схемы.
Описание: структурные диаграммы дополняют диаграммы потоков данных. Они описывают программируе
мую систему и иерархию ее компонентов, а также отображают их графически в виде дерева. Структурные диаг
раммы описывают способ реализации элементов диаграммы потоков данных в виде иерархии программных
модулей.
Структурная диаграмма показывает взаимоотношения между программными модулями, не указывая при
этом порядок активизации программных модулей. Структурные диаграммы изображаются с использованием
следующих четырех символов:
- прямоугольника с именем модуля;
- линии, соединяющей эти прямоугольники, формирующие структуру;
- стрелки, отмеченной незаштрихованным кругом, с именем данных, передаваемых в направлении элемен
тов структурной диаграммы и обратно (обычно такая стрелка изображается параллельно линиям, соединяющим
прямоугольники схемы):
- стрелки, отмеченной заштрихованным кругом, с именем сигнала управления, проходящего в структурной
диаграмме от одного модуля к другому, и эта стрелка также изображается параллельно линии, соединяющей два
модуля.
Из любой нетривиальной диаграммы потока данных можно создать множество различных структурных
диаграмм.
Диаграммы потоков данных отображают взаимоотношение между информацией и функциями системы.
Структурные диаграммы отображают способ реализации элементов системы. Оба метода представляют собой
действующие, хотя и различные точки зрения на конкретную систему.
Литература:
Software Engineering. I. Sommerville. Addison-Wesley. 3rd Edition. 1989.
Structured Design. L. L. Constantine and E. Yourdon. Englewood Cliffs. New Jersey. Prentice Hall. 1979.
Reliable Software Through Composite Design. G. J. Myers, New York. Van Nostrand. 1975.
C.2.4 Формальные методы
Примечание— Ссылка изданный метод/средство приведена вМЭК 61508-3 (таблицы А.1. А.2. А.4 иВ.5).
С.2.4.1 Общие положения
Цель: разработка программных средств, основанных на математических принципах. К этим средствам от
носятся методы формального проектирования и формального кодирования.
Описание: на основе формальных методов разработаны средства описания системы для решения отдель
ных задач на этапах спецификации, проектирования или реализации. Создаваемое в результате описание пред
ставляет собой строгую нотацию, математически анализируемую для обнаружения различных видов несогласо
ванностей или некорректностей. Более того, такое описание может быть в некоторых случаях проанализировано
автоматически по аналогии с проверкой компилятором синтаксиса исходной программы или. с целью показать
различные аспекты поведения описываемой системы, использована анимация. Анимация может дать дополни
тельную уверенность в том. что система соответствует как реальным, так и формально специфицированным
требованиям, поскольку это улучшает восприятие человеком специфицированного поведения системы.
Формальный метод обычно предлагает нотацию (как правило, используется один из методов дискретной
математики), метод вывода описания в данной нотации и различные методы анализа описания для проверки
корректности различных свойств системы.
П р и м е ч а н и е — Приведенное выше описание содержится также в В.2.2.
Ряд формальных методов CCS. CSP, HOL. LOTOS. OBJ. временная логика. VDM и Z описан в подпунктах
настоящего пункта. Следует заметить, что другие методы, например метод конечных автоматов (см. В.2.3.2) и сети
Петри (см. В.2.3.3). в зависимости от корректности использования методами соответствующего строгого матема
тического аппарата, могут рассматриваться как формальные.
Литература:
The Practice of Formal Methods in Safety-Critical Systems. S. Liu, V. Stavridou. B. Dutertre. J. Systems. Software
28. 77—87. Elsevier. 1995.
35