Анализ требований по отказобезопасности для программного обеспечения

Верификация и валидация требований

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

Большинство ошибок вытекают из того, что код не был задуман так, чтобы иметь дело с определенными (обычно редкими) событиями - условиями и входными данными. Более того, эти требования содержат стратегии смягчения последствий отказов. Для серьезных отказов требуются различные стратегии смягчения последствий отказов. Верификация и валидация требований по безопасности фокусируются на этих типах упущений.

Чтобы выполнить обзор требований, которые фокусируются на аспектах кода, критичных для безопасности, ALD требуются следующие данные разработки:

• Архитектура системы
• Документы с полными требованиями к системе
• Анализ опасностей системы и/или анализ деревьев отказов (FTA)

Чтобы получить более подробную информацию о программном обеспечении ALD по надежности и безопасности, Вы можете написать нам по следующему адресу - This email address is being protected from spambots. You need JavaScript enabled to view it.