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

การตรวจสอบระบบ (4): ซอฟต์แวร์การสร้างแบบจำลองโปรโตคอลและพฤติกรรมอื่น ๆ

รายละเอียด

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

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

ÀÒÉÒ: English

คำบรรยาย: English

การตรวจสอบระบบ (4): ซอฟต์แวร์การสร้างแบบจำลองโปรโตคอลและพฤติกรรมอื่น ๆ - EIT Digital