ГОСТ Р МЭК 61508-7—2007
Описание: во время проектирования системы, связанной с безопасностью, должны составляться руководя
щие материалы, которые должны, во-первых, приводить к созданию систем, связанных с безопасностью, и быть
практически свободны от ошибок и. во-вторых, упрощать последующее подтверждение соответствия безопаснос
ти. Такие руководящие материалы могут быть универсальными, специальными для проекта или специальными
только для отдельного этапа проекта.
Литература:
EWICS European Workshop on Industrial Computer Systems. TC 7: Safety Related Computers — Software
Development and Systems Documentation. Verlag TUV Rheinland. Koln. 1985.
Guidelines for Safe Automation of Chemical Processes. CCPS. AlChE. New York. 1993.
Deutsche Bundesbahn: Richtlimen-Entwurfe 42500 to 42550 fur das Handbuch «Grundsatze zur technischen
Zulassung in der Signal- und Nachrichtentechnik». Bundesbahn-Zentralamt Munchen, August 1987.
Richtlinie zur Erstellung und Prufung sicberheitsreievanter Software. K. Grimm. G. Heiner. Informatik Fachberichte
86. Springer Verlag. Berlin. 277-288. 1984.
B.3.2 Структурное проектирование
П р и м е ч а н и е — Ссылка на данный метод.’средство приведена в МЭК 61508-2 (таблицы В.2 и В.6).
Цель: снижение сложности проектирования путем создания иерархической структуры частичных требова
ний. Исключение ошибок взаимосвязей между требованиями. Упрощение верификации.
Описание: при проектировании аппаратных средств должны использоваться конкретные критерии или ме
тоды. Например, может потребоваться:
- проектирование иерархически структурированных схем;
- использование изготовленных и проверенных частей схем.
При проектировании программных средств использование структурных схем также позволяет создать од
нозначную структуру программных модулей. Данная структура показывает взаимосвязь модулей друг с другом,
конкретные данные, которые передаются между модулями, и конкретное управление, существующее между моду
лями [16].
Литература:
Structured Development for Real-Time Systems (3 Volumes). P. T. Yourdon. P. T. Yourdon Press. 1985.
Software Design for Real-time Systems. J. E. Cooling. Chapman and Hall. 1991.
Essential Systems Analysis. St. M. McMenamin, F. Palmer. Yourdon Inc. 1984.
The Use of Structured Methods in the Development of Large Software-Based Avionic Systems. D. J. Hatley,
Proceedings DASC. Baltimore. 1984.
An Overview of JSD. J. R. Cameron. IEEE Trans SE-12 No. 2. February 1986.
System Development. M. Jackson. Prentice-HaB. 1983.
MASCOT 3 User Guide. MASCOT Users Forum. RSRE. Malvern. England. 1987.
Structured Development for Real-Time Systems (3 Volumes). P. T. Ward. S. J. Mellor. Yourdon Press. 1985.
Structured Analysis for Requirements Definition. D. T. Ross. К. E. Schoman Jr. IEEE Trans. Software Eng. Vol. SE-
3. 6—15, 1977.
StructuredAnalysis (SA): A language forcommunicating ideas. D. T. Ross. IEEE Trans. Software Eng, Vol. SE-3 (1).
16—34.
Applications and Extensions of SADT. D. T. Ross. Computer. 25-34. April 1985.
Stmctured 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.
B.3.3 Использование достоверно испытанных компонентов
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (таблицы В.2 и В.6).
Цель: снижение риска многих оригинальных и необнаруживаемых отказов путем использования компонен
тов с конкретными характеристиками.
Описание: выбор достоверно испытанных компонентов для целей безопасности выполняется производи
телем в соответствии с надежностью компонентов (например, использование эксплуатационно-тестируемых фи
зических модулей для удовлетворения высоких требований безопасности или хранение относящихся к безопас
ности программ только в безопасной памяти). Обеспечение безопасности памяти может касаться устранения
несанкционированного доступа, влияний несанкционированной среды (электромагнитная совместимость, ради
ация. и тщ.). а также отклика компонентов в случае обнаружения отказов [13].
Литература:
Reliability Testing for Industrial use. W. T. Greenwood. Computer 10 (7). 26—30. 1977.
Independent Test Labs: Caveat Emptor. E. Rubinstein. IEEE Spectrum. 14 (6). 44—50. 1977.
Microcomputers in safety technique — an aid to orientation for developer and manufacturer. H. Hblscher, J. Rader.
Verlag TIJV Rheinland. K6ln. 1986. ISBN 3-88585-315-9.
Zuvertassigkeit elektronischer Komponenten. T. Bajenescu. VDE-Verlag. Berlin. 1985.
т
23