เครือข่ายมหาวิทยาลัย

การตรวจสอบระบบ (2): พฤติกรรมของแบบจำลองกระบวนการ

รายละเอียด

การตรวจสอบระบบเป็นสาขาที่ศึกษาพื้นฐานของการสื่อสารระบบและการประมวลผลข้อมูล เป็นขั้นตอนต่อไปในเชิงตรรกะของวิทยาการคอมพิวเตอร์และการปรับปรุงการพัฒนาซอฟต์แวร์โดยทั่วไป ช่วยให้การวิเคราะห์อัตโนมัติตามแบบจำลองพฤติกรรมของระบบเพื่อดูว่าระบบทำงานอย่างถูกต้องหรือไม่ เราต้องการรับประกันว่าระบบต่างๆทำในสิ่งที่ควรจะทำ เทคนิคที่นำมาใช้ในการตรวจสอบความถูกต้องของระบบช่วยให้สามารถพิสูจน์ได้ว่าไม่มีข้อผิดพลาด ช่วยให้สามารถออกแบบพฤติกรรมของระบบฝังตัวที่มีโครงสร้างที่ดีและเป็นผลข้างเคียงที่บังคับให้คุณทำพฤติกรรมที่เรียบง่ายและมีข้อมูลเชิงลึก ซึ่งหมายความว่าระบบต่างๆไม่เพียง แต่ทำงานได้อย่างถูกต้องเท่านั้น แต่ยังดูแลรักษาและปรับเปลี่ยนได้ง่ายกว่ามากด้วย 'Model process behavior' คือการติดตาม MOOC ไปที่ 'Automata and behavior equivalences' MOOC นี้แสดงวิธีการสร้างแบบจำลองพฤติกรรมของกระบวนการโดยเฉพาะโปรโตคอลและอัลกอริทึมแบบกระจายเจาะลึกลงไปในคุณสมบัติของพฤติกรรมของระบบและทำให้สิ่งต่างๆง่ายขึ้นเพื่อหลีกเลี่ยงการระเบิดของพื้นที่สถานะ อ่านเนื้อหา JF Groote และ MR Mousavi การสร้างแบบจำลองและการวิเคราะห์ระบบการสื่อสาร สำนักพิมพ์ MIT, 2014

หลักสูตรนี้เป็นส่วนที่ 2 ของชุดวิชาสำหรับการตรวจสอบระบบ การตรวจสอบระบบเป็นชุดของหลักสูตรเป็นส่วนหนึ่งของโปรแกรมออนไลน์ EIT Digital ขนาดใหญ่ที่เรียกว่า 'Internet of Things through Embedded Systems'

ราคา: ลงทะเบียนฟรี!

ÀÒÉÒ: English

คำบรรยาย: English

การตรวจสอบระบบ (2): พฤติกรรมของแบบจำลองกระบวนการ - EIT Digital