High Assurance Systems is a software technology company serving customers in the defense, government, and commercial sectors. We build solutions in computing platforms (virtualization, real-time, security, and safety), custom applications using a wide range of tools, model-driven architecture, data analysis, market analysis, document development, and project management.