Войти

Запомнить

Регистрация

Лента
Топ
Теги
Новая

J. Abe 19 сентября 2018 8

Соответствует ли frama-c стандарту ISO 26262 для автомобильной промышленности?

0 голосов

J. Abe / 19 сентября 2018

Вопрос возникает потому, что мы хотим применить плагин frama-C «Анализ стоимости» в этой отрасли.

Frama-с

Пожалуйста, войдите или зарегистрируйтесь чтобы ответить на этот вопрос.

Ответы [ 0 ]

Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.

Похожие темы

Как проверить сортировку Shell в ACSL Frama-C?
Проблема не завершающей функции (без зависимостей)
Синтаксическая ошибка при попытке использовать индуктивный предикат
Ошибка пользователя ядра Frama-c: неверный глобальный инициализатор tmp?
Плагин EVA: как проверить добавочную стоимость в «temp = (volatile unsigned short *) add» через переменную temp
Время выполнения Frama-C и границы памяти кучи
Удовлетворяет ли Доказательство обязательств по memcpy?[Frama-С]
Как проверить код, который считывает / записывает в регистры отображения аппаратной памяти (mmio) с помощью плагина Eva frama-c или WP-RTE?
Как связать файлы .cma с моим собственным плагином Frama_C?
Почему плагин Eva из Frama-c возвращает неизвестное, когда фактически обнаружил контрпример к утверждению

...