Существует ли сертифицированная (ISO 26262 или аналогичная) стандартная библиотека C++?

Question

Хотя сертифицированные наборы инструментов C++ (компилятор и т. Д.) Существуют, я не нашел ни одной сертифицированной стандартной библиотеки C++ (STL).

Кто-нибудь знает, кто-то предоставляет это?

Answer 1

Сертификация требует строгого соблюдения стандартов ISO26262 и ASPICE, что означает написание всей документации от системы до уровня устройства, а также тесты на всех уровнях параллельно с документацией (см. Модель V в ISO26262). Кроме того, это потребовало бы обоснования безопасности для STL как "элемента безопасности вне контекста", что потребовало бы изобретения предположений об использовании всех частей библиотеки и создания руководства по безопасности для пользователя, которое потребует использования библиотеки только по назначению. Это на порядок увеличит стоимость разработки, и тогда рынок для этого будет отсутствовать, поскольку его использование потребует написания настраиваемого диспетчера памяти, который будет выделять память из статически выделенного пространства, а затем анализировать полное приложение, чтобы убедиться, что оно будет новее. требуется больше памяти, чем это заранее выделенное количество, что было бы серьезным мероприятием,поэтому сертифицированный STL теоретически может существовать, но указанные причины, вероятно, помешают его развитию.