ACM SIGAda’s High Integrity Language Technology
International Workshop on
Cyber-Security Interaction with High Integrity
AdaCore provides tools and expertise for the development of mission-critical, safety-critical, and security-critical software. AdaCore’s flagship products are the GNAT Pro development environment, the CodePeer advanced static analysis tool for Ada, and the SPARK Pro toolset. GNAT Pro supports all versions of the Ada language including Ada 2012 and provides an extensive toolsuite including the GPS (GNAT Programming Studio) and GNATbench IDEs, a visual debugger, a coding standard checker, and much more.
GNAT Pro is available for a wide variety of commercial OSes, RTOSes, and bareboard configurations, with two editions particularly suited for high-assurance applications: GNAT Pro Safety-Critical and GNAT Pro High-Security. These specialized products support development of systems that must comply with domain-specific safety standards such as DO-178B/C (avionics) and EN50128 (railway), and the Common Criteria security standard. Both environments work effectively with AdaCore’s SPARK Pro product where formal methods may be appropriate.
At GrammaTech, we help our customers, partners, and government sponsors solve the most challenging software issues of today and tomorrow, safeguarding embedded mission-critical devices from failure and cyber attack. With our security-first software design philosophy, you can rely on GrammaTech to help you design, develop, and deploy trusted software applications – minimizing corporate risks and maximizing your competitive position.