لغة تحليل وتصميم البنية

لغة تحليل وتصميم البنية ( AADL ) هي لغة وصف معمارية موحدة من قبل جمعية مهندسي السيارات (SAE) . ^{[ 1 ]} طُوّرت AADL لأول مرة في مجال إلكترونيات الطيران ، وكانت تُعرف سابقًا باسم لغة وصف بنية إلكترونيات الطيران . ^{[ 2 ]} وقد مُوّلت جزئيًا من قبل الجيش الأمريكي.

لغة تحليل وتصميم البنية (AADL ) مشتقة من MetaH، وهي لغة وصف بنية طورتها وحدة التكنولوجيا المتقدمة في شركة هانيويل . تُستخدم AADL لنمذجة بنية البرمجيات والأجهزة لأنظمة مضمنة تعمل في الوقت الحقيقي . ونظرًا لتركيزها على مجال الأنظمة المضمنة ، تحتوي AADL على بنيات لنمذجة كلٍ من مكونات البرمجيات والأجهزة (حيث تُسمى مكونات الأجهزة "مكونات منصة التنفيذ" ضمن المعيار). ويمكن استخدام نموذج البنية هذا إما كوثيقة تصميم، أو لإجراء تحليلات (مثل جدولة المهام والتحكم في التدفق)، أو لتوليد التعليمات البرمجية (للجزء البرمجي)، كما هو الحال في لغة النمذجة الموحدة (UML ) . ^{[ 3 ] [ 4 ]}

تُعرَّف لغة AADL بلغة أساسية ذات ترميز موحد لكل من جوانب النظام والبرمجيات. يُسهِّل وجود نموذج واحد أدوات التحليل من خلال وجود تمثيل واحد فقط للنظام. تُحدِّد اللغة خصائص النظام باستخدام الخصائص.

يمكن توسيع اللغة باستخدام الطرق التالية:

• الخصائص المُعرَّفة من قِبل المستخدم : يمكن للمستخدمين توسيع مجموعة الخصائص المتاحة وإضافة خصائصهم الخاصة لتحديد متطلباتهم.
• ملحقات اللغة : تُعزز اللغة الأساسية بلغات ملحقة تُثري وصف البنية. حتى الآن، تم تعريف الملحقات التالية:
  • ملحق السلوك: إضافة سلوك المكونات باستخدام آلات الحالة
  • ملحق نموذج الخطأ: يحدد مشاكل العطل وانتشاره
  • الملحق ARINC653: يحدد أنماط النمذجة لأنظمة إلكترونيات الطيران
  • ملحق نموذج البيانات: يصف نمذجة قيود البيانات المحددة باستخدام لغة AADL

يدعم AADL مجموعة واسعة من الأدوات:

• MASIW - هي بيئة تطوير متكاملة مفتوحة المصدر تعتمد على Eclipse لتطوير وتحليل نماذج AADL. تم تطويرها بواسطة ISP RAS
• OSATE هي أداة مفتوحة المصدر تتضمن منصة نمذجة، وعارضًا رسوميًا، ولغة استعلام عن القيود. للمزيد من المعلومات، يُرجى زيارة موقع OSATE الإلكتروني .
• أوكارينا، وهي سلسلة أدوات AADL لتوليد التعليمات البرمجية من النماذج
• مجموعة أدوات TASTE ، المدعومة من وكالة الفضاء الأوروبية

يمكن الاطلاع على قائمة كاملة بمجموعة الأدوات على موقع ويكي AADL العام

تم استخدام برنامج AADL في مشاريع البحث التالية:

• AVSI/SAVI : مبادرة تستفيد من لغة AADL (من بين لغات أخرى) لإجراء التكامل الافتراضي لأنظمة الفضاء والدفاع
• ميتا : مشروع داربا لتحسين أساليب هندسة البرمجيات
• بارسيك: مبادرة فرنسية للتحقق من صحة أنظمة إلكترونيات الطيران وتنفيذها انطلاقاً من نماذج معمارية
• TASTE: منصة لتصميم أنظمة بالغة الأهمية للسلامة انطلاقاً من النماذج

لا يمكن العثور على قائمة كاملة بالمشاريع/المبادرات السابقة والحالية على موقع ويكي AADL العام لأنه تم إيقافه. ولم يتم توفير بديل له حتى ديسمبر 2020.

• AADL.info
• ويكي AADL العام
• أدوات AADL
• مكتبة AADL في Axlog
• AADL في المدرسة الوطنية العليا للاتصالات السلكية واللاسلكية في باريس (ENST) أرشفة 2006-11-27 في آلة Wayback.
• تحليل أداء مكتبة AADL باستخدام برنامج Cheddar، جامعة بريست (تحليل نظام الجدولة والانتظار في الوقت الفعلي). مؤرشف بتاريخ ٢٨ فبراير ٢٠١١ في أرشيف الإنترنت (Wayback Machine).
• دعم المشاريع الصناعية باستخدام Stood for AADL
• كتاب "AADL In Practice" مخصص لاستخدام اللغات وأدوات النمذجة ذات الصلة.