การตรวจสอบระบบ: ออโตมาตะและพฤติกรรมเทียบเท่า

รายละเอียด

คุณเคยประสบปัญหาระบบซอฟต์แวร์ล้มเหลวหรือไม่? เว็บไซต์พังปฏิทินไม่ซิงโครไนซ์หรือแม้แต่ไฟดับ แน่นอนคุณมี! แต่คุณรู้หรือไม่ว่าข้อผิดพลาดเหล่านี้เป็นผลมาจากข้อผิดพลาดในการสื่อสารทั้งภายในระบบหรือระหว่างระบบ ขึ้นอยู่กับระบบผลกระทบของความล้มเหลวของซอฟต์แวร์อาจมีขนาดใหญ่มากส่งผลให้เกิดความเสียหายทางเศรษฐกิจครั้งใหญ่หรือการเสียชีวิต ซอฟต์แวร์และโดยเฉพาะอย่างยิ่งการสื่อสารระหว่างระบบที่ใช้ซอฟต์แวร์มากมีความซับซ้อนและยากที่จะทำให้ถูกต้อง อย่างไรก็ตามเรา _need_ เชื่อถือได้ในระบบที่เราใช้โดยตรงหรือโดยอ้อมเพื่อสนับสนุนเราในชีวิตประจำวันของเรา

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

หลักสูตรแรก 'Automata and Behavioral Equivalences' สร้างรากฐานของหลักสูตรต่อ ๆ ไปโดยแสดงให้คุณเห็นวิธีการมองพฤติกรรมของระบบในฐานะเครื่องจักรของรัฐ เนื้อหานี้กล่าวถึงความเท่าเทียมกันของพฤติกรรมและแสดงให้เห็นถึงสิ่งเหล่านี้ในตัวอย่างและแบบทดสอบต่างๆ หลักสูตรนี้จะอธิบายถึงระบบการเปลี่ยนแปลงที่มีป้ายกำกับหรือออโตมาตาเพื่อจำลองพฤติกรรมสำหรับระบบที่ควบคุมด้วยซอฟต์แวร์โดยเฉพาะ คำถามที่สำคัญคือเมื่อสองพฤติกรรมที่แสดงโดยออโตมาตานั้นเท่ากัน คำตอบสำหรับคำถามนี้ไม่ได้ตรงไปตรงมา แต่การเทียบเท่าที่เกิดขึ้นนั้นถูกใช้เป็นเครื่องมือที่มีประสิทธิภาพเพื่อลดความซับซ้อนของพฤติกรรมที่ซับซ้อน สิ่งนี้ช่วยให้เราตรวจสอบและทำความเข้าใจคุณสมบัติทางพฤติกรรมของระบบดังกล่าวได้อย่างแม่นยำ โดยเฉพาะอย่างยิ่งเมื่อใช้ร่วมกับการซ่อนพฤติกรรมการลดความเท่าเทียมกันเป็นเทคนิคเฉพาะเพื่อให้ได้ข้อมูลเชิงลึกเกี่ยวกับพฤติกรรมของระบบซึ่งมีประสิทธิภาพมากกว่าการจำลองหรือการทดสอบ การใช้ข้อมูลเชิงลึกนี้ทำให้โมเดลถูกต้อง โมเดลดังกล่าวเป็นพื้นฐานที่ยอดเยี่ยมสำหรับการผลิตซอฟต์แวร์ที่กระชับเชื่อถือได้และบำรุงรักษาได้

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