ГОСТ Р МЭК 61508-7—2012
Литература:
Time-TriggeredArchitecture (ТТА). С. Scheidler. G. Heiner. R. Sasse. E. Fuchs. H. Kopetz. C. Temple. InAdvances in
Information Technologies: The Business Challenge, ed. J-Y. Roger. IOS Press. 1998. ISBN 9051993854. 9789051993851.
A Synchronisation Strategy for a TTP/C Controller. H. Kopetz. R. Hexel, A. Krueger. D. Millinger. A. Schedl. SAE
paper 960120. Application of Multiplexing Technology SP 1137. Detroit. SAE Press. Warrendale. 1996.
The Time-Triggered Architecture. H. Kopetz. G. Bauer. Proceedings of the IEEE Special Issue on Modeling and
Design of Embedded Software. October 2002.
An Overview of Formal Verification for the Time-Triggered Architecture. J. Rushby: Invited paper. Oldenburg.
Germany. September 9—12. 2002. Proceedings FTRTFT 2002. Springer LNCS 2469. 2002. ISBN 978-3-540-44165-6.
C.3.12 UML
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблица В.7).
Цель. Обеспечить исчерпывающий набор нотаций для моделирования требуемого поведения сложных систем.
Описание. UML. в соответствии с названием. — это набор требований и нотаций проектирования, которые
предназначены обеспечить всестороннюю поддержку процессу разработки программного обеспечения. Некоторые
части UML основаны на нотациях, впервые появившихся в других методах (таких как диаграмма последователь
ностей и диаграммы переходов), а другие нотации уникальны в UML. UML очень близок к объектно-ориентирован
ному языку, хотя некоторые из нотаций могут не использоваться в объектно-ориентированном программировании.
UML поддерживается многими коммерчески доступными CASE инструментами, многие из которых способны авто
матически генерировать программные коды из моделей UML.
Нотации UML. которые обычно применяются для спецификации и проектирования систем, связанных
с безопасностью, следующие:
- диаграммы классов:
- прецеденты;
- диаграммы действий;
- диаграммы переходов (диаграммы состояний);
- диаграммы последовательностей.
Другие нотации UML относятся к представлению проекта архитектуры программного обеспечения (структуры
программного обеспечения), но в данном пункте не рассматриваются.
Диаграмма переходов описана в В.2.3.2 и диаграмма последовательностей — в С.2.14. Остальные нотации
описаны в следующих трех подпунктах.
С.3.12.1 Диаграммы классов
Диаграммы классов определяют классы объектов, которые должны использоваться в программном обеспе
чении. Они основаны на более ранних схемах атрибут-связъ-сущность. но адаптированы к обьектно-ориентиро-
ванному проектированию. Каждый класс (из которого один или более экземпляров будут использоваться в каче
стве объектов во время выполнения) представлен прямоугольником, а различные отношения между классами
показаны линиями или стрелками. Операции или методы, предлагаемые каждым классом, и атрибуты данных
каждого класса могут быть добавлены к схеме. Представляемые отношения состоят как из ссылочных отношений с
указанием их кратности (экземпляр класса А может обратиться к одному или нескольким экземплярам класса В),
так и из отношений специализации (класс X — уточнение класса Y) с. возможно, дополнительными методами и
атрибутами. Может быть изображено множественное наследование.
С.3.12.2 Прецеденты
Прецеденты обеспечивают текстовое описание требуемого поведения системы в соответствии с определен
ным сценарием, обычно с точки зрения внешних агентов, включая пользователей системы и внешних систем.
Для представления дополнительного поведения, особенно в случаях ошибочных ответов, внутри данного
преце дента могут использоваться альтернативные подсценарии. Чтобы обеспечить достаточно полную
спецификацию системных требований, разрабатывается набор прецедентов. Прецеденты могут быть начальной
точкой для раз работки более строгих моделей, таких как диаграммы последовательностей и диаграммы действий.
Диаграммы прецедентов обеспечивают пиктографическое представление системы и агентов, которые вклю
чены в прецеденты, но оно не строгое, так как для спецификации важным является только текстовое описание
прецедента.
С.3.12.3 Диаграммы действий
Диаграммы действий показывают намеченную последовательность действий, выполняемых элементом про
граммного обеспечения (часто обьектом в обьектно-ориентированном проекте), включая последовательное и ите
ративное поведение (некоторые аспекты очень похожи на блок-схему). Диаграммы действий однако позволяют
описание параллельных действий для нескольких элементов, указывая взаимодействия между этими элементами
стрелками на диаграмме. Точки синхронизации, в которых действие, прежде чем начнет выполняться, должно ожи
дать один или несколько входных потоков от другихдействий, обозначаются символом, подобным узлу сети Петри.
Литература:
ISO/IEC 19501:2005. Information technology — Open Distributed Processing — Unified Modeling Language (UML)
Version 1.4.2.
52