Stateflow

Stateflow (من تطوير MathWorks ) هي أداة منطقية للتحكم تُستخدم لنمذجة الأنظمة التفاعلية عبر آلات الحالة ومخططات التدفق ضمن نموذج Simulink . تستخدم Stateflow صيغةً معدلةً من تدوين آلة الحالة المحدودة الذي وضعه ديفيد هاريل ، مما يُمكّن من تمثيل التسلسل الهرمي والتوازي والتاريخ ضمن مخطط الحالة. ^{[ 2 ] [ 3 ]} كما توفر Stateflow جداول انتقال الحالة وجداول الحقيقة .

يُستخدم Stateflow عمومًا لتحديد وحدة التحكم المنفصلة في نموذج النظام الهجين حيث يتم تحديد الديناميكيات المستمرة (أي سلوك النظام والبيئة) باستخدام Simulink. ^{[ 4 ] [ 5 ]}

تشمل التطبيقات المحددة لـ Stateflow ما يلي:

• منطق الأنماط ، حيث يتم تمثيل كل نمط منفصل للنظام بواسطة حالة ^{[ 6 ]}
• إدارة الأعطال ، حيث يتم استخدام مخطط Stateflow للتحكم في كيفية استجابة النظام للأعطال والفشل داخل النظام ^{[ 7 ].}
• جدولة المهام ، حيث يتم استخدام مخطط Stateflow لجدولة وقت حدوث مهام محددة، سواء داخل مخطط Stateflow أو داخل نموذج Simulink العام ^{[ 8 ].}

يمكن استخدام عدد من أدوات MathWorks وأدوات أخرى مع Stateflow للتحقق من صحة التصميم وإنشاء التعليمات البرمجية. على سبيل المثال، يمكن استخدام أداة Simulink Verification and Validation من MathWorks للتحقق من تتبع المتطلبات وتحليل تغطية النموذج. كما يمكن استخدام أدوات إضافية أخرى لإنشاء التعليمات البرمجية لإنشاء تعليمات برمجية بلغات C وC++ وHDL وPLC تلقائيًا لتنفيذها على الأنظمة المدمجة.