ГОСТ Р МЭК 61508-7—2007
обновление проекта:
- стандартная последовательность для внутренней проверки определяется как;
планирование, проведение и контроль проверки {теория проверки),
использование различных механизмов проверок для составных частей,
сохранение результатов повторных проверок;
- управление конфигурацией реализуется как;
администрирование и проверка версий,
выявление результатов модификаций,
проверки согласованности после модификаций;
- вводятся количественные оценки для средств обеспечения качества в виде;
установления требований,
статистики отказов;
- вводятся автоматизированные универсальные методы, инструменты и средства обучения персонала.
Литература:
IEEE; Software Engineering Standards. lEEE/Wiley-Interscience. New York, 1987.
Dependability of Cntical Computer Systems 1. F. J. Redmill, Elsevier Applied Science, 1988, ISBN 1-85166-203-0.
Guidelines for Safe Automation of Chemical Processes. CCPS, AlChE. New York. 1993.
B.1.2 Документация
П р и м е ч а н и я
1 Ссылка на данный метод/средство приведена в МЭК 61508-2 (таблицы В.1 — В.6).
2 См. также МЭК 61508-1 (раздел 5 и приложение А).
Цель: устранение отказов и упрощение процедуры оценки безопасности с помощью систем документирова
ния каждого шага процесса разработки.
Описание: во время процедуры оценки, наряду со всеми составляющими, включенными в разработку, необ
ходимо также уделять внимание эксплуатационным характеристикам и безопасности. В процессе разработки и
обеспечения в любой момент времени проверки доказательств безопасности особое внимание уделяется доку
ментации на систему (17].
Основными общими подходами кдокументированию являются введение руководящих принципов создания
документов и использование автоматизации, в том числе:
- руководящие принципы:
определяют структурудокумента.
используют таблицы контрольных проверок для формирования содержания документа и
определяют формат документа:
- автоматизация управляет документированием и создается структурированная библиотека проекта.
К конкретным методам создания документов относятся:
- разделение в документации описаний:
требований,
системы (документация пользователя) и
разработки (включая внутреннюю проверку);
- группирование разработанной документации в соответствии с жизненным циклом безопасности;
- определение стандартных модулей документации, из которых могут быть скомпилированы документы;
- ясная идентификация составных частей документа;
- формализованное обновление версий;
- выбор ясных и понятных средств описания:
формализованная нотация для определений,
естественный язык для введений, обоснований и представления намерений,
графическое представление для описания примеров,
семантическое определение для графических элементов и
терминологические справочники.
Литература:
EWICS European Workshop on Industrial Computer Systems. TC 7: Safety Related Computers — Software
Development and Systems Docunrentation. Verlag TUV Rheinland. K6ln, 1985.
Guidelines for Safe Automation of Chemical Processes. CCPS. AlChE, New York. 1993.
Entwicklungstechnik sicberhertsverantwortlicher Software in der Eisenbahn-Signaltechnik. U. Feucht. Informatik-
Fachberichte 86. Springer Verlag. Berlin, 184—195. 1984.
Richtlinie zur Erstellung und Prufung sicherheitsrelevanter Software. K. Grimm, G. Heiner. Informatik Fachberichte
86. Springer Verlag. Berhn, 277—288. 1984.
B.1.3 Разделение систем, связанных с безопасностью, и систем, не связанных с безопасностью
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (таблицы В.1 и В.6).
Цель: предотвращение влияния систем, связанных с безопасностью, на системы, не связанные с безопас
ностью. в непредвиденных ситуациях.
18