จุดขายสำคัญของ HarmonyOS

3. มีความปลอดภัยสูง ตั้งแต่แกนระบบ จากการใช้ Microkernel

HarmonyOS ใช้สถาปัตยกรรม Microkernel แบบใหม่ล่าสุด ที่มีความปลอดภัยสูง และทำงานได้ลื่นไหลกว่าเดิม และช่วยให้การพัฒนาแกนระบบ (Kernel) ง่ายขึ้น เนื่องจาก Microkernel จะทำหน้าที่ในการพัฒนาแกนระบบให้สามารถรองรับการทำงานที่สำคัญได้ เช่น การกำหนดลำดับการทำงานของคำสั่งต่างๆ บนเธรด (Thread) และระบบ IPC

Microkernel ของระบบปฏิบัติการ HarmonyOS มีระบบการยืนยันแบบ Formal Verification ที่ทำงานบน Trusted Execution Environment (TEE) อันเป็นแนวคิดใหม่ของระบบความปลอดภัย และความน่าเชื่อถือของระบบ โดยระบบการยืนยันแบบ Formal Verification นั้นทำงานโดยอาศัยการสร้างโมเดลข้อมูลเพื่อตรวจสอบทุกส่วนของซอฟต์แวร์ และใช้กลไกทางคณิตศาสตร์เพื่อตรวจสอบความถูกต้องของระบบตั้งแต่แหล่งที่มา ซึ่งแตกต่างจากระบบการยืนยันแบบเดิม เช่น แบบ Functional Verification หรือ แบบ Attack Simulation ซึ่งไม่สามารถตรวจสอบความปลอดภัยได้อย่างเต็มรูปแบบ

HarmonyOS เป็นระบบปฏิบัติแรกที่มีระบบการยืนยันแบบ Formal Verification ที่ทำงานบน TEE ซึ่งยกระดับความปลอดภัยให้สูงขึ้นเป็นอย่างมาก เนื่องจากระบบปฏิบัติการนี้มีจำนวนบรรทัดของโค้ดที่ใช้ในการพัฒนาน้อยกว่าระบบปฏิบัติการอื่นๆ กล่าวคือระบบ Microkernel มีจำนวนบรรทัดโค้ดที่น้อยกว่าระบบปฏิบัติการที่พัฒนาจาก Linuxkernel ถึง 1 ต่อ 1,000 ทำให้ HarmonyOS มีช่องโหว่ของระบบน้อยกว่าระบบปฏิบัติการอื่นเป็นอย่างมาก

Share the Post: