Ada و SPARK تدخلان عالم تطوير السيارات: NVIDIA تشارك عملية الأمان مفتوحة المصدر
2025-06-04
تعاونت AdaCore و NVIDIA لإدخال لغتي البرمجة Ada و SPARK في سوق السيارات، ونشرتا عملية تطوير مرجعية مفتوحة المصدر تستند إلى معيار ISO 26262. يستخدم نظام التشغيل Drive من NVIDIA لغتي Ada و SPARK للمكونات الحرجة لتلبية أعلى مستويات شهادة الأمان في السيارات. تهدف هذه العملية مفتوحة المصدر إلى مساعدة الآخرين على اعتماد Ada و SPARK، مما يحسن من أمان وموثوقية برمجيات السيارات في مواجهة التعقيد المتزايد.
اقرأ المزيد
التطوير
أمان برمجيات السيارات