Back to Top

Products

Polyspace

image of C++ code

Polyspace Code Prover performs code verification of C and C++ embedded software that must operate at the highest levels of quality and safety. It uses a formal methods technique called abstract interpretation to produce sound verification results. Polyspace Code Prover identifies where run-time errors may occur and code that is proven to be safe from run-time errors. You use Polyspace Code Prover as part of a high quality assurance process to exhaustively verify all inputs, paths, and variable values.

Trillium Compact

Seismograph- Trillium Compact

The Trillium Compact Exploration has been designed for rapid and repeated deployments and is specifically tuned for frequencies of 1Hz to 10Hz. It features an ultra-low noise floor and 20s corner frequency.

Areas of application include

Trillium Compact Broadband

Trillium Compact Broadband Seismometer

The Trillium Compact combines the superior performance of a broadband seismometer with the installation convenience of a rugged geophone. Measuring only 5.04 inches in height and requiring no mass lock or mass centering, the Trillium Compact is easily deployed and minimizes site preparation and associated costs. Trillium Compact is available in several variants to facilitate vault, surface or buried downhole deployments.

Trillium Borehole Broadband

Trillium Borehole Broadband Seismometer

The Trillium Borehole Seismometer is a very broadband seismometer designed for cased borehole deployments. The instrument is housed in a stainless steel enclosure incorporating a hole-lock mechanism to allow the instrument to be coupled to a deep borehole casing. Instrument recovery is aided by a fail-safe holelock release mechanism that prevents jamming to the casement during removal.

An advanced levelling system allows the unit to operate over a tilt range of +/-5 degrees. The axis stack is mechanically levelled to ensure that the vertical axis does not couple horizontal noise.

Coated Waveguide 15cm (set of 2)

Coated Waveguide 15cm (set of 2)

The 6008CL15, 15 cm Length Waveguides, for use with the 6002F1 Waveguide Connector. Set of 2. Waveguides are coated with a special XXX to xxx.

ELREC 6 Induced Polarisation (IP) Receivers

Features of ELREC 6 Induced Polarisation (IP) Receivers

  • Multi-channel IP receiver for mineral exploration
  • Six simultaneous dipoles
  • Ten programmable charge-ability windows
  • High accuracy and sensitivity

Pages