Source Code
-
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
10 Gbit Ethernet Card, PXIe Form Factor
ADQ10GBE
Ethernet Interface
The ADQ10GBE module enables fast network connection from a cPCIe/PXIe chassis to an external host computer. It occupies a single slot in an 3U cPCIe/PXIe chassis and can be used with backplanes supporting up to x8 Gen2 PCIe. All necessary software drivers are included and can be installed on the PXIe controller. ADQ10GBE can be used under Windows 7 (32 or 64 bit), Windows 8 and 8.1, and Linux (native support or ixgbe source code).
-
Product
Interface Board for Conduction Cooled PCI Mezzanine Card Systems
EXC-708ccPMC
Interface Card
The EXC-708ccPMC is an ARINC-708 /453 interface board for conduction cooled PCI Mezzanine Card systems. The board supports two or four ARINC-708 /453 channels. Each of the channels can be programmed either as transmit or receive. Each channel implements an 8K×16 FIFO and supports polling and / or interrupt driven operation.The EXC-708ccPMC comes complete with C-driver software library including the source code.
-
Product
ARINC 429 Multichannel Interface Card for Mini PCI Systems
DAS-429mPCI/RTx
Interface Card
The DAS-429mPCI/RTx is an ARINC 429, multichannel interface card for Mini PCI systems. The card’s small size and suitability for Mini PCI notebook computers, make them a complete solution for developing and testing ARINC 429 interfaces and for performing system simulation of the ARINC-429 bus, both in the lab and in the field.The DAS-429mPCI/RTx is supplied with C drivers, including source code and Mystic application program.
-
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
AINC 429 Multichannel Interface with Additional ARINC-717 Receive & Transmit Channels
DAS-429UNET/RT8-717
Interface Card
The DAS-429UNET/RT8-717 is an ARINC 429, multichannel interface card with additional ARINC-717 receive and transmit channels. Its small size and ability to interface through USB or Ethernet interfaces make it a complete solution for developing, testing and performing system simulation of the ARINC 429 & ARINC-717 bus, both in the lab and in the field.Multiple units can operate via USB ports on the same computer. In addition, multiple units can operate on the same network, by programming each one with a unique IP address, and can be accessed from any computer on the network.The EXC-429UNET/RT8-717 adapter is supplied with C drivers, including source code and may be used with Exalt, Excalibur’s Analysis and Laboratory Tools, a Windows monitoring application (only versions 8.1 or higher).
-
Product
CI/CD Software
-
See everything that touches your code, strengthen the security posture of source code repositories, and verify the integrity of every build.
-
Product
Single Slot Intelligent Interface Card
IIB-3910-CPCI
-
The IIB-3910-CPCI is a single slot intelligent interface card providing complete STANAG 3838 and STANAG 3910 test, simulation and bus analysis capability for the CompactPCI Bus. The IIB-3910-CPCI supports concurrent Bus Controller (BC) and up to 31 Remote Terminals (RT) with Bus Monitor (BM). An additional stand-alone Chronological Bus Monitor (CBM) facility is also provided, with powerful multi-level triggering capability. Full error injection capability in both 3838 and 3910 modes is provided in BC and RTs modes, with full error detection in BC, RT, BM and CBM modes. Dual redundant 3838 interface, with user selectable dual redundant optical or single redundant electrical 3910 interface are featured. 2 Mbytes of dual ported RAM are provided. The board is supplied with C drivers in source code and Windows menu driven software as standard.
-
Product
Multichannel Memory-Mapped ARINC 708/453 Interface Card
EXC-708mPCIe
Interface Card
The EXC-708mPCIe is a multichannel, memory-mapped ARINC 708/453 interface card that supports two ARINC 708/453 channels, each programmable as transmit or receive. Each channel implements a 64K x 16 FIFO and supports polling and/or interrupt driven operation. The card complies with the PCI ExpressTM Mini Card standard. It’s small size and suitability for Mini Card compatible computers make it a complete solution for developing, testing, integrating 708 interfaces and for performing system simulation of the ARINC 708/453 Weather Radar Display databuses, both in the lab and in the field. In Transmit mode, each ARINC 708 word is written to the FIFO as a block of 100 16-bit words. In Receive mode, each ARINC 708 word is stored in the FIFO as a block of 103 16-bit words. The first two words comprise the 32-bit Time Tag, indicating the word’s time stamp. The next 100 words comprise the 1600 bits of the ARINC 708 word, which are followed by the Status Word.The EXC-708mPCIe card comes complete with C drivers including source code.
-
Product
HUSKIE 2.0 roboRIO MXP Expansion Board
FRC3061-MXP2-R1
-
The Huskie Board, designed by FRC Team 3061, is an FRC qualified expansion board for the NI roboRIO robotics controller. In addition to breaking out all available signals on the MXP expansion port, this board uses a Parallax Propeller IC (8 symmetrical logical cores with shared memory and peripheral access) to enable tasks such as advanced data logging, on-field driver control and status, and NeoPixel control. Additional GPIO and analog inputs are added with open source code to allow further customization.
-
Product
Static Code Analyzer
PVS-Studio
-
PVS-Studio is a tool used to detect bugs in the source code of programs written in C, C++ and C#. PVS-Studio performs static code analysis and generates a report that helps a programmer find and fix bugs. PVS-Studio does a wide range of code checks; but it is especially useful to search for misprints and Copy-Paste errors. Examples of such errors: V501, V517, V522, V523, V3001.
-
Product
Software Test Tool
testIDEA
-
The basic premise behind the development of testIDEA was simple: if our development tools have access to the source code and binary code of an embedded application, and our debug hardware can access all of the internal workings of the microcontroller, surely we can simply test embedded software on the target microcontroller.
-
Product
Web Debugging Toolset
IE WebDeveloper V2
-
IE WebDeveloper is an add-on for Microsoft Internet Explorer. The rich web debugging toolset allows you to inspect and edit the live HTML DOM and current cascaded styles, evaluate expressions and display error messages, log messages, explore source code of webpage and monitor DHTML Event and HTTP Traffic.
-
Product
DPX-Developer Kits
-
All inclusive kits for each DPX® mainboard. Fast and simple setup to evaluate and start development. Includes pre-configured operating systems, drivers and utilities. Demo and reference source code. I/O development board, power supply, full documentation.
-
Product
Software Development Kit
InterNav®
-
Open architecture software with interface source code and analysis tools for integrating GPS, inertial, and other aiding sensors on a VxWorks, Linux, or Windows computer.
-
Product
SpaceWire LabVIEW Driver VISA
137
Relay Driver
STAR-Dundee's SpaceWire LabVIEW VISA driver has been implemented as a native LabVIEW driver, providing support for the STAR-Dundee PCI family of devices. Software written to control these devices may be deployed on any hardware platform that supports cPCI/PCI and NI-VISA, including both Windows based hosts and LabVIEW Real-Time targets, without requiring modifications to source code. The software is provided as LabVIEW source with password protected block diagrams, allowing users to compile for any target.
-
Product
Interface Module for the Multimode, Muliprotocol Excalibur 8000 Family Carrier Boards
M8K1553MCH
Interface Module
The M8K1553MCH interface module for the multimode, multiprotocol, Excalibur 8000 family of carrier boards provide a complete solution for developing and testing 1553 interfaces and performing system simulation of the MIL-STD-1553 bus. The module handles all standard variations of the MIL-STD-1553 protocol.The M8K1553MCH contains 32k x 16 of dual-port RAM for Data blocks, Control registers, and Look-up tables. All Data blocks and Control registers are memorymapped and may be accessed in real time. The dual-redundant 1553 module may be programmed to operate in one of four modes of operation: Bus Controller, Remote Terminal, RT/Concurrent-Bus Monitor, and Bus Monitor. The M8K1553MCH comes complete with Windows software, and a C driver software library including source code.
-
Product
MIL-STD-1553 LabVIEW SDK
-
Avionics Interface Technologies
Certified “Compatible with LabVIEW” PnP Driver - Includes high level LabVIEW VI’s for controlling AIT MIL-STD-1553 InstrumentsCompatible with LabVIEW Real-Time (Including NI Linux Real-Time) - Includes documented APIs with source code examples for LabVIEW (VI), C, C++, & C#/.NET - Integrates with AIT’s Flight Simulyzer software (share XML bus configurations between API’s and Flight Simulyzer) - Support provided by AITs industry leading applications engineering team
-
Product
Supply Chain Software
-
Take a new approach to governing open source code and CI/CD pipelines with a platform that saves time and accelerates product development.
-
Product
Enhanced Serial Interface Module for the Multiprotocol Excalibur 4000 Family of Carrier Boards
M4KSerialPlus
Serial Interface
The M4KSerialPlus is an enhanced serial interface module for the multiprotocol Excalibur 4000 family of carrier boards, that includes several advanced features such as a high baud rate and high throughput. This module supports up to four independent channels of serial communications, each of which can be selected as RS-485, RS-422 or RS-232. The module operates independently of the host computer, reducing the need for host intervention.The M4KSerialPlus module is based on the Exar XR16M570 Universal Asynchronous Receiver/Transmitter (UART). The device is compatible to industry standard 16550 UARTs. Each of the M4KSerialPlus’s four channels contains a transmit FIFO capable of holding up to 16384 bytes and a receive FIFO capable of holding either 16384 receive bytes or 5460 bytes with a 32-bit Time Tag associated with each byte. These large buffers allow application code to transfer large quantities of data with a single non-blocking subroutine call. The 32-bit Time Tag on receive channels is very useful for synchronizing serial data with data from other modules on the 4000 board or on other interface boards. Each channel has a programmable baud rate of up to 10 Mbps and can be configured as RS-232, RS-422 or RS-485.The M4KSerialPlus module is supplied with C drivers, including source code.
-
Product
FPGA Toolkits & IP
-
Curtiss-Wright Defense Solutions
Our tools and source code for use with our Xilinx Virtex and Kintex-based FPGA products include- FusionXF simplifies the development of FPGA-based application code by allowing developers to concentrate on their application without needing to worry about system integration of the hardware and operating system interface. The DDC family of IP cores supports decimation from 2 to 64 in complex mode and 2 to 32 in real mode
-
Product
Zero-footprint Event-level Scheduling Analysis For Critical Software
RapiTaskZero
-
*Gain insight into your application through scheduling analysis*Locate rare timing events that need attention*Identify bottlenecks in your application by analyzing capacity issues *Compare scheduling algorithms from different RTOSs*Visualize scheduling behavior of libraries without source code
-
Product
Optical Switches
Optical Source
Fast and reliable optical switches to streamline your test procedures. Can be customized with a wide range of switch configurations, fiber types and connectors.
-
Product
Millimeter-Wave Noise Source, R-band, 26.5 to 40 GHz
R347B
Noise Source
The Keysight R347B noise source covers a 26.5 to 40 GHz frequency range. This waveguide noise source allows you to make accurate and convenient noise figure measurements on millimeter-wave devices. The R347B provides highly precise broadband noise at the input of the system or component under test. The noise figure meter then processes the ON/OFF ratio of noise power present in the system IF, and provides an accurate reading of noise figure and gain. The R347B noise source has remarkable ENR stability over time, which allows longer recalibration cycles and more accurate noise figure measurements.
-
Product
Noise Source Test Set, 10 MHz to 26.5 GHz
N2002A
Noise Source
The N2002A noise source test set is a low cost, stand-alone instrument that, as part of a calibration system, enables fast, repeatable calibrations with minimal levels of uncertainty.
-
Product
Tunable Laser Source - MATRIQ
Laser Source
The Laser 1000 Series is a fully-compliant micro-ITLA laser with up to four channels in a compact benchtop form factor.Offering 0.01 pm resolution tunability across C or L bands, exceptional power accuracy up to 16.5dBm, and optional dither suppression, this is a versatile and cost-effective general purpose instrument.
-
Product
DFB Laser Source Module
LaserPXIe 1200 Series
Source Measure Unit
The LaserPXIe 1200 Series is a highly customizable DFB laser source available in a wide range of wavelengths and powers.
-
Product
Four-Port Tunable Laser System Source
N7714A
Laser Source
The Keysight N7711A and N7714A tunable lasers are single-port and four-port sources, available with C-band or L-band wavelength coverage. The narrow linewidth and offset grid fine-tuning capability make them ideal sources for realistic loading of the latest transmission systems. All models can reach any wavelength point within their specified wavelength range just like all other Keysight tunable lasers. In this mode, code compatibility with existing test setups based on Keysight's range of full-size and compact tunable lasers is a great asset. In system loading applications, it may be preferable to grid-tune the lasers like system transmitters, simply by changing the channel index. The channel grid is adjustable to standard ITU-T grid spacing like 50 GHz, and to arbitrary grids. Likewise, the zero frequency (base channel) of the chosen grid is adjustable. A 12 GHz fine-tuning range allows de-tuning the frequency.
-
Product
Noise Source, 1 GHz up to 50 GHz
346CK01
Noise Source
The Keysight 346CK01 is the ideal companion to Keysight´s noise figure solutions when working on high frequency applications. Since it is broadband (1 GHz to 50 GHz), it eliminates the necessity for several sources at different frequency bands. The low SWR of the noise source reduces a major source of measurement uncertainty, which are reflections of the test signals. This is a coaxial noise source with a 2.4 mm coaxial connector. ENR typically 20 dB at 1 GHz, decreasing to typically 7 dB at 50 GHz.
-
Product
Single-Port Tunable Laser System Source
N7711A
Laser Source
The Keysight N7711A and N7714A tunable lasers are single-port and four-port sources, available with C-band or L-band wavelength coverage. The narrow linewidth and offset grid fine-tuning capability make them ideal sources for realistic loading of the latest transmission systems. All models can reach any wavelength point within their specified wavelength range just like all other Keysight tunable lasers. In this mode, code compatibility with existing test setups based on Keysight's range of full-size and compact tunable lasers is a great asset. In system loading applications, it may be preferable to grid-tune the lasers like system transmitters, simply by changing the channel index. The channel grid is adjustable to standard ITU-T grid spacing like 50 GHz, and to arbitrary grids. Likewise, the zero frequency (base channel) of the chosen grid is adjustable. A 12 GHz fine-tuning range allows de-tuning the frequency.
