Assurance Continuity - Green Hills Software INTEGRITY-178B Separation Kernel, comprising: INTEGRITY-178B Real Time Operating System (RTOS), version IN-ISP448-0100-SK_LMFWPCD2_Rel running on JSF PCD System Processor CCA, version 437140-007 with PowerPC, version 7448Date of Maintenance Completion: 31 July 2009 Product Type: Operating System Conformance Claim: EAL6 Augmented with PP Identifier: U.S. Government Protection Profile for Separation Kernels in Environments Requiring High Robustness, Version 1.03 Please note: These are for the Original Evaluated TOE; consequently, they do not refer to this maintained version, although they apply to the maintained version. Please note: This serves as an addendum to the VR for the Original Evaluated TOE Readers are reminded that the certification of this product (TOE) is the result of maintenance, rather than an actual re-evaluation of the product. Maintenance only considers the affect of TOE changes on the assurance baseline (i.e. the original evaluated TOE); maintenance is not intended to provide assurance in regard to the resistance of the TOE to new vulnerabilities or attack methods discovered since the date of the initial certificate. Such assurance can only be gained through re-evaluation. Using a security impact analysis of the changes made to the TOE, which was provided by the developer, the CCEVS has determined that the impact of changes on the TOE are considered minor and that independent evaluator analysis was not necessary. A summary of the results can be found in the Maintenance Report, which is written in relation to the product's original validation report and Security Target. Readers are therefore reminded to read the Security Target, Validation Report, and the Assurance Maintenance Report to fully understand the meaning of what a maintained certificate represents. PRODUCT DESCRIPTION
This maintenance activity consists of a functional and hardware platform modification to the Green Hills Software (GHS) INTEGRITY-178B Separation Kernel Operating System for the JSF Panoramic Cockpit Display. The software architecture (e.g. organization and responsibilities of each software component) was not modified. The modifications to the certified TOE had no impact on information flow between partitions. |
![[X]](/assets/images/button_close.gif){kind=small}
![[PDF]](http://www.niap-ccevs.org:80/assets/images/icon_pdf.gif){kind=icon}
