seL4 on the RISC-V Rocket Chip Enables Virtualization for High Assurance Systems

Posted on October 3, 2022
Picture this: A company who specializes in high assurance embedded systems has a customer who needs a specific set of specifications for an embedded core. The market does not offer any cores that meet this spec, and the system will need to run several virtual machines for the customer’s application. Previously the smaller company only ... READ MORE

Best Practices for Applying Standards to Your Product Development

Posted on October 3, 2022
An essential part of the software development lifecycle consists of integrating best practices and compliance standards throughout the development of a system. Identifying the proper standards and understanding their impact is essential to building a stable, compliant, and secure system. The consequence of not integrating standards into your system means unsecure products will be released. ... READ MORE