ГОСТ Р МЭК 61508-7—2007
С.2.1.2 CORE — представление требований
Цель: обеспечение требований, определений и формулировок.
Описание: данный метод должен устранить пробел между потребителем/конечным пользователем и ана
литиком. Он не основан на математически строгой теории, а является средством коммуникации. Метод CORE
создан для представления требований, а не для спецификаций. Данный метод является структурированным, все
его представления проходят через различные уровни уточнений. Метод CORE используется для широкого круга
проблем, учитывает сведения об окружающей среде, в которой система функционирует, а также различные точки
зрения разных типов пользователей. Метод CORE содержит руководящие материалы и тактические подходы для
того, чтобы упростить сложный проект. Такое упрощение гложет быть скорректировано, либо явным образом
идентифицировано и задокументировано. Таким образом, спецификации могут быть неполными, однако выяв
ленные нерешенные проблемы и области высокого риска должны быть рассмотрены при последующем проекти
ровании.
Литература:
Software Design for Real-time Systems. J. E. Cooling. Chapman и Hall. 1991.
C.2.1.3 JSD — метод разработки системы no Джексону
Цель: разработка метода, охватывающего создание программных систем от стадии формирования требо
ваний до стадии кодирования, специально для систем реального времени.
Описание: метод JSD представляет собой поэтапную процедуру разработки, в которой разработчик моде
лирует поведение реального мира, на котором основываются функции системы, определяет эти функции, вводит их
в модель и преобразует образовавшуюся врезультате спецификацию в одну из надежно действующих в задан ной
окружающей среде. Поэтому данный метод охватывает традиционные этапы, такие как создание специфика ций.
проектирование и разработка, но несколько отличается от традиционных методов и не является методом
нисходящего проектирования.
Данный метод уделяет большое внимание выявлению на ранней стадии сущностей реального мира, отно
сящихся к создаваемой системе, а также моделированию этих сущностей и того, что может с ними произойти. Как
только анализ «реального мира» будет выполнен и создана его модель, анализируются функции системы с тем.
чтобы определить, как они вписываются в модель «реального мира». Модель результирующей системы дополня
ется структурным описанием всех процессов модели и затем преобразуется в программы, которые могут рабо
тать в заданной программно-аппаратной среде.
Литература:
Ал Overview JSD. J. R. Cameron. IEEE Transactions on Software Engineering, SE-12, No. 2. February 1986.
System Development. M. Jackson. Prentice-Hall. 1983.
C.2.1.4 MASCOT — модульный метод построения, эксплуатации и тестирования программных средств
Цель: проектирование и реализация систем реального времени.
Описание: MASCOT представляет собой модульный метод проектирования, который поддерживается про
граммно. Данный метод описывает структуры систем реального времени способом, не зависящим от типа аппа
ратных средств или языка реализации. MASCOT высокоорганизованно реализует проектирование, что порожда ет
строго модульную структуру, обеспечивая близкое соответствие между функциональными элементами проекта и
элементами конструкции, появляющимися при интеграции системы. Система представляется в терминах сети
конкурирующих процессов, которые взаимодействуют через каналы. Каналами могут быть либо совокупности фай
лов. либо очереди (конвейеры) данных. Управление доступом к каналу описывается независимо от процессов в
терминах механизмов доступа, которые также активизируют правила планирования процессов. Последняя вер сия
MASCOT была спроектирована с учетом реализации языка программирования ADA.
MASCOT обеспечивает стратегию приемлемости, основанную на тестировании и верификации как отдель
ных программных модулей, так и более крупных совокупностей функционально взаимосвязанных программных
модулей. Реализация MASCOT ориентирована на ядро MASCOT - набор примитиве» планирования, которые
лежат в основе реализации и обеспечивают механизмы доступа.
Литература:
MASCOT 3 User Guide MASCOT Users Forum. RSRE. Malvern. England. 1987.
C.2.1.5 Метод Йордона (Yourdon) для систем реального времени
Цель: спецификация и проектирование систем реального времени.
Описание: данный метод реализует процесс разработки системы, состоящий из трех этапов. На первом
этапе происходит создание «сущностной модели», которая описывает поведение системы в целом. На втором
этапе строится модель реализации, описывающая структуру и механизмы, которые, будучи реализованными,
отражают требуемое поведение системы. На третьем этапе происходит фактическое построение аппаратных и
программных средств системы. Три этапа строго соответствуют традиционным спецификации, проектированию и
разработке, но главное, что разработчик на каждом этапе должен активно заниматься моделированием.
Сущностная модель состоит из двух частей:
- модели окружающей среды, содержащей описание границ между системой и ее окружением, а также
внешних событий, на которые должна реагировать система;
- модели поведения, которая содержит схемы, описывающие преобразования, выполняемые системой в
ответ на события, и описание данных, которые система должна содержать для выдачи ответов.
33