ГОСТ Р МЭК 61508-7—2012
потока данных является одним из творческих аспектов создания проекта системы в целом. Подобно всем проек
там. процедура, уточняющая начальную диаграмму для создания конечной, является итеративной.
Литература:
Software Engineering: Update. Ian Sommervilte. Addison-Wesley Longman. Amsterdam: 8lh ed.. 2006. ISBN
0321313798. 9780321313799.
Software Engineering. Ian Sommervilte. Pearson Studium. 8. Auflage. 2007, ISBN 3827372577. 9783827372574.
ISO 5807:1985, Information processing — Documentation symbols and conventions for data, program and system
flowcharts, program network charts and system resources charts.
ISO/IEC 8631:1989. Information technology — Program constructs and conventions for their representation.
C.2.3 Структурные диаграммы
П р и м е ч а н и е — Ссылка на данный метод/срвдство приведена в МЭК 61508-3 (таблица В.5).
Цель. Представление структуры программы в виде схемы.
Описание. Структурные диаграммы дополняют диаграммы потоков данных. Они описывают программируе
мую систему и иерархию ее компонентов, а также отображают их графически в видедерева. Структурные диаграм
мы описывают способ реализации элементов диаграммы потоков данных в виде иерархии программных модулей.
Структурная диаграмма показывает взаимоотношения между программными модулями, не указывая
при этом порядок активизации программных модулей. Структурные диаграммы изображаются с использованием
следующих четырех символов:
- прямоугольника с именем модуля:
- линии, соединяющей эти прямоугольники, формирующие структуру;
- стрелки, отмеченной незаштрихованным кругом, с именем данных, передаваемых в направлении элемен
тов структурной диаграммы и обратно (обычно такая стрелка изображается параллельно линиям, соединяющим
прямоугольники схемы);
- стрелки, отмеченной заштрихованным кругом, с именем сигнала управления, проходящего в структурной
диаграмме от одного модуля к другому, и эта стрелка также изображается параллельно линии, соединяющей два
модуля.
Из любой нетривиальной диаграммы потока данных можно создать множество различных структурных диа
грамм.
Диаграммы потоков данных отображают взаимоотношение между информацией и функциями системы.
Структурные диаграммы отображают способ реализации элементов системы. Оба метода представляют собой
обоснованные, хотя и различные точки зрения на конкретную систему.
Литература:
Software Design & Development. G. Lancaster. Pascal Press. 2001. ISBN 1741251753. 9781741251753.
Softv/are engineering: Update. Ian Sommervilte. Addison-Wesley Longman. Amsterdam: 8,h ed.. 2006. ISBN
0321313798. 9780321313799.
Software Engineering. Ian Sommervilte. Pearson Studium. 8. Auflage. 2007. ISBN 3827372577, 9783827372574.
C.2.4 Формальные методы
П р и м е ч а н и e — Ссылка наданный метод/средство приведена в МЭК61508-3 (таблицыА.1.А.2.А.4 и В.5).
С.2.4.1 Общие положения
Цель. Разработка программных средств, основанных на математических принципах. К этим средствам от
носятся методы формального проектирования и формального кодирования.
Описание. На основе формальных методов разработаны средства описания системы для решения отдель
ных задач на этапах спецификации, проектирования или реализации. Создаваемое в результате описание пред
ставляет собой строгую нотацию, математически анализируемую для обнаружения различных видов несогласо
ванностей или некорректностей. Более того, такое описание может быть в некоторых случаях проанализировано
автоматически по аналогии с проверкой компилятором синтаксиса исходной программы или использована
анима ция в целях показать различные аспекты поведения описываемой системы. Анимация может
датьдополнительную уверенность в том. что система соответствует как реальным, так и формально
специфицированным требованиям, поскольку это улучшает восприятие человеком специфицированного
поведения системы.
Формальный метод обычно предлагает нотацию (как правило, используется один из методов дискретной
математики), метод вывода описания в данной нотации и различные методы анализа описания для проверки кор
ректности различных свойств системы.
Ряд формальных методов CCS. CSP. HOL. LOTOS. OBJ. временная логика. VDM и Z описан в подпунктах
настоящего пункта. Следует заметить, что другие методы, например, метод конечных автоматов и сети Петри (см.
приложение В), в зависимости от корректности использования методами соответствующего строгого математиче
ского аппарата, могут рассматриваться как формальные.
Литература:
Formal Specification. Techniques andApplications. N. Nissanke. Spnnger-Verlag Telos, 1999. ISBN-10:1852330023.
The Practice of Formal Methods in Safety-Critical Systems. S. Liu. V. Stavridou. B. Dutertre. J. Systems. Software
28, 77—87. Elsevier. 1995.
Formal Methods: Use and Relevance for Development of Safety-Critical Systems. L. M. Barroca. J.A. McDermid,
The Computer Journal 35 (6). 579—599, 1992.
36