أعلنت شركة AdaCore، المتخصصة في أدوات البرمجيات عالية الجودة، عن دخولها سوق السيارات من خلال تقديم لغتي البرمجة Ada و SPARK. هذا التعاون مع شريكها NVIDIA يأتي في وقت تتحول فيه قيمة الصناعة السيارات من المكونات الميكانيكية إلى الخصائص البرمجية، مما يجعل تحقيق السلامة البرمجية من التحديات الأكثر حيوية في تطوير السيارات الحديثة. طورت NVIDIA نظام التشغيل Drive® OS والystack البرمجي المرتبط به، المصمم خصيصاً لتطوير وتوزيع تطبيقات السيارات ذاتية القيادة التي تعمل على معدات DRIVE AGX. يشمل هذا النظام مكونات برمجية تتوافق مع أعلى مستويات سلامة معيار ISO-26262 للسيارات. لتحقيق هذه المعايير العالية، اختارت NVIDIA لغتي Ada و SPARK لتطوير بعض المكونات الأكثر حساسية في ystack البرمجي الخاص بها. هذا الاختيار استلزم إنشاء عملية تطوير تعتمد على الأساليب الرسمية وغيرها من خصائص السلامة المميزة لكلتا اللغتين، مما مكّن من الاستفادة القصوى من قدراتهما. قررت AdaCore و NVIDIA نشر هذه العملية المرجعية بشكل حر ومفتوح المصدر، كوثيقة قابلة للتطور، لتمكين الصناعة الكبرى من تبني لغتي Ada و SPARK. يمكن للمهتمين استخدام أو تعديل هذه العملية المرجعية بحرية، وهي متاحة عبر الرابط https://nvidia.github.io/spark-process/. يقول كونتين أوشام، رئيس المنتجات والإيرادات لدى AdaCore: "مع تحول قيمة الصناعة السيارات بشكل متزايد نحو الخصائص البرمجية، أصبح تحقيق السلامة البرمجية من التحديات الأكثر حيوية في تطوير السيارات الحديثة. تظهر NVIDIA قيادة فنية مذهلة في هذا المجال من خلال إدخال لغتي Ada و SPARK إلى عملية التطوير الخاصة بها والسماح للبقية باتباع مسارها." تتخذ AdaCore موقفاً رائداً في توفير الأدوات اللازمة لتطوير البرمجيات الموثوقة والآمنة والآمنة. منذ أكثر من 30 عاماً، تدعم الشركة وتقدم سلاسل أدوات مفتوحة المصدر للغات ذات صلة بتطبيقات السلامة الحرجة، مثل Ada/SPARK، C/C++، وRust. يتم تصميم سلاسل الأدوات هذه لمواجهة أصعب المعايير، مما يتيح للمطورين التركيز على كودهم وتحقيق أهدافهم في الحصول على الشهادات. تدعم AdaCore الصناعات ذات السلامة الحرجة من خلال تقديم تأهيل ystack التجميع والتحليل، بالإضافة إلى الأدلة اللازمة للامتثال للمعايير الصناعية. من خلال التزامها بتقديم الدعم على المدى الطويل، تضمن AdaCore استمرارية وموثوقية سلاسل أدواتها لعقود. يمكن الاطلاع على المزيد عن AdaCore عبر الرابط https://www.adacore.com/.