Global Sources
EE Times-India
 
EE Times-India > EDA/IP
 
 
EDA/IP  

LynxSecure 2.0 aims high-assurance systems

Posted: 27 Nov 2008     Print Version  Bookmark and Share

Keywords:separation kernel  embedded hypervisor  guest OS  high-assurance systems 

LynuxWorks Inc. has announced the availability of LynxSecure 2.0, a next-generation separation kernel and embedded hypervisor for high-assurance systems.

LynxSecure provides a standards-based, secure, multi-domain computational platform that serves as a foundation for applications with low-, medium- and high-assurance requirements that are all running concurrently on a single system. It allows legacy applications to run unmodified, enabling systems to be modernised with increased information sharing and security.

LynxSecure was designed from the ground up to minimise lifecycle costs (initial and tech refresh) of high-assurance evaluation, certification and accreditation by using automated tools and the correct-by-construction methodology for formal methods and artifacts. Automation provides dramatic schedule, cost and risk advantages over traditional brute-force approaches to formal methods used by other embedded software developers. LynxSecure's use of automated formal methods allows technology insertions to occur seamlessly, which significantly reduces the time to achieve a Common Criteria Evaluation Assurance Level 7 (EAL-7) evaluation and subsequent re-evaluations.

"LynxSecure is a Type-1 hypervisor, running directly on system hardware and providing platform virtualisation to the guest OS. This architecture provides near-native performance for the guest OS and superior security," said Arun Subbarao, LynuxWorks vice president of engineering.

LynxSecure 2.0 virtualises the underlying hardware to enable multiple, heterogeneous OS to coexist on the same platform, making it the ideal platform for advanced hardware architectures, says LynuxWorks. LynxSecure is optimised to take full advantage of Intel's Virtualisation Technology.

"Other solutions have provided emulation layers to run guest operating systems, but this slows system performance, which is unacceptable to our customers," says Arun Subbarao, vice president of engineering at LynuxWorks. "LynxSecure is a Type-1 hypervisor, running directly on system hardware and providing platform virtualisation to the guest OS. This architecture provides near-native performance for the guest OS and superior security, since LynxSecure has complete control of the hardware."

1 • 2 Next Page Last Page



Comment on "LynxSecure 2.0 aims high-assurance s..."
Comments:  
*  You can enter [0] more charecters.
*Verify code:
 
 
Webinars

Seminars

Visit Asia Webinars to learn about the latest in technology and get practical design tips.

 

Go to top             Connect on Facebook      Follow us on Twitter      Follow us on Orkut

 
Back to Top