การ ทํา แบบ และ การ ทํา ให้ ระบบ ของ เรา สมบูรณ์ แบบ

ระบบปฏิบัติการแบบเรียลไทม์ (RTOS) จะถูกใช้งานในระบบซึ่งเวลามีวิกฤต การสังเกตว่างานตรงตามกําหนดเส้นตายของมันจําเป็นสําหรับระบบความน่าไว้ใจ บทความนี้พูดถึงวิธีการในการใช้งานจริง สําหรับการจําลองและวิเคราะห์เส้นตายใน RTOS เพื่อรองรับการตรวจสอบระบบ

การ เข้าใจ เส้น ตาย ใน ภาษา อาร์ โตส

ใน RTOS เส้นตายเป็นระยะเวลาสูงสุดที่อนุญาตให้ทํางานสําเร็จหลังจากที่มันทํางานเสร็จได้

วิธี การ จําลอง เส้น ตาย

มี การ ใช้ เทคนิค การ จําลอง หลาย อย่าง เพื่อ แสดง ถึง เส้น กําหนด ปลาย เส้น ผ่า ศูนย์กลาง ใน อาร์ โต ส.

• [FLT: 0]. แท็กกราฟ: การแสดงภาพของภารกิจที่ขึ้นกับเวลาและข้อจํากัด
• [FLT: 0] Timeing Teams: สาธิตงานและทําเสร็จตลอดช่วงเวลา
• [FLT: 0] รุ่น Formatal: เป็นตัวแทนคณิตศาสตร์อย่างเวลา หรือ tetrinet.

การ ตรวจ สอบ ความ ตาย ของ ระบบ

การวิเคราะห์เกี่ยวข้องกับการตรวจสอบว่างานสามารถกําหนดเส้นตายได้ภายใต้สถานการณ์ที่เลวร้ายที่สุดหรือไม่

• [FLT: 0] การวิเคราะห์ความจุ specultution expression: กําหนดว่างานทั้งหมดสามารถกําหนดให้ตรงตามกําหนดเส้นตายได้หรือไม่
• [FLT: 0] เปรียบเทียบ: รันระบบจําลอง เพื่อสังเกตพฤติกรรมเวลา
• [FLT: 0] การตรวจสอบการวางตัวตามเส้นตาย: ใช้หลักฐานทางคณิตศาสตร์เพื่อยืนยันการตรึงเส้นตาย (FLT:1).

การ พิจารณา ที่ ใช้ ได้ จริง

เครื่องมือ เช่น ผู้ จัด เวลา จริง และ โปรแกรม ตรวจ สอบ การ จัด เวลา ช่วย ใน การ กําหนด เวลา ของ ระบบ ให้ ถูก ต้อง.