Source Code
-
Product
Zero-footprint Coverage Analysis For Critical Software
RapiCoverZero
-
*Collect coverage from systems that produce branch traces*Save time with efficient merge and mark verification workflow*Simplify verification through integration with your CI tool*Collect coverage for libraries without source code
-
Product
Software Analytics in the Cloud
-
Know the risks, the technical debt, the security flaws, the performance issues… create automatic action plans and analyze their progress. Make better decisions, faster, with Kiuwan Software Analytics! Kiuwan is the Optimyth cloud solution for the Certification, Management and Government of the quality and productivity of the source code of your business critical application portfolios.
-
Product
Intelligent Interface Card
IIB-1553-PC104
-
The IIB-1553-PC104 is an intelligent interface card providing full MIL-STD-1553 test, simulation and bus analysis capability for PC compatible computers, with 1553A, 1553B, McAir and STANAG 3838 variants in one card. The IIB-1553-PC104 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 is provided in BC and RT modes, with full error detection in BC, RT, BM and CBM modes. The unit provides a single, dual redundant 1553 interface. 2 Mbytes of dual ported RAM are provided. PC memory space utilised by the board is selectable. The board is supplied with C drivers in source code and Windows menu driven software as standard
-
Product
ARINC-429 Multi-Channel Test & Simulation Module for Excalibur 8000 Family of Carrier Boards
M8K429
-
The M8K429 is an ARINC-429 multi-channel test and simulation module to be used on the Excalibur 8000 family of carrier boards. The module supports up to five ARINC-429 channels in any combination of transmitters and receivers. Each of these channels feature error injection and detection capabilities. The receive channels allow for the storage of all selected Labels with status and time tag information appended to each word. The receivers allow for filtering and multi-storage modes of Data Words. The transmit channels operate via a transmit ‘instruction stack’ which allows scheduling of data transmissions and reduces the need for host computer intervention.The M8K429 comes complete with C-driver software library including the source code.
-
Product
MIPI Soundwire Total IP Solutions
Soundwire
-
Soundwire is suited for small, cost-sensitive audio peripherals such as modern digital class-D amplifiers and digital microphones. The Total MIPI SoundWire IP Solution from Arasan enables early adopters the fastest path to adoption of this new standard by offering a comprehensive IP package that includes the Verilog RTL source code for Master and Slave, fully validated for compliance with the standard, a comprehensive test environment with a compliance suite for verification of the IP package, a SoundWire Hardware Development Kit (“HDK”) for FPGA prototyping, a SoundWire protocol analyzer and a complete SoundWire software stack.
-
Product
Express Card
DAS-429ExCARD/RT10
-
Both cards contain 64 Kbytes of true dual-port RAM, for data blocks, control registers and Look-up table.The card's small size (54 millimeter wide) and suitability for Express Card compatible notebook computers make it 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 cards are supplied with C drivers, including source code, Mystic Windows software and may be used with Exalt, Excalibur’s Analysis and Laboratory Tools, a Windows monitoring application.
-
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
Interface for the Multimode, multiprotocol Excalibur 8000 Family of Carrier Boards, Providing a Complete Solution for Developing & Testing MIL-STD-1760 Interfaces
M8K1760Px(S)
-
The M8K1760Px(S) interface module for the multimode, multiprotocol, Excalibur 8000 family of carrier boards provide a complete solution for developing and testing MIL-STD-1760 interfaces and performing system simulation of the MIL-STD-1760 bus. The module handles all standard variations of the MIL-STD-1760 protocol.Each M8K1553Px-1760 multi function module contains 64K bytes of dual-port RAM for Data blocks, Control registers, and Look-up Tables. All Data blocks and Control registers are memory mapped, and may be accessed in real time. Each of the independent dual redundant M8K1760Px modules may be programmed to operate in one of three modes of operation: Remote Terminal, Bus Controller/Concurrent-RT, and Bus Monitor. In addition, modules 1 and 3 can be programmed to operate as Concurrent monitors, to modules 0 and 2 respectively.In addition, Checksum, SRQ bit and Header Words are supported on each channel, as well as, error injection (BC and RT modes) and error detection (all modes).Each M8K1760PxS single function module operates either as a Bus Controller, Remote Terminal, or Bus Monitor.The M8K1760Px(S) comes complete with Windows software, a C-driver software library including source code and may be used with Exalt, Excalibur’s Analysis and Laboratory Tools, a Windows monitoring application
-
Product
Ethernet Adapter Supporting up to Twenty ARINC-429 Channels in Any Combination
ES-9810/A0 (RUNET II)
-
The EXC-9810/Ax is an Ethernet adapter supporting up to twenty ARINC-429 channels in any combination of transmit and/or receive. All of the channels feature error injection and detection.adapter. Its small size and ability to interface through Ethernet interfaces make it a complete solution for developing, testing and performing system simulation of the ARINC-429 bus, both in the lab and in the field.The receive channels allow for the storage of all selected labels with status and time tag information appended to each word, and also allow for filtering and multi-storage modes of data words. The transmit channels operate via a transmit ‘instruction stack’ which allows scheduling of data transmissions and reduces the need for host computer intervention. The EXC-9810 supports up to four independent 8000 family avionics communication modules, allowing multiple different protocols to be mixed and matched on a single card. Modules available include MIL-STD-1553, MIL-STD-1760, MMSI, ARINC-429, ARINC-708, ARINC-717, Serial, Discrete and CAN bus. 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-9810/Ax 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). Please see multi protocol 8000 modules for additional information on protocols that can be added to this card.
-
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
Tool
Imagix 4D
-
Imagix 4D is a tool to understand, document and improve complex, third party or legacy source code in C, C++ and Java. Imagix 4D automates the analysis of control flow and dependencies. It detects problems in data usage and task interactions. With Imagix 4D you increase productivity, improve quality, and reduce risk.
-
Product
MIL-STD-1553 MCH
M4K1553MCH
-
The M4K1553MCH interface module for the multimode, multiprotocol, Excalibur 4000 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 M4K1553MCH 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 M4K1553MCH comes complete with Windows software, and a C driver software library 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
SpaceWire LabVIEW Driver VISA
137
-
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
Intelligent ARINC Interface Module
M4K717
-
The M4K717 is an intelligent ARINC 717 interface module for the multiprotocol Excalibur 4000 family of carrier boards.The module supports two ARINC 717 receive channels and two transmit channels.In transmit mode, the module sends the four subframes from a pre-defined buffer in dual-port RAM.In receive mode, the module stores all subframes with status and Time Tag information appended to each subframe.The M4K717 comes complete with C-driver software library including the source code.
-
Product
Interface Module for the Multimode, Muliprotocol Excalibur 8000 Family Carrier Boards
M8K1553MCH
-
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
Software Development Kit for ARINC 664 Applications
ARINC 664 SDK
-
Avionics Interface Technologies
Software Drivers for Windows, Linux, VxWorks, and other Operating Systems (on request) - Compatible with all AIT ARINC 664 Interface Modules - Includes documented APIs with source code examples for C/C++ - 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
Code Coverage Branch Monitor
CCBM
-
Verified Systems International GMBH
The Code Coverage Branch Monitor (CCBM) is a set of utilities that allow instrumentation of C source code for the purpose of branch coverage measurement. This encompasses operations for code instrumentation, removal of this instrumentation, retrieval of coverage information, merging coverage information, and displaying this information with reference to the (original) source code.
-
Product
Intelligent Interface Card
IIB-1553-PCI-2C
-
The IIB-1553-PCI-2C provides an intelligent interface card for two serial, dual redundant MIL-STD-1553 data buses and the PCI bus. The card supports 1553A, 1553B, McAir and STANAG 3838 variants on a single card. The IIB-1553-PCI-2C provides 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 comprehensive multi-level triggering capability. Full error injection capability is provided in BC and RT modes, with full error detection in BC, RT, BM and CBM modes. Two independent variable amplitude dual redundant 1553 interfaces are provided, each with2 Mbytes of dual ported RAM. The board is supplied with C drivers in source code and Windows menu driven software as standard.
-
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
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
Noise Source, 10 MHz to 18 GHz, nominal ENR 6 dB
346A
-
The Keysight 346A noise source is the ideal companion to Keysight's noise figure solutions. Since it is broadband (10 MHz to 18 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; reflections of test signals. The very small change in reflection coefficient (<0.01) from ON to OFF is designed especially for accurate characterization of input-impedance-sensitive devices (like GaAsFETs and many UHF amplifiers).
-
Product
Millimeter-Wave Noise Source, R-band, 26.5 to 40 GHz
R347B
-
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
Interface Module for Multimode, Multiprotocol Excalibur 8000 Family of Carrier Boards, a Complete Solution for Developing & Testing 1553 Interfaces
M8K1553Px(S)
-
The M8K1553Px(S) 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.Each M8K1553Px multi function module contains 64K bytes of dual-port RAM for Data blocks, Control registers, and Look-up Tables. All Data blocks and Control registers are memory mapped, and may be accessed in real time. Each of the independent dual redundant M8K1553Px modules may be programmed to operate in one of three modes of operation: Remote Terminal, Bus Controller/Concurrent-RT, and Bus Monitor. In addition, modules 1 and 3 can be programmed to operate as Concurrent monitors, to modules 0 and 2 respectively.Each M8K1553PxS single function module operates either as a Bus Controller, Remote Terminal, or Bus Monitor.NOTE: the M8K1553PxS module is NOT compatible to the M4K1553MCH module.The M8K1553Px(S) comes complete with Windows software, a C-driver software library including source code and may be used with Exalt, Excalibur’s Analysis and Laboratory Tools, a Windows monitoring application.
-
Product
Fixed Wavelength CW Laser Source (FP) - MATRIQ
-
The Laser-1102 is a Continuous Wave (CW) laser source offering high power 850 nm output into multimode fiber with stable output power operation.
-
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
Fixed Wavelength CW Laser Source (DFB)
Laser 1200 Series
-
The Laser 1200 Series is a highly customizable fixed-wavelength Continuous Wave (CW) laser source available in a wide range of wavelengths and powers.With seamless PXI integration, it can be easily integrated into new or existing PXI test setups. Save space, lower your costs and improve testing efficiency while delivering reliable and repeatable results in production or research environments.
-
Product
Fixed Wavelength CW Laser Source (FP) - PXI
Laser 1100 Series
-
The Laser-1102 is a Continuous Wave (CW) laser source offering high power 850 nm output into multimode fiber with stable output power operation.
-
Product
10-Ch. 0… 5V 400mA Isolated
YAVAP955
-
The YAV board AP955 contents 10 CAN Bus programmable bipolar Isolated precision and low noise 0 to 5VDC voltage sources up to 400mA output, with Tripaddle VPC connector.
