Краткое описание

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