Bar Code Verifiers
-
Product
Formally Verified Optimizing C Compiler
CompCert
-
AbsInt Angewandte Informatik GmbH
Meet the highest levels of software assurance by compiling your application with the only C compiler that's been formally verified to be free of miscompilation issues. All safety properties verified on the source code, e.g. with Astre, are guaranteed to hold for the generated executable as well.
-
Product
IRIG Time Code Receiver for Computers (PCI Express)
TCR180PEX-EL
-
Meinberg Funkuhren GmbH & Co. KG
The TCR180PEX-EL receives IRIG-A/B/G, IEEE 1344, IEEE C37.118 or AFNOR NF S87-500 time codes and can be used for synchronizing the system time of its host PC. The IRIG output of this card can generate an IRIG signal for other IRIG time code readers. It is used in applications like data acquisition, standalone computer time synchronization (for systems without a network connection or higher accuracy requirements).
-
Product
12U (21") Insulated Bus Bar
BB-21-I
-
12U (21") insulated bus bar provides cabinets with recessed rail option and a convenient, isolated common grounding mechanism.
-
Product
2-kbit 12C EEPROM for Fixture Coding
FXA-101 I2C EEPROM
-
The FXA-101 is a 2-kbit serial I²C bus EEPROM used for identification of systems components. With it’s DIP switch it’s easily addressable. The FXA-101 may be glued directly to the appropriate component or inserted into a UMK housing from Phoenix Contact and installed on a DIN rail.
-
Product
Static Code Analysis Tool
Klockwork
-
Klocwork integrates seamlessly into desktop IDEs, build systems, continuous integration tools, and any team's natural workflow. Mirroring how code is developed at any stage, Klocwork prevents defects and finds vulnerabilities on-the-fly, as code is being written.
-
Product
Midi Time Code Reader
MTC
-
MTC - Midi Time Code hardware Analyzer or Analyser /Reader/Decoder. The MTC Decodes any (FX) System Common or System Real-Time Messages and displays them in a clock format, independent from your MTC generating device. The MTC has the same input and HOLD and SCROLL features as described in the MA1 module.
-
Product
Code Verification Systems for Machine-Readable Barcodes
-
Nearly all products in today´s world provide coded information. Manufacturer data, product IDs, prices, item numbers and so on are translated into machine-readable barcodes. This information needs to be read at supermarket checkouts and at many places in operational goods logistics in an error-free, fast and reliable manner.
-
Product
Conformance Calibration Standard Test Card for GS1-DataBar Symbol Verifiers
AI-CCS-DATABAR
-
This test card is ideal for testing verifiers, scanners, and other GS1-DataBar barcode reading equipment. It also can serve as an excellent training aid to ensure new operators are using the proper methodology and are proven competent in the use of verifiers.
-
Product
Matrix Code Verification Systems
REA MLV-2D
-
The REA MLV-2D is a matrix- and barcode verifier which has been developed in conformance to international standards. The measurement uses defined angeles distance and illuminations to achieve repeatable results and quality information.
-
Product
Discharging Bars
-
VARIO discharge products consist of a separate AC power supply for connecting one or more Eltex discharging components. In SINGLE discharging, the voltage generation (power supply ) is integrated in the bar.
-
Product
Time Code Translators
-
A universal SMPTE longitudinal time code processor that provides a variety of needed time code processing functions to keep up with the changes and requirements of dealing with multi format longitudinal time code.
-
Product
Individual UPC Bar Code Standards
-
The UPC Verification Calibration standards are a unique set of symbols that assures an exact and reliable primary bar code standard exists for UPC codes based on ANSI X3.182/ISO 15416 methodology. These standards assures that manufactures of verification equipment, scanners, QC labs and end users now have an accurate basis for checking the measurement capabilities of their equipment. These standards are intended as a fundamental calibration tool for an QC program, providing a continuous scale from best to worse case characteristics of each parameter. With complete NIST traceable data supplied, it is ideally suited to those requiring traceability, such as ISO certification. Each symbol is individually calibrated to ANSI X3.182/ISO 15416 standards using a custom built microdensitometer. These cards are supplied calibrated for use with a 6 mil scan aperture and 660nm wavelength. (calibration wit other aperture sizes or wavelengths is available)
-
Product
Demagnetize Bar Tube Or Wire Material Ranging Up To 8.5” (215mm) Diameter During Production
Demagnetizers
-
*Offers effective demagnetizing even for problem alloys.*Used in metal manufacturing plants to eliminate residual magnetism in test material after the eddy current test (ECT) is completed.*Can also be used for similar applications where high-speed reduction of residual magnetism is required.*Several models are available to meet your unique production needs.*Experienced MAC® Field Engineers can recommend the most appropriate demagnetizing equipment for your applications.
-
Product
Static Analyzer for C or C++ Code for Compliance with MISRA, CERT
RuleChecker
-
AbsInt Angewandte Informatik GmbH
RuleChecker is a static analyzer that automatically checks your C or C++ code for compliance with MISRA rules, CERT recommendations, and other coding guidelines.RuleChecker primarily targets safety-critical embedded applications, but can also be used to analyze any structured programs, handwritten or generated, with complex memory usages, dynamic memory allocation, and recursion.
-
Product
Industrial ATX Motherboard with 6th/7th Gen Intel® Core™ i7/i5/i3 Processor (Code name: Skylake/Kabylake)
IMB-M43
Motherboard
The ADLINK IMB-M43 is industry's first 6th/7th Gen Intel Core i7/i5/i3 Processor (formerly codenamed Skylake/Kabylake) based industrial ATX motherboard in the LGA1151 package with Intel Q170 Express chipset. The ADLINK IMB-M43 supports high-speed data transfer interfaces such as PCIe3.0, USB 3.0, and SATA 6 Gb/s (SATA III), with dual-channel DDR4 2133/2400 MHz memory up to 64 GB in four DIMM slots.
-
Product
Software Tools for Efficient Code Development and Analysis
Specador Documentation Generator
-
Specador is a tool that automatically generates accurate HTML documentation from comments inserted in the source code. It works in batch mode (command line) and uses dedicated language parsers.
-
Product
Flux Leakage Tester For Detecting Surface Defects In Hot Rolled Black Steel Bar
130MM ROTOFLUX® AC
-
Highly sensitive AC flux leakage is especially well suited to test hot rolled black steel bars and rods that have surface conditions which used to make finding shallow defects very difficult, if not impossible.
















