CodeSonar® is a leading static code analysis tool (SAST) provided by Grammatech.

It is used to analyse both source and binary code, allowing your teams to examine complete applications and eliminate defects early in the software development lifecycle.

It also identifies serious vulnerabilities that could lead to system failures, poor reliability, system breaches, or unsafe conditions.

CodeSonar® finds more significant defects than other tools through innovative concurrency analysis and tainted dataflow analysis.

Using CodeSonar® saves you time and money whilst maximising system integrity.

The use of Ada and SPARK languages and associated AdaCore tools provide a robust platform for systems requiring “high assurance” – a critical requirement in cyber security.
Ada provides strength in:

• Unambiguous syntax,
• Not requiring pointers,
• Strong typing and
• High-level concurrent programming features.

SPARK – a subset of Ada, enhances this list with:

• correct data usage,
• absence of run-time errors and
• functional correctness against formally specified requirements.

Optimised for autonomous and embedded systems, Connext DDS Secure provides a connectivity framework that allows you to design secure, robust and reliable systems without sacrificing real-time performance.

The use of decentralised, peer-to-peer communications for authentication, access control, encryption and logging provide optimum protection for mission-critical IoT environments which scale from edge to cloud, across systems and suppliers.

Connext DDS Secure utilises RTI Security Plugins, which support the OMG® DDS Security specification and enable forward compatibility. Combined with a robust, flexible set of security capabilities, the protection and defence of your systems is enhanced.

Core to an effective cyber security solution is an optimum server platform.

GMS provides the award winning CYCLONE S1U401-MD – a 1U Rugged Rack Mount Server with two Fully Isolated Domains, each with Intel® Xeon® E5, 10/40 Gigabit Ethernet and Quad Removable Drives.
This solution provides the highest level of server performance possible in a fully ruggedised, convection-cooled system, operating from -20° C to +75° C, combined with separated smart power supplies and optional hold-up APUs to assure full isolation.
The CYCLONE S1U401-MD architecture simplifies deployable MIL-SPEC technology for Multiple Independent Levels of Security (MILS), providing NSA Red/Black network separation or system redundancy, while integrating processing, storage and high speed I/O in a small, ultra-rugged enclosure with the greatest possible performance per dollar and per watt.

The recent acquisition of Star Labs by Wind River broadens its comprehensive software portfolio with a system protection and anti-tamper toolset for Linux, an open source–based hypervisor, and a secure boot solution for cyber resiliency.

The Titanium Security Suite offers the most robust Linux system-hardening and security capabilities available on the market today for operationally-deployed Linux systems.
Designed using a threat model that assumes an attacker will gain root access to your system, it maintains the integrity and confidentiality of critical data and configurations while assuring operations.