Компания AdaCore, производитель средств разработки и верификации ПО критически важных для безопасности встраиваемых систем, внесла свой вклад в поддержку архитектуры RISC-V, выпустив компиляторы для языков C и Ada, а также для языка SPARK – подмножества языка Ada, позволяющего проводить формальную верификацию. Компиляторы AdaCore GNAT Pro сопровождаются документацией для сертификации по стандартам функциональной безопасности DO-178C (авионика), МЭК 61508 (промышленные системы управления), EN 50128 (железнодорожные системы) и ISO 26262 (автоэлектроника). Компиляторы GNAT Pro поддерживают ...
Японская корпорация JTEKT, производитель систем усиления рулевого управления, выбрала язык программирования SPARK и инструментальные средства компании AdaCore для разработки и верификации критического для безопасности ПО, сертифицируемого по стандарту ISO 26262. В автономных транспортных средствах система рулевого управления должна взаимодействовать с другими системами, например с системой контроля полосы движения, и ее программное обеспечение имеет наивысший уровень критичности для безопасности – ASIL D (Automotive Safety Integrity Level) стандарта ISO 26262.
Тестирование ПО показывает ... 