Abstract:Modern user interfaces gro

Abstract:
Modern user interfaces grow more and more complex and cannot be possibly handled by the same software components in charge of the timely execution of safety-critical control tasks. Evidence Srl recently proposed a single-board dual-OS system aimed at combining the flexibility of the Linux general-purpose operating system, which is able to produce any complex user interface, and the reliability of the automotive-grade ERIKA Enterprise operating system, a small-footprint real-time OS suitable for safety-critical control tasks and able to execute commands triggered by Linux. The operating systems run on dedicated cores and, for efficiency reasons, they share memory with limited support for memory protection: although the system allows running two operating systems, from a safety certification point of view it suffers from the fact that safety-critical and non-safety-critical components should be isolated from each other. In this paper we present, as an improvement to the initial implementation, again a double-OS system running, on a dual-core platform, ERIKA Enterprise and a full-featured Linux OS, but using the Xen hypervisor to run the two operating systems in two isolated domains. In the proposed setup, each of the domains runs on a dedicated core, assigned statically by the hypervisorThe described system also provides a simple, safe communication mechanism between the two operating systems, based on Xen's inter-domain event notification primitives and explicit sharing of a dedicated set of memory pages by the real-time operating system

ผลลัพธ์ (ไทย) 1:

บทคัดย่อ:อินเทอร์เฟซผู้ใช้แบบใหม่เติบโตขึ้นและซับซ้อน และไม่อาจจัดการ โดยคอมโพเนนต์ซอฟต์แวร์เดียวกันรับผิดชอบการดำเนินการทันเวลาของงานการควบคุมความปลอดภัยที่สำคัญ หลักฐาน Srl เพิ่งเสนอคณะเดียวสอง OS ระบบมุ่งความยืดหยุ่นในการใช้งานทั่วไประบบปฏิบัติการ Linux ซึ่งสามารถสร้างส่วนติดต่อผู้ใช้ที่ซับซ้อน และความน่าเชื่อถือในระบบปฏิบัติการองค์กร ERIKA เกรดยานยนต์ เรียลไทม์ OS ขนาดเล็กเหมาะสำหรับงานควบคุมความปลอดภัยที่สำคัญ และสามารถที่จะดำเนินการคำสั่งที่ทริกเกอร์ โดย Linux เรียกใช้ระบบปฏิบัติการบนแกนเฉพาะ และ เหตุผลประสิทธิภาพ ที่มีแชร์หน่วยความจำการทำงานกับการสนับสนุนที่จำกัดสำหรับการป้องกันหน่วยความจำ: แม้ว่าระบบจะให้ทำงานสองระบบปฏิบัติการ ความปลอดภัยรับรองมอง มันทนทุกข์ทรมานจากความจริงที่สำคัญความปลอดภัย และไม่ปลอดภัยสำคัญคอมโพเนนต์ควรแยกจากกัน ในเอกสารนี้ เราปัจจุบัน เป็นการปรับปรุงการดำเนินงานเบื้องต้น อีกสอง OS ระบบการทำ งาน บนแพลตฟอร์มแบบ dual-core, ERIKA องค์กรและเต็มรูปแบบ Linux ระบบปฏิบัติการ แต่ใช้ Xen hypervisor เพื่อเรียกใช้ระบบปฏิบัติการที่สองในโดเมนแยกสอง ในการตั้งค่าการนำเสนอ แต่ละโดเมนรันบนแกนเฉพาะ กำหนดให้ statically hypervisorThe อธิบายระบบยังมีกลไกการสื่อสารที่ง่าย ปลอดภัยระหว่างสองระบบปฏิบัติการ ตามเครื่องมือแจ้งเตือนเหตุการณ์ระหว่างโดเมนของ Xen และชัดเจนร่วมกันโดยเฉพาะชุดของหน้าหน่วย โดยระบบปฏิบัติการแบบเรียลไทม์

ผลลัพธ์ (ไทย) 2:

บทคัดย่อ:
อินเตอร์เฟซผู้ใช้ที่ทันสมัยเติบโตมากขึ้นและซับซ้อนมากขึ้นและไม่สามารถจัดการอาจจะโดยส่วนประกอบซอฟต์แวร์เดียวกันในความดูแลของการดำเนินการทันเวลาของงานการควบคุมความปลอดภัยที่สำคัญ หลักฐาน Srl เสนอเร็ว ๆ นี้ซิงเกิ้ลบอร์ดแบบ dual-OS ระบบมุ่งเป้าไปที่การรวมความยืดหยุ่นของระบบปฏิบัติการวัตถุประสงค์ทั่วไปลินุกซ์ซึ่งสามารถผลิตอินเตอร์เฟซผู้ใช้ที่มีความซับซ้อนและความน่าเชื่อถือของยานยนต์เกรด ERIKA องค์กรระบบปฏิบัติการที่เป็น ขนาดเล็กกะทัดรัดแบบ real-time OS เหมาะสำหรับงานควบคุมความปลอดภัยที่สำคัญและสามารถที่จะดำเนินการคำสั่งเรียกโดยลินุกซ์ ระบบปฏิบัติการที่ทำงานบนแกนทุ่มเทและสำหรับเหตุผลที่มีประสิทธิภาพ, พวกเขาร่วมกันหน่วยความจำด้วยการสนับสนุนที่ จำกัด สำหรับการป้องกันหน่วยความจำ: แม้ว่าระบบช่วยให้การทำงานสองระบบปฏิบัติการจากจุดได้รับการรับรองความปลอดภัยของมุมมองของมันทนทุกข์ทรมานจากความจริงที่ว่าความปลอดภัยที่สำคัญและไม่ ส่วนประกอบ -safety ที่สำคัญควรจะแยกออกจากกัน ในบทความนี้เรานำเสนอเช่นการปรับปรุงการดำเนินงานที่เริ่มต้นอีกครั้งสองครั้ง OS ระบบการทำงานบนแพลตฟอร์มแบบ dual-core, ERIKA องค์กรและเต็มรูปแบบ Linux OS แต่การใช้ไฮเปอร์ไวเซอร์ Xen ในการเรียกใช้สองระบบปฏิบัติการ ในสองโดเมนบางแห่ง ในการตั้งค่าที่นำเสนอแต่ละโดเมนทำงานบนแกนทุ่มเท statically กำหนดโดย hypervisorThe อธิบายระบบนอกจากนี้ยังมีการที่ง่ายและกลไกการสื่อสารที่ปลอดภัยระหว่างสองระบบปฏิบัติการบนพื้นฐานของโดเมนระหว่างวิทยาการการแจ้งเตือนเหตุการณ์ Xen และใช้งานร่วมกันอย่างชัดเจนของ ชุดเฉพาะของหน้าเว็บของหน่วยความจำโดยระบบปฏิบัติการแบบ real-time

ผลลัพธ์ (ไทย) 3:

บทคัดย่อ :ส่วนติดต่อผู้ใช้ที่ทันสมัยเพิ่มมากขึ้นและซับซ้อนมากขึ้นและไม่สามารถจัดการได้โดยเดียวกันส่วนประกอบซอฟต์แวร์รับผิดชอบในการดำเนินการทันเวลาของความปลอดภัยที่สำคัญการควบคุมงาน หลักฐาน Srl เมื่อเร็ว ๆนี้เสนอบอร์ดเดี่ยวสอง OS ระบบโดยรวมมีความยืดหยุ่นของระบบปฏิบัติการลินุกซ์เอนกประสงค์ซึ่งสามารถผลิตผู้ใช้ใด ๆที่ซับซ้อนและความน่าเชื่อถือของรถยนต์เกรดเอริกะองค์กรระบบปฏิบัติการเวลาจริงระบบปฏิบัติการขนาดเล็กรอยเท้าเหมาะสำหรับตู้งานควบคุมวิกฤต และสามารถปฏิบัติตามคำสั่งเรียกโดยระบบปฏิบัติการ ระบบปฏิบัติการที่ใช้เฉพาะแกนและสำหรับเหตุผลประสิทธิภาพ พวกเขาแบ่งหน่วยความจำด้วยการสนับสนุน จำกัด เพื่อป้องกันหน่วยความจำ : ถึงแม้ว่าระบบจะอนุญาตให้วิ่งสองระบบปฏิบัติการจากการรับรองความปลอดภัยจุดของมุมมอง มันทนทุกข์ทรมานจากการที่มีความปลอดภัยและความปลอดภัยไม่ใช่ส่วนประกอบสำคัญควรแยกจากแต่ละอื่น ๆ ในกระดาษนี้เราปัจจุบันที่ปรับปรุงให้ใช้งานเริ่มต้น อีกสอง OS ระบบทำงานบนแพลตฟอร์ม Dual Core , เอริกะ องค์กรและระบบปฏิบัติการ Linux เต็ม แต่ใช้อินเทล ไฮเปอร์ไวเซอร์วิ่งสองระบบปฏิบัติการสองแยกโดเมน ในการนำเสนอการติดตั้งของแต่ละโดเมนจะได้รับเฉพาะส่วนหลัก โดย hypervisorthe อธิบายระบบให้ง่ายปลอดภัยกลไกการสื่อสารระหว่างสองระบบปฏิบัติการบนพื้นฐานของการพัฒนาระหว่างโดเมนการแจ้งเตือนเหตุการณ์ primitives และร่วมกันทุ่มเทชัดเจนของชุดของหน้าหน่วยความจำของระบบปฏิบัติการแบบเวลาจริง