ГО СТ Р МЭК 61508-6— 2007
Окончание таблицы 9
М
с
тоД|’средс тоаС сы лк а
SIL2И нтерпретация |п настоящ ей прилож ении)
5 Метрики сложности программного обесС.5.14
печения
RНе используется для языков программи
рования с ограниченной варьируемостью
Тестирование и интеграция программных
модулей
См. таблицу Е.5
Тестирование интеграции программируе
мой электроники
См. таблицу Е.6
Тестирование (приемочные испытания)
программной системы
См. таблицу Е.7
Т а б л и ц а Е.10 — Оценка функциональной безопасности (см. МЭК 61508-3. раздел 8)
М е то д.’сре дство
С сы лк аSIL2
И нтерпретация (в настоящ ем прилож ении)
1 Таблица контрольных проверок
В.2.5R
Используется
2 Таблицы решений и таблицы истиннос
ти
С.6.1R
Используется ограниченно
3 Метрики сложности программногообес
печения
С.5.14R
Не используется для языков программи
рования с ограниченной варьируемостью
4 Анализ отказов
ТаблицаR
В.4
На системном уровне анализ отказов
использует причинно-следственные схемы,
но для языков программирования с ограни
ченной варьируемостью этот метод не ис
пользуется
5 Анализ отказов по общей причине раз
нообразного программного обеспечения
(если оно действительно используется)
С.6.3R
Не используется для языков программи
рования с ограниченной варьируемостью
6 Блок-схемы надежности
С.6.5R
Не используется для языков программи
рования с ограниченной варьируемостью
Е.З Система с уровнем полноты безопасности 3
Рассматриваемая программная система сравнительно велика с точки зрения системы безопасности, так
как включает более 30000 строк исходного кода. Кроме того, вней используются обычные встроенные функции, по
крайней мере, две различные операционные системы и уже существующий код более ранних проектов (проверен
ных в эксплуатации). В целом система состоит более чем из 100000 строк исходного кода.
Аппаратные средства (включая датчики и исполнительные механизмы) представляют собой двухканальную
систему, выходы которой подключены к оконечным элементам по схеме логического «И » (AND).
Предположения и характеристики системы:
- немедленная реакция не требуется, но обеспечивается максимальное время реакции;
- интерфейсы с оператором существуют для датчиков, исполнительных механизмов и оповещателей;
- исходный код операционных систем, графических процедур и коммерческих программных продуктов не
доступен;
- система, скорее всего, вдальнейшем будет модернизироваться;
- специально разработанное программное обеспечение использует один из распространенных процедур
ных языков;
- компоненты программной системы, исходный код для которых недоступен, реализованы разными спосо
бами с помощью инструментальных средств от разных поставщиков, и их объектный код был создан разными
трансляторами;
- программное обеспечение работает на нескольких процессорах, доступных на рынке в соответствии с
требованиями МЭК 61508-2;
- встроенныесистемы соответствуют требованиям МЭК 61508-2 для управленияотказами аппаратных средств
и для их предотвращения;
- разработка программного обеспечения контролировалась независимой организацией.
П р и м е ч а н и е — Определение независимой организации приведено в МЭК 61508-4. пункт 3.8.12.
Интерпретация МЭК 61508-3. приложение А. для данного примера представлена в таблицах Е.11 — Е.20.
П р и м е ч а н и е — В графе «ссылка» таблиц Е.11— Е.30 пункты (например В.2.4. С.3.1) — это ссылки на
МЭК 61508-7. а таблицы (например таблица В.7) — это ссыпки на МЭК 61508-3.
54