ГОСТ Р МЭК 60880—2010
57.4.4Должна быть подтверждена выявляемость во время деятельности по верификации потенци
альных средств преднамеренной модификации программного обеспечения, способных приводить к оши
бочному режиму работы с задержкой по времени или изменению параметров режима работы.
6 Требования к программному обеспечению
6.1 Спецификация требований к программному обеспечению
6.1.1 Требования к программному обеспечениюдолжны извлекаться из требований к системам безо
пасности. такие требования к программному обеспечению являются частью спецификации компьютерной
системы.
6.1.2 Требоеания кпрограммному обеспечению должны описывать то. что должно делать программ
ное обеспечение, а не то. кйк оно должно этоделать.
6.1.3 В требованиях к программному обеспечению должны указываться.
- прикладные функции, заложенные в программное обеспечение;
- различные типы поведения программного обеспечения и соответствующие условия перехода;
- интерфейсы и взаимодействия программного обеспечения со средой [например, с операторами,
остальными элементами СКУ, другими системами (если они существуют), с которыми оно взаимодейству ет
или разделяет ресурсы], включая роли. типы, форматы, диапазоны и ограничения на вводы и выводы
данных;
- параметры программного обеспечения, которые могут быть модифицированы вручную во время
операции (если существуют), их роли. типы, форматы, диапазоны и ограничения, а также проверки, кото
рыедолжно осуществлять программное обеспечение, если эти параметры изменяются;
- требования к параметрам программного обеспечения, в частности требования ко времени отклика;
- то. что программное обеспечение не должно делать или чего должно избегать (если это приме
нимо);
- требования к среде программного обеспечения илидопущения, принятые относительно этой среды;
- требования к пакетам стандартных программ (при их наличии).
6.1.4 Вследствие важностиданного этапа разработки программного обеспечения процессустановле
ния требованийдолжен быть строгим.
6.1.5 Спецификация требований к программному обеспечению должна быть такой, чтобы она могла
продемонстрироватьсогласованность с требованиями МЭК 61513.
Детализация требований, дополняющих спецификацию требований к программному обеспечению,
приведена в приложении А.
6.1.6 Должны быть описаны ограничения, связанные со взаимодействием между программным и
техническим обеспечением (см. А.2.1 приложения А).
6.1.7 В спецификации требований программного обеспечения должна быть ссылка на спецификацию
требований технического обеспечения для каждого влияющего элемента проекта технического обеспече
ния.
6.1.8 Специальные условия работы, такие как ввод станции в эксплуатацию, перегрузка топлива,
должны быть описаны вплоть до уровня программногообеспечения подверженной влиянию функции.
6.2 Самоконтроль
6.2.1 Программное обеспечение компьютерных систем должно контролировать техническое обеспе
чение во время работы в определенные промежутки времени, а также свое собственное поведение
(см. А.2.2 приложения А).
Программное обеспечение рассматривается в качестве фактора первостепенной важности для дос
тижения высокой надежности всей системы.
6.2.2 Те части памяти, которые содержат коды или постоянные данные, должны контролироваться
для обнаружения непредусмотренных изменений.
6.2.3 Самоконтроль программного обеспечения должен быть способней в практически выполнимых
пределах обнаруживать:
- случайные отказы компонентов технического обеспечения:
- ошибочное поведение программного обеспечения (например, отклонения от установленной работы
программы или установленных условий эксплуатации либо искажениеданных);
- ошибочную передачуданных между различными обрабатывающими устройствами.
13