Комментарии 4
Вы упомянули стандарты, которые необходимые, но недостаточные, для разработки safety critical ПО. Хотелось бы услышать и про safety mechanism, которые должны быть интегрированы в ПО для достижение необходимого уровня SIL, например start up checks, memory protection, timing protection etc.
Стандарты достаточны для разработке такого ПО.
SIL, например start up checks, memory protection, timing protection etc.
В стандарте 61508 описаны что надо тестировать и различные методы проверок. Например, вот http://docs.cntd.ru/document/1200103242 приложения A и С
Вопрос правильный. Методы самодиагностики, как и другие программные методы и средства снижения риска, действительно, большая тема (скорее, темы).
Ну извините за мой стиль. Сказываются годы разработки формальных документов :)
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Особенности применения языков программирования С и С++ при разработке ПО, связанного с функциональной безопасностью