في مقالات سابقة حول التصميم الموجه للنموذج كيف لا تتكرر تشيرنوبيل ، وهو محرك كهربائي بمحرك DC بدون فرش ، وإنشاء نموذج موثوق به ، باستخدام مثال مبادل حراري للطيران ، بينت مع أمثلة أنه ليست كل طرق التصميم الموجه للنموذج مفيدة بنفس القدر.
في بداية نشاطي الهندسي في الصناعة النووية ، اعتدت على حقيقة أن المرحلة الأولى من التصميم هي إنشاء نموذج كائن. نموذج المنشأة في الصناعة النووية هو جزء إلزامي من المشروع. تخضع أدوات محاكاة محطات الطاقة النووية للشهادة ، حيث يحدد الفحص قابليتها للتطبيق على النمذجة الحسابية لعمليات محطات الطاقة النووية. وإذا كان هناك نموذج للكائن ، فإن نموذج نظام التحكم يتم تطويره بشكل طبيعي معًا كنموذج معقد. هذا هو بالضبط ما أرى أنه أسلوب تصميم موجه نحو النموذج.
في رأيي ، فإن نمذجة نظام التحكم وحده دون إنشاء نموذج كائن معيب. لذلك ، عند الاستماع إلى قصص موردي برامج النمذجة لتطوير البرمجيات ، تحتاج إلى فهم ما يدور حوله: تقنيات تطوير أنظمة متقدمة جديدة أو تصميم موجه نحو النموذج في فهم معيار الطيران DO-331.
يجب أن نتذكر أن MOS في معايير الطيران تعكس نهجًا قديمًا ومحافظًا لتطوير البرامج الموجهة نحو النموذج. وفي هذا النهج ، حتى إذا كان النموذج الخاص بك مجرد مجموعة من مخططات UML حيث يتم جمع متطلبات البرامج ، فسيظل التصميم الموجه للنموذج من حيث DO-331.
«DO-331 Model based development for engineer and manager», Vance Hilderman (vance.hilderman@afuzion.com) Vance Hilderman www.afuzion.com
DO-331, , .
«DO-331 - », DO-178C DO-278A 125 - (odel_Based Development (MBD)) . , DO-331 : , - ?
: « ?» : « 100% .» ( , ). , , 100% . , , , , .
: , . , , . BD « » , .
, . , . , , , . , DO-331 MBD
?
, . NASA. , , . «» , , , , «» (hardware) . ( «hardware» , , «firmware», «complex electronic hardware» via DO-254). , , . , , , , , , . «-».
, DO-331 2011 ? . :
- . .
- . , .
- . .
- . Simulink SysML.
- = . .
- . .
- . .
, . , , , . . , , . , , . , ? , :
- DO-331 ;
- C ;
- ;
- DO-330;
- , , ;
- -;
- ;
- , .
? , – « ». .
-, DO-331 . , , .
-, , . IBM’s Rhapsody and Magic Draw .
-, , , – , , .
-, . ( , , ), , .
-, , .
, . , IBM’s Rhapsody, 20- , .
, , .
.
DO-178C, , : (high level requirements (HLR’s), (low-level requirements (LLR’s) . HLR’s LLR’s . DO-331 – , :
, HLR’s LLR’s. : – , . , . , , .
UML (user cases) , – UNL ( , ) . (LLR’s) . , .
DO-178C DO-331, , , , . «Harmony Process for Embedded Software» ( Real-Time Agility Real-Time UML Workshop for Embedded Systems 2nd Edition, Bruce Powel Powel Douglass). .
user case ( Dr. Bruce Douglass, IBM)
( Dr. Bruce Douglass, IBM)
( Dr. Bruce Douglass, IBM)
Simulink ( c Mr Eric Dillaber, Simulink Certification Manager)
, , , . DO-331 5 . 5 MB1 MB5.
, , . , , .
:
MB1 — , :
+ , .
- . (HLR) .
MB2 – :
+ , .
- .
MB3 – :
+ (HLR)
- , .
MB4 – . :
+ . .
- .
MB5 – . :
+ - (HLR), , .
- .
. .
. «, »: , . . ? . , :
? , .. , . , – , ( ), .
, , . UML , . «», /, , . - Test Conductor IBM Rhapsody’s .
– , . , DO-333 ( DO-178C DO-278A). , « » .
. ( )
– . . :
- ( )
- ( )
- الدقة والاكتمال
- التحقق
- خوارزميات العمل
ومع ذلك ، لا تهدف النمذجة إلى التحقق من الجوانب التالية:- توافق الحوسبة الهدف
- الالتزام
- التتبع
- سلامة الأجزاء
التحقق من النموذج والرمز.
يقدم ملف تعريف اختبار UML (www.omg.org) نهجًا قياسيًا لتحديد نصوص الاختبار وتنفيذها وتحليلها بلغة UML. وهذا يعني أنه يمكن الحصول على جميع مزايا النمذجة ليس فقط من نموذج المواصفات ونموذج التصميم ، ولكن أيضًا من أدوات التحقق لهذه النماذج.
Test Conductor IBM Rhapsody’s DO-178. , , .
.
, , . , , . , .
() , . :
بالطبع ، يمكن إجراء تتبع النموذج يدويًا ، ولكن أدوات النمذجة تحتوي على ميزات مدمجة لدعم وضمان التتبع
استنتاج
النمذجة هي أداة قوية تستخدم أكثر فأكثر في إلكترونيات الطيران. يوفر معيار DO-331 أساسًا لفهم مبادئ النمذجة ، باستخدام القوة الكاملة لتقنيات النمذجة ويصف طرقًا لإثبات صحة النموذج.