ГОСТ Р МЭК 61508-7—2007
Модель реализации подразделяется на две подмодели, описывающие распределение отдельных процес
сов в процессорах и декомпозицию процессов на программные модули.
Для создания сущностной модели и модели реализации данный метод использует множество хорошо
известных подходов: построение диаграмм потоков данных, преобразование графов, структурированный англий
ский язык, диаграммы переходов состояний и сети Петри. Кроме того, данный метод обеспечивает средства
моделирования предложенного проекта системы в письменном или механическом виде из отображенных моде
лей.
Литература:
Structured Development for Real-Time Systems (3 Volumes). P. T. Ward and S. J. Mellor. Yourdon Press. 1985.
Strategies for Real-time System Specification. D. Hatley. E. Pirbhai. Dorset Publishing House.1988.
C.2.1.6 SADT — методология структурного анализа и проектирования
Цель: моделирование и анализ на уровне информационных потоков процессов принятия решений и задач
управления в сложных системах, представленных в виде диаграмм.
Описание: вметодологии SADT концепция активностных диаграмм играет главную роль. Активностная диаг
рамма состоит из активностей, сгруппированных в так называемые «блоки действий*. Каждому блоку действий
присваивается простое имя. и он связывается отношениями (изображаются стрелками) с другими блоками дей
ствий. которым также присваиваются уникальные имена. Каждый блок действий может быть иерархически деком
позирован на блоки действий более низкого уровня и отношения между ними. Каждая из четырех сторон блока
действий имеет определенное в методологии SADT особое назначение: входы, управления, механизмы и выхо
ды:
- вход — указывается стрелкой, входящей в блок действий слева. Входы могут быть представлены матери
альными или нематериальными объектами и предназначены для обработки одним или несколькими блоками
действий;
- управление - обычно это инструкция, процедура, критерий выбора и т. п. Управление реализует выполне
ние действий и изображается стрелками сверху блока действий;
- механизм — ресурс в виде персонала, организационного подразделения или описания, необходимый к
действию для выполнения своих задач;
- выход — все. что вырабатывается в результатедействия: изображается стрелкой с правой стороны блока
действий.
Если действия связаны между собой большим числом отношений, то лучше объединить эти действия в
единую группу, поместить в один блок действий, не детализируя вдальнейшем его содержание. Основополагаю
щий принцип группирования действий в блоки действий состоит в том. что образуемые в результате блоки дей
ствий должны соединяться между собой только небольшим числом отношений.
Декомпозиция моделей активностных диаграмм реализуется до тех пор. пока не потеряет смысл дальней
шая детализация блоков действий. Этот этапдостигается, если действия внутри блоков становятся неразделимы
ми или если последующая детализация действий внутри блоков выходит за область анализа системы.
Литература:
Structured Analysis for Requirements Definition. D. T. Ross. К. E. Schoman Jr. IEEE Transactions on Software
Engineering. Vol. SE-3.1,6—15. 1977.
Structured Analysis (SA): A Language for Communicating Ideas. D. T. Ross. IEEE Transactions on Software
Engineering. Vol. SE-3. 1, 16—34. 1977.
Applications and Extensions of SADT. D. T. Ross. Computer. 25—34. April 1985.
Structured Analysis and Design Technique — Application on Safety Systems. W. Heins. Risk Assessment and
Control Courseware, Module B1. Chapter 11. Delft University of Technology. Safety Science Group. PO Box 5050. 2600
GB Delft. Netherlands. 1989.
C.2.2 Диаграммы потоков данных
П р и м е ч а н и е — Ссыпка на данный метод/средство приведена в МЭК 61508-3 (таблицы В.5 и В.7).
Цель: программная поддержка описания потока данных в виде диаграмм.
Описание: диаграммы потоков данных описывают преобразование входных данных в выходные для каж
дого компонента схемы, представляющего различные преобразования.
Диаграммы потоков данных состоят из трех компонентов:
- аннотированные стрелки — обозначают поток данных, входящих и исходящих из блоков преобразования
с кратким описанием этих данных;
- аннотированные кружки — обозначают блоки преобразования с кратким описанием преобразований:
- операторы (and, хот) — эти операторы используются для связи аннотированных стрелок.
Каждый аннотированный кружок на диаграмме потока данных может рассматриваться как самостоятель
ный блок, который при появлении на его входах данных преобразует их в выходные. Одним из основных преиму
ществ является то. что они показывают преобразования, не предполагая, как они реализуются. Чистая диаграмма
потоков данных не включает в себя управляющую информацию или информацию о последовательности процес
са. так как управление реализуется в расширениях для реального времени, как в методе Йордона для систем
реального времени (см. С.2.1.5).
34