QNX Software Systems
175 Terence Matthews Crescent
Ottawa, Ontario
K2M 1W8
Canada
Phone: +1 613-591-0931
Fax: +1 613-591-3579
www.qnx.com
The QNX Neutrino Secure Kernel v6.4.0 was the subject of a Common Criteria evaluation performed by the Common Criteria Evaluation Facility at EWA-Canada, Ottawa, Canada. The evaluation was completed in March 2009.
The evaluation of the QNX Neutrino Secure Kernel v6.4.0 determined that this Information Technology product can be trusted, to an assurance level of EAL 4 augmented with ALC_FLR.1, to conform to the requirements of the associated security target.
The QNX Neutrino Secure Kernel v6.4.0 provides the microkernel for the QNX Neutrino Realtime Operating System. QNX Neutrino Secure Kernel v6.4.0 provides a memory protected microkernel architecture for reliable, scalable and realtime performance in embedded applications. The QNX Neutrino Secure Kernel v6.4.0 operates as a self-contained, protected microkernel within the QNX Neutrino RTOS. This allows the secure kernel to be used as a core system building block in a wide variety of operating system technologies.
In addition to its POSIX-compliant features, the QNX Neutrino Secure Kernel v6.4.0 implements an optional scheduling algorithm. The scheduling algorithm allows partitions to be created with a defined budget (percentage) of CPU cycles. Processes and threads are assigned to partitions and under conditions of heavy CPU load each partition is guaranteed to receive its assigned share of CPU cycles regardless of the priority of the processes/threads assigned to the partition. The scheduler is adaptive in that under normal load conditions unused CPU cycles from one partition are allocated to other partitions running processes/threads of higher priority.
The scope of this evaluation is defined by the security target, which identifies assumptions made during the evaluation, the intended environment for the QNX Neutrino Secure Kernel v6.4.0, the IT security requirements to be met and the level of confidence (evaluation assurance level) to which it is asserted that the QNX Neutrino Secure Kernel v6.4.0 satisfies its IT security requirements.
Consumers are advised to carefully review the certification report to gain an understanding of the security functionality, the tested configuration, FIPS validation details, and the intended operating environment for QNX Neutrino Secure Kernel v6.4.0.
Product Type: Operating Systems
Security Target:
* Accessibility Notice * Official Languages Notice