ГОСТ Р МЭК 61508-6-2012
ТаблицаЕ.З - Проектирование и разработка программного обеспечения:
подробная модель (см. МЭК 61508-3, пункты 7.4.5 и 7.4.6) (Включает проектирование
систем программного обеспечения, проектирование модулей программного обеспечения
и кодирование)
Метод/средствоСсылка
УПБ2Интерпретация (в настоящем
приложении)
1а Структурные методыС.2.1
эПолуформальные методыТабл.
В.7
Iс Формальные методы проектиро B.
вания и усовершенствования C.
R
HRНе используется для языков програм
мирования с ограниченной изменчиво
стью
HRИспользуютсяпричинно-следственные
схемы, циклограммы, функциональные
блоки, типичные для языков программи
рования с ограниченной изменчивостью
2.2.
Не используется для языков программ-
2.4
мирования с ограниченной измечиво-
стью
2СредстваавтоматизированногоВ.3.5
проектирования
3 Программирование с защитойС.2.5
4 Модульный подходТабл.
В.9
RИспользуютсясредстваразработки,
поставленные производителем ПЛК
RВключается в системное программное
обеспечение
HRИспользуется упорядочение и группи
ровкапрограммыдляПЛКна
многозвенных логических схемах для
максимального увеличения модульности
требуемых функций
5 Стандарты по проектированию и С.2.6.
кодированию Табл.
В.1
6 Структурное программированиеС.2.7
HR Используются собственные соглашения
для документации и удобства эксплуа
тации
HRДлярассматриваемогопримера
аналогично модульности
HRФункциональные блоки, части программ
7Использованиедоверитель-С.2.10
ных/проверенмыхэлементовпро
граммного обеспечения (по возмож
ности)
8 Прямая прослеживаемость междуС.2.11
спецификацией требований к про
граммному обеспечению системы бе
зопасности и проектом программного
обеспечения
RПроверка полноты: проверка, гаранти
рующая. что все требования к програм
мному обеспечению системы безопасно
сти учтены в требованиях проектирования
программного обеспечения
П р и м е ч а н и е - В столбце «Ссылка» "В.х.х.х", "С.х.х.х" указывают на описания методов,
изложенные в приложениях В и С МЭК 61508-7. а ’ Табл. А.х*," Табл. В.х’ - на таблицы методов,
представленные в приложениях А и В МЭК 61508-3.
134