ГОСТ Р ИСО 26262-6—2014
Т а б л и ц а 1 - Вопросы, которые должны быть рассмотрены в руководствах по моделированию и
кодированию
Свойства
1а
1Ь
1с
1d
УПБА
А в с D
♦♦ +♦ +♦ ♦+
+♦
+♦
++
♦♦+♦+♦
О
++♦♦+
1е
♦+♦++
1f
♦+♦♦+
ig
♦+♦+♦♦+
1h
Принудительное применение низкой сложности
л>
Использование подмножеств языка
Принудительное применение строгой типизации
Использование защитных методов реализации
Использования установленных принципов проектирова
ния
Использование однозначного графического представле
ния
Использование руководства по стилю оформления про
граммной документации
Использованию соглашений об именовании
♦♦+♦+♦♦+
*’ Может потребоваться приемлемый компромисс данного подхода с другими методами в настоящем стандар-
те.
Ь| Целями метода 1Ь являются:
исключение неоднозначно определенных конструкций языка, которые могут быть по-разному
интерпретированы разработчиками моделей, программистами, генераторами кодов или компиляторами;
исключение конструкций языка, которые, как показывает опыт, легко приводят к ошибкам, например,
присвоения в условиях или идентичность имен локальных и глобальных переменных:
исключение конструкций языка, которые могут привести к необрабатываемым ошибкам во время
выполнения.
’’ Цель метода 1ссостоит в наложении принципов строгой типизации там, где они не присущи языку.
5.5 Результаты работы
5.5.1 План по обеспечению безопасности (уточненный)
В результате выполнения требований 5.4.1 - 5.4.7.
5.5.2 План верификации программного обеспечения
В результате выполнения требований 5.4.1 - 5.4.5 и 5.4.7.
5.5.3 Руководства по разработке и кодированию для языков моделирования и програм
мирования
В результате выполнения требований 5.4.6 и 5.4.7.
5.5.4 Руководства по применению инструментальных средств
В результате выполнения требований 5.4.5 и 5.4.6.
6 Спецификация требований безопасности к программному обеспечению
6.1 Цели
Первой целью данной подстадии является формирование спецификации требований безопас
ности к программному обеспечению. Они выводятся из технической концепции системы безопасности и
спецификации проекта системы.
Второй целью настоящего раздела является формирование подробных требований к програм
мно-аппаратному интерфейсу, спроектированного в соответствии с требованиями раздела 7 ИСО
26262-4.
Третьей целью является проверка согласованности требований безопасности к программному
обеспечению и требований к программно-аппаратному интерфейсу с технической концепцией систе мы
безопасности и спецификацией проекта системы.
6.2 Общие положения
Технические требования к системе безопасности распределяются для аппаратных средств и
программного обеспечения на стадии проектирования системы, представленной в разделе 7 ИСО
26262-4. Спецификация требований безопасности к программному обеспечению рассматривает огра
ничения аппаратных средств и влияние этих ограничений на программное обеспечение. Данная под-
стадия включает в себя спецификацию требований безопасности к программному обеспечению для
поддержки последующих стадий проектирования.
6