Обеспечение безопасности программного обеспечения в автомобильной промышленности

AdaCore, пионер движения за открытый исходный код, с самого начала ассоциировался с языком программирования Ada. В этом выпуске Expert Insights Квентин Очем, директор по продуктам и доходам AdaCore, рассказывает о способах обеспечения безопасности программного обеспечения в автомобильной промышленности и о том, как язык программирования Spark, который развился из Ada, хорошо подходит для соответствия международным стандартам. Он рассказывает о значении международных стандартов, таких как ISO 26262, для предотвращения отзывов, а также о различиях между статическим анализом и формальными методами поиска возможных ошибок в программном обеспечении. Для достижения наилучших результатов программное обеспечение должно разрабатываться с учетом принципов безопасности, надежности и формализма.