ОСТ 32.78-97 Безопасность железнодорожной автоматики и телемеханики. Безопасность программного обеспечения

Безопасность ПО

(Safety of software)

- свойство ПО с заданной вероятностью исключать переход системы в опасное состояние в результате ошибок ПО, искажения данных, отказов и сбоев аппаратных средств.

Экспертиза безопасности ПО

(Software safety verification)

- процесс, направленный на определение соответствия ПО требованиям безопасности.

Корректность ПО

(Software correctes)

- соответствие ПО предъявляемой к нему системе требований, характеристик и правил.

Полнота ПО

(Software completeness)

- достаточность реализации ПО для обеспечения функциональных и системных требований.

Функциональные испытания ПО

(Operating test Software)

- испытания для проверки полноты и корректности решения функциональных задач при типовых условиях эксплуатации и исправных технических средствах.

Архитектура ПО

(Software architecture)

концепция, определяющая структуру ПО, компоненты, отношения, в которых они находятся, и условия их реализации при заданных требованиях эффективности и безопасности.

Жизненный цикл ПО

(Software life-cycle)

- период существования ПО, исчисляемый от возникновения потребности в ПО до прекращения его эксплуатации.

Доказательство безопасности ПО

(Proof safety of the software)

- обоснование и подтверждение эффективности используемых организационных, программных и технических решений, направленных на достижение установленного в ТЗ уровня безопасности ПО.

Подтверждение корректности ПО

(Validation of software correct)

- процесс последовательной реализации комплекса проверок и испытаний ПО с целью получения гарантий его соответствия установленным в нормативной документации функциональным и системным требованиям.

Подтверждение безопасного функционирования

(Validation of safety operation)

- комплекс испытаний ПО, направленных на подтверждение безопасного функционирования ПО при возникновении заданного класса отказов технических средств и нормативных значениях внешних воздействий.