سيمولينك

سيمولينك بيئة برمجة رسومية مبنية على MATLAB ، تُستخدم لنمذجة ومحاكاة وتحليل الأنظمة الديناميكية متعددة المجالات . تتمثل واجهتها الرئيسية في أداة رسم تخطيطي رسومي ومجموعة مكتبات كتل قابلة للتخصيص . توفر سيمولينك تكاملاً سلساً مع بيئة MATLAB ، ويمكنها تشغيل MATLAB مباشرةً أو استخدامها لكتابة البرامج النصية. تُستخدم سيمولينك على نطاق واسع في التحكم الآلي ومعالجة الإشارات الرقمية لمحاكاة الأنظمة متعددة المجالات والتصميم القائم على النماذج . ^{[ 3 ] [ 4 ]}

يمكن استخدام منتجات MathWorks وغيرها من منتجات الأجهزة والبرامج التابعة لجهات خارجية مع Simulink. على سبيل المثال، يُوسّع Stateflow بيئة تصميم Simulink لتطوير آلات الحالة ومخططات التدفق . أما Simscape فهو منتج إضافي يُوسّع Simulink بدعم النمذجة الفيزيائية. طوّرته MathWorks، وهو يُتيح نمذجة ومحاكاة الأنظمة الفيزيائية متعددة المجالات من خلال ربط المكونات الفيزيائية التي تُمثّل تفاعلاتها مجالات مثل الأنظمة الكهربائية والميكانيكية والحرارية وأنظمة السوائل. ^{[ 5 ]} يمكن دمج نماذج Simscape مع مخططات Simulink القياسية، مما يسمح بمحاكاة الأنظمة التي تربط الديناميكيات الفيزيائية بخوارزميات التحكم والمكونات القائمة على الإشارات. عند دمجه مع منتج آخر من منتجاتها، ^{[ 6 ]} يستطيع Simulink توليد شفرة مصدرية بلغة C تلقائيًا لتنفيذ الأنظمة في الوقت الفعلي . مع تحسّن كفاءة الشفرة ومرونتها، أصبح استخدامها أكثر شيوعًا في أنظمة الإنتاج، ^{[ 7 ] [ 8 ]} بالإضافة إلى كونه أداةً لتصميم الأنظمة المدمجة نظرًا لمرونته وقدرته على التكرار السريع . يُنشئ برنامج Embedded Coder شفرة برمجية فعّالة بما يكفي لاستخدامها في الأنظمة المدمجة. ^{[ 9 ] [ 10 ] [ 11 ]}

يُعدّ برنامج Simulink Real-Time (المعروف سابقًا باسم xPC Target)، إلى جانب أنظمة الوقت الحقيقي القائمة على معالجات x86، بيئةً لمحاكاة واختبار نماذج Simulink وStateflow في الوقت الحقيقي على النظام الفعلي. كما يدعم منتج آخر من MathWorks ^{[ 12 ]} أهدافًا مضمنة محددة. عند استخدامه مع منتجات عامة أخرى ^{[ 13 ]} ، يُمكن لبرنامجي Simulink و Stateflow توليد أكواد VHDL و Verilog قابلة للتوليف تلقائيًا .

تُمكّن خاصية التحقق والتحقق من صحة النماذج في Simulink من التحقق المنهجي من صحة النماذج من خلال فحص أسلوب النمذجة، وتتبع المتطلبات ، وتحليل تغطية النموذج. يستخدم مُدقّق تصميم Simulink أساليب رسمية لتحديد أخطاء التصميم مثل تجاوز سعة الأعداد الصحيحة ، والقسمة على صفر ، والمنطق غير المُستخدم، ويُنشئ سيناريوهات حالات اختبار للتحقق من النموذج داخل بيئة Simulink.

تُستخدم SimEvents لإضافة مكتبة من اللبنات الرسومية لنمذجة أنظمة الانتظار إلى بيئة Simulink، ولإضافة محرك محاكاة قائم على الأحداث إلى محرك المحاكاة القائم على الوقت في Simulink. ^{[ 14 ]}

• قائمة برامج هندسة الطيران والفضاء

• الموقع الرسمي