The VxWorks MILS Platform from Wind River complies with the Separation Kernel Protection Profile (SKPP), which means this secure separation kernel is ready for use in security-critical systems that ...
Issued by the U.S. National Security Agency (NSA) in 2007, the Separation Kernel Protection Profile (SKPP) continues to be a cybersecurity guidepost for some in the avionics industry, while other ...
The latest EAL6+/SKPP certified version of INTEGRITY-178B now includes support for ARINC-653 APEX, advanced networking features, POSIX, and file system support. Green Hills Software continues its ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results