VVB (27.05.2016 11:13, просмотров: 119) ответил Алехин Александр на есть еще вариант вообще послать их с требованиями к ПО. Кто вообще сказал что стимулятор содержит программное обеспечение? :)
А что, заказная БИС не имеет языка программирования? И не забывайте, что любые сторонние исходные коды и/или объектные файлы и/или библиотеки так же должны учитываться в управлении рисками. Например, порт SafeRTOS для одного типа микроконтроллера, привязанный к конкретной среде проектирования, стоит 79 тысяч евро. Что позволяет конечному изготовителю программно-аппаратного комплекса сэкономить на тестировании её исходников, если имеются такие требования к разработке (обычно такие требования предъявляют американские военные, авионика, космос, системы жизнеобеспечения, критические системы безопасности). Иначе можно использовать FreeRTOS и писать тесты, доказывающие её корректную работу, самим, сдавать на сертификацию и надеяться, что прокатит.
libc то же самое. Используете функции стандартной библиотеки -- извольте доказать правильность их работы. Для newlib/libgloss -- тестировать самим. Ucos, к примеру, имеет в своём составе некоторый аналог libc, сертифицированный тем же образом, как и usos.
В России это всё в новинку, даже общества экспертов нет (и не будет, при выбранной модели развития России и уничтожении производства). Проще продать нефть и купить втридорога сложное изделие, разработанное по описанной мною схеме, за рубежом.
Я пока что не до конца представляю требования сертифицирующих органов для критических систем.