تارجت لينك
TargetLink هو برنامج لتوليد التعليمات البرمجية تلقائيًا، يعتمد على مجموعة فرعية من نماذج Simulink / Stateflow ، من إنتاج شركة dSPACE GmbH . يتطلب TargetLink وجود نموذج MATLAB / Simulink مُسبقًا للعمل عليه. يُولّد TargetLink تعليمات برمجية بلغة ANSI-C وتعليمات برمجية مُحسّنة لمعالجات مُحددة. كما يدعم توليد تعليمات برمجية مُتوافقة مع معيار AUTOSAR لمكونات برمجية خاصة بقطاع السيارات. تتم إدارة جميع المعلومات ذات الصلة بتوليد التعليمات البرمجية في حاوية بيانات مركزية تُسمى قاموس البيانات.
يتم اختبار الكود المُولّد في برنامج Simulink، الذي يُستخدم أيضًا لتحديد نماذج المحاكاة الأساسية. يدعم TargetLink ثلاثة أوضاع محاكاة لاختبار الكود المُولّد:
- محاكاة النموذج في الحلقة (MIL): يتيح هذا النمط التحقق من تصميم النموذج. تُعرف محاكاة النموذج في الحلقة أيضًا باسم محاكاة الفاصلة العائمة، نظرًا لأن المتغيرات عادةً ما تكون متغيرات فاصلة عائمة.
- المحاكاة البرمجية في الحلقة (SIL): تعتمد هذه المحاكاة على تنفيذ التعليمات البرمجية المولدة، والتي تعمل على نظام حاسوب شخصي. وتكون المتغيرات عادةً أعدادًا عادية أو أعدادًا ذات فاصلة ثابتة.
- المعالجة في الحلقة (PIL): في محاكاة PIL، يتم تشغيل الكود المُولّد على الجهاز المستهدف أو على لوحة تقييم. يتم تضمين ما يُسمى بإطارات الوقت الحقيقي، مما يُتيح نقل نتائج المحاكاة، بالإضافة إلى معلومات استهلاك الذاكرة ووقت التشغيل، إلى الحاسوب الشخصي.
نشرت جمعية موثوقية برمجيات صناعة السيارات (MISRA) إرشادات نمذجة MISRA الرسمية لبرنامج TargetLink في أواخر عام 2007، [ 1 ] وهي إرشادات بالغة الأهمية لضمان السلامة الوظيفية للتطبيقات الحساسة للسلامة. وفي عام 2009، منحت TÜV SÜD شهادة اعتماد لبرنامج TargetLink لاستخدامه في تطوير الأنظمة الحساسة للسلامة وفقًا لمعياري ISO DIS 26262 وIEC 61508.
مراجع
مصادر
- لمحة عامة عن تعليم تصميم الأنظمة المدمجة في بيركلي
- منتدى MISRA Autocode - تجربة عملية لاستخدام مجموعة فرعية من نماذج TargetLink في الأعمال المتعلقة بالسلامة
- العمل مع نماذج TargetLink في Reactis
روابط خارجية
- أدوات البرمجة
