Представлен фреймворк EAST, который переводит задокументированные данные об опасностях в исполняемые тесты с внедрением сбоев по восприятию, инструкциям, среде, действиям и времени. Он объединяет экспертно проверенную таксономию отказов и восемь исполняемых операторов с ограничениями применимости и корректности. Подход исходит из того, что успешное выполнение задачи само по себе не гарантирует соблюдения требований безопасности.
Даёт систематический путь от описания рисков к проверяемым сценариям, что полезно для испытаний автономных систем на моделях.
Перевод и краткое изложение — машинные, по материалам источника. Полный текст статьи не републикуется; права на него принадлежат источнику.
