ГОСТ Р МЭК 61508-7—2012
Литература:
Software Engineering for Real-time Systems. J.E. Cooling. Pearson Education. 2003, ISBN 0201596202.
9780201596205.
Requirements Engineering. E. Hull. K. Jackson. J. Dick. Springer. 2005. ISBN 1852338792. 9781852338794.
C.2.1.3 Метод разработки системы по Джексону (JSD)
Цель. Разработка метода, охватывающего создание программных систем от стадии формирования требова
ний до стадии кодирования, специально для систем реального времени.
Описание. Метод JSD представляет собой поэтапную процедуру разработки, в которой разработчик моде
лирует поведение реального мира, которое представляется функциями системы, определяет эти функции, вводит их
в модель и преобразует образовавшуюся в результате спецификацию, которая реализуема в планируемой среде.
Поэтому данный метод охватывает традиционные этапы, такие как создание спецификаций, проектирование и раз
работка. но несколько отличается от традиционных методов и не является методом нисходящего проектирования.
Данный метод уделяет большое внимание выявлению на ранней стадии сущностей реального мира, от
носящихся к создаваемой системе, а также моделированию этих сущностей и того, что может с ними произойти. Как
только анализ «реального мира» будет выполнен и создана его модель, анализируются функции системы с тем.
чтобы определить, как они вписываются в модель «реального мира». Модель результирующей системы
дополняется структурным описанием всех процессов модели и затем преобразуется в программы, которые могут
работать в заданной программно-аппаратной среде.
Литература:
SystemsAnalysisand Design. D. Yeates. A. Wakefield. Pearson Education. 2003. ISBN 0273655361.9780273655367.
An Overview JSD. J.R. Cameron. IEEE Transactions on Software Engineering. SE-12, No. 2. February 1986.
C.2.1.4 Метод Йордона (Yourdon) для систем реального времени
Цель. Спецификация и проектирование систем реального времени.
Описание. Данный метод реализует процесс разработки системы, состоящий из трех этапов. На первом эта
пе происходит создание «сущностной модели», которая описывает поведение системы в целом. На втором этапе
строится модель реализации, описывающая структуру и механизмы, которые, будучи реализованными, отражают
требуемое поведение системы. На третьем этапе происходит фактическое построение аппаратных и программных
средств системы. Три этапа строго соответствуют традиционным спецификации, проектированию и разработке,
но главное, что разработчик на каждом этапе должен активно заниматься моделированием.
Сущностная модель состоит издвух частей:
- модели окружающей среды, содержащей описание границ между системой и ее окружением, а также внеш
них событий, на которые должна реагировать система:
- модели поведения, которая содержит схемы, описывающие преобразования, выполняемые системой в от
вет на события, и описание данных, которые система должна содержать для выдачи ответов.
Модель реализации подразделяется на две подмодели, описывающие распределение отдельных процессов
в процессорах и декомпозицию процессов на программные модули.
Для создания сущностной модели и модели реализации данный метод использует множество хорошо
известных подходов: построение диаграмм потоков данных, преобразование графов, структурированный ан
глийский язык, диаграммы переходов состояний и сети Петри. Кроме того, данный метод содержит методики для
моделирования представленного из уже сформированных моделей проекта системы или вручную (на бума ге) или
автоматически.
Литература:
Real-time Systems Development. R. Williams. Butterv/orlh-Heinemann. 2006. ISBN 0750664711.9780750664714.
Structured Development for Real-Time Systems (3 Volumes). RT. Ward and S.J. Mellor. Yourdon Press. 1985.
C.2.2 Диаграммы потоков данных
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-3 (таблицы В.5 и В.7).
Цель. Программная поддержка описания потока данных в виде диаграмм.
Описание. Диаграммы потоков данных описывают преобразование входных данных в выходные для каждого
компонента схемы, представляющего различные преобразования.
Диаграммы потоков данных состоят из трех компонентов:
- аннотированные стрелки — обозначают поток данных, входящих и исходящих из блоков преобразования,
с кратким описанием этих данных:
- аннотированные кружки — обозначают блоки преобразования с кратким описанием преобразований:
- операторы (and. хот) — эти операторы используются для связи аннотированных стрелок.
Каждый аннотированный кружок на диаграмме потока данных может рассматриваться как самостоятельный
блок, который при появлении на его входах данных преобразует их в выходные. Одним из основных преимуществ
является то. что они показывают преобразования, не предполагая, как они реализуются. Чистая диаграмма пото
ков данных не включает в себя управляющую информацию или информацию о последовательности процесса, так
как управление реализуется в расширениях для реального времени, как в методе Йордона для систем реального
времени (см. С.2.1.4).
Создание диаграмм потока данных является наилучшим подходом при анализе систем в направлении от вхо
дов к выходам. Каждый кружок на диаграмме должен обозначать разное преобразование — его выходы должны
отличаться от его входов. Не существует правил определения общей структуры диаграммы, и создание диаграммы
35