การไหลของสถานะ
ตรรกะควบคุมสำหรับระบบเกียร์อัตโนมัติ
นักพัฒนา	แมธเวิร์คส์
เวอร์ชันเสถียร	R2018b / 12 กันยายน 2018 ( 12 กันยายน 2018 )
รุ่นทดลองใช้งาน	R2018b / 14 มิถุนายน 2018 ( 14 มิถุนายน 2018 )
ระบบปฏิบัติการ	Windows , macOS , Linux [ 1 ]
แพลตฟอร์ม	x64
พิมพ์	ซอฟต์แวร์แอปพลิเคชัน
ใบอนุญาต	กรรมสิทธิ์
เว็บไซต์	หน้าผลิตภัณฑ์ Stateflow

Stateflow (พัฒนาโดยMathWorks ) เป็นเครื่องมือตรรกะควบคุมที่ใช้ในการจำลองระบบปฏิกิริยาผ่านเครื่องสถานะและแผนผังการไหลภายใน แบบจำลอง Simulink Stateflow ใช้รูปแบบหนึ่งของ สัญกรณ์ เครื่องสถานะจำกัดที่กำหนดโดยDavid Harelซึ่งช่วยให้สามารถแสดงลำดับชั้น การทำงานแบบขนาน และประวัติภายในแผนผังสถานะได้^{[ 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 โดยอัตโนมัติเพื่อนำไปใช้งานบนระบบฝังตัวได้