ГОСТ Р МЭК 61508-7—2007
В.3.4 Модульное проектирование
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (таблицы В.2 и В.6).
Цель: снижение сложности и исключение ошибок, связанных с интерфейсами между подсистемами.
Описание: каждая подсистема на всех уровнях проектирования четко определена и ограничена по размеру
(только небольшим набором функций). Интерфейсы между подсистемами поддерживаются как можно более
простыми, и пересечения (разделяемые данные, обмен информацией) минимизированы. Сложность отдель
ных подсистем также ограничивается.
Литература:
EWICS European Workshop on Industrial Computer Systems. TC 7: Safety Related Computers — Software
Development and Systems. Documentation. TUV Rheinland. K6ln. 1985.
The Art of Software Testing. G. J. Myers. Wiley & Sons. New York. 1979.
Software Reliability — Principles и Practices. G. J. Myers. Wiley-lnterscience. New York. 1976.
Software Design for Real-time Systems. J. E. Cooling. Chapman и Hall. 1991.
B.3.5 Средства автоматизированного проектирования
Примечани е —Ссылка на данный метод/средство приведена в МЭК 61508-2 (таблицы В.2 и В.6) ив МЭК
61508-3 (таблица А.4).
Цепь: более систематическое выполнение процедуры проектирования. Включение в проект подходящих
автоматически сконструированных элементов, уже созданных и проверенных.
Описание: инструменты автоматизированного проектирования (CAD) должны использоваться в процессе
проектирования как аппаратных, так и программных средств, если они доступны и их использование обосновано
сложностью системы. Корректность использования таких инструментов должна быть продемонстрирована конк
ретным тестированием, обширной предысторией удовлетворительного использования, либо независимой вери
фикацией их результата для конкретной проектируемой системы, связанной с безопасностью.
Литература:
Verification — The Practical Problems. J. T. Webb и D. J. Mannering, SARSS 87. November 1987. Altrincham.
England. Elsevier Applied Science. 1987. ISBN 1-85166-167-0.
An Experience in Design and Validation of Software for a Reactor Protection System. S. Bologna. E. de Agostino
etal. IFAC Workshop. SAFECOMP 1979. Stuttgart. 16—18 May 1979. Pergamon Press. 1979.
B.3.6 Моделирование
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (таблицы В.2. В.5 и В.6).
Цель: проведение систематических и полных проверох как функционирования злектрических/элехтронных
схем, так и для корректного задания значений параметров их компонентов.
Описание: функция схемы, реализующая систему, связанную с безопасностью, имитируют на компьютере с
помощью запрограммированной модели ее поведения. Поведение каждого отдельного компонента схемы моде
лируют отдельно, и отклик схемы, в которую он входит, анализируют при задании предельных значений парамет
ров для каждого компонента.
Литература:
Proc. Working Conference on Prototyping. Namur. October 1983. Budde et al. Springer Verlag. 1984.
Using an executable specification for an information system. S. Urban et al. IEEE Trans Software Engineering. Vol.
SE-11 No. 7. July 1985.
Verification and validation of Real-time Software. W. J. Quirk (ed.). Sponger Verlag. Berlin. 1985.
VDI-Gemeinschaftsausschu() Industrielle Systemtechnik. Sofhvare-Zuvertassigkeit. VDI-Vertag. 1993.
B.3.7 Проверка (обзор и анализ)
П р и м е ч а н и е — Ссыпка на данный метод/средство приведена в МЭК 61508-2 (таблицы В.2 и В.6).
Цель: выявление рассогласования между спецификацией и реализацией.
Описание: проверяются заданные функции системы, связанной с безопасностью. Оценивается соответ
ствие системы, связанной с безопасностью, требованиям, приведенным в спецификации. Все вызывающие со
мнение ситуации при реализации и использовании изделий документируют с целью их последующего разреше
ния. В отличив от сквозного контроля во время процедуры проверки разработчик системы пассивен, а эксперт —
активен.
Литература:
The Art of Software Testing. G. J. Myers, Wiley & Sons. New York. 1979.
Dependability of Critical Computer Systems 3. P. G. Bishop et al. Elsevier Applied Science, 1990. ISBN
1-85166-544-7.
VDI-Gemeinschaftsausschufi Industrielle Systemtechnik: Software-Zuveriassigkeit. VDI-Verlag. 1993. ANSI/IEE
Std. 1028:1997. IEEE Standard reviews и audits.
B.3.8 Сквозной контроль
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (таблица В.6).
24