Source Code
-
Product
Source Code Review
-
Source code review, also known as Security Code Review is the process of auditing the source code for an application to verify that the proper security controls are present, that they work as intended, and that they have been invoked in all the right places. Code review is a way of ensuring that the application has been developed to be “self-defending” in its given environment.
-
Product
Ada Source Code Analyzer
CodePeer
-
CodePeer is an Ada source code analyzer that detects run-time and logic errors. It assesses potential bugs before program execution, serving as an automated peer reviewer, helping to find errors efficiently and early in the development life-cycle. It can also be used to perform impact analysis when introducing changes to the existing code, as well as helping vulnerability analysis. Using control-flow, data-flow, and other advanced static analysis techniques, CodePeer detects errors that would otherwise only be found through labor-intensive debugging.
-
Product
Precision Source Code
Miniport Code
-
We offer precision source code to jump start your development putting you close to the finish line right from the start.
-
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
Conduction Cooled Interface Board Supporting up to 5 Multi Function Channels
EXC-1553PMC/Px(S) / EXC-1553ccPMC/Px(S)
-
MIL-STD-1553, conduction cooled, interface board. Supports up to 4 multi function channels.The EXC-1553PMC/Px(S) and EXC-1553ccPMC/Px(S) are multi-channel (up to four) MIL-STD-1553 interface boards for PCI Mezzanine Card compatible computers.Multi Function:Each channel operates simultaneously as a Bus controller and/or multiple (up to 32) Remote Terminals, or as a Triggerable Bus Monitor. In addition, error injection (BC and RT modes) and error detection (all modes) are supported on each channel.Single Function:Each channel operates either as a Bus Controller, Remote Terminal, or Bus Monitor.NOTE: PxS is NOT compatible to the MCH family of cards.The EXC-1553PMC/Px(S) and EXC-1553ccPMC/Px(S) are supplied with C drivers, including source code, and Merlin+ Windows software.
-
Product
Version Control System
Helix Core
-
Perforce Helix Core is the leading version control system for teams who need to accelerate innovation at scale. Store and track changes to all your digital assets, from source code to binary to IPs. Connect your teams and empower them to move faster and build better.
-
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
Low speed Serial Interfaces
12C/ 12S/ SPI/ UART
-
Arasan has a diverse portfolio of connectivity IP products including SPI, I2C, I2S and UART. These protocols are vital for the integration of SoCs with peripheral chipsets in order to form a complete hardware platform. They are frequently used by the SoC to configure, control and gather diagnostic information at the platform level to ensure correct operation of the hardware.Arasan's proven Connectivity IP Solutions provides a risk free path to integrating these interfaces in SoC designs:High quality IP cores ensure inter-operability between SoCs and peripheralsIn-house domain expertise ensures a high quality support throughout the SoC development cycleTotal IP solution includes RTL source code, synthesis scripts, test environment and documentation
-
Product
Multi-Channel (Up to Four) MIL-STF-1760 Interface Board for Conduction Cooled PCI Mezzanine Card Compatible Computers
EXC-1553ccPMC/Px(S)-1760
-
The EXC-1553ccPMC/Px(S)-1760 is a multi-channel (up to four) MIL-STD-1760 interface board for conduction cooled PCI Mezzanine Card compatible computers. In addition, Checksum, SRQ bit and Header Words are supported on each channel. Multi Function:Each channel operates simultaneously as a Bus controller and/or multiple (up to 32) Remote Terminals, or as a Triggerable Bus Monitor. In addition, error injection (BC and RT modes), error detection (all modes) and cableless internal loopback are supported on each channel. Single Function:Each channel operates either as a Bus Controller, Remote Terminal, or Bus Monitor.Each dual redundant 1760 channel can operate simultaneously as a Bus Controller and up to 32 Remote Terminals and as a Triggerable Monitor. In addition, error injection (BC and RT modes), error detection (all modes) and cableless internal loopback are supported on each channel. The EXC-1553ccPMC/Px(S)-1760 is supplied with C drivers, including source code, and Merlin+ Windows software.
-
Product
ARINC-708/453 2-Channel Test & Simulation Module for the Weather Radar Display Databus
M8K708
Test Module
The M8K708 module is an ARINC-708 / 453 2-channel test and simulation module for the Weather Radar Display Databus. The M8K708 supports two ARINC-708 / 453 channels, each selectable as transmit or receive. Each channel implements an 64K×16 FIFO and supports polling and/or interrupt driven operation.The M8K708 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. In addition, Excalibur produces adapter cables that convert the carrier board I/O Molex™ connector to two twinax CJ70-49 connectors. The cable may be purchased at an additional cost.
-
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
Express Multi Protocol Board
EXC-8000PCI
-
The EXC-8000PCIe is a PCI Express card supporting up to eight 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.The EXC-8000PCIe supports extensive error injection and detection capabilities, IRIG B Time Code input, and can be ordered with an extended operating temperature range of -40ºC to +85ºC and conformal coating. The EXC-8000PCIe is supplied with C drivers, including 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
PCIe Direct Digital Synthesizer
-
These devices provide two synchronized DDS-based RF channels on a single PCI card. With fine frequency, amplitude and phase control the Synth1000 products enable a number of advanced applications at a fraction of the cost of conventional equipment. In addition to two analog outputs the Synth1000, up to 4 separate profiles may be dynamically selected using externally supplied TTL signals for low-latency triggered operation such as PSK, FSK, and triggered sweep operation. Software support for Windows 8, 7, Vista, Windows XP and Linux is included. LabVIEW Labview source code available. For detailed specifications, please refer to the Synth1000 Manual.
-
Product
Static Code Analysis for Embedded Software
GrammaTech CodeSonar®
-
CodeSonar is GrammaTech´s flagship static analysis software. Able to analyze both source code and binary code, it is specifically designed for zero-tolerance defect environments. With its advanced static analysis engine, CodeSonar is one of the most effective tools for eliminating the most costly and hard-to-find software defects early in the application development lifecycle. Compared with other tools, CodeSonar identifies twice as many defects that result in system crashes, leaks, data races, memory corruptions and security vulnerabilities.
-
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
PCI Card
EXC-4000PCI/xx
-
Each channel using the M4K1553PxS (RT validated) module operates either as a Bus Controller, Remote Terminal, or Bus Monitor.NOTE: the M4K1553PxS module is NOT compatible to the M4K1553MCH module.The EXC-4000PCI/xx is supplied with C drivers (including source code), Merlin+ Windows software and may be used with Exalt, Excalibur’s Analysis and Laboratory Tools, a Windows monitoring application. Mating connector provided for I/O connection.
-
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
Intelligent ARINC Interface Module
M4K717
Interface Module
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
PCI Direct Digital Synthesizers
SYNTH300 SERIES
-
These devices provide two synchronized DDS-based RF channels on a single PCI card. With fine frequency and phase control, triggered operation, and the ability to accept an external clock, the Synth300 products enable a number of advanced applications at a fraction of the cost of conventional equipment. In addition to two analog outputs, the product can be ordered with one (or two) LVDS outputs for programmable digital clock applications, and can be configured for control by externally supplied TTL signals for low-latency triggered operation such as PSK, FSK, and triggered sweep operation.Software support for Windows Vista, Windows XP,Linux and Labview source code availableFor detailed specifications, please refer to the Synth300_Manual
-
Product
Software Escrow
-
International companies, official bodies, municipal councils, non-profit organisations and cultural institutions all have to safeguard the software that maintains their competitive edge. Should a problem occur, they need to prevent their software from losing value and causing major disruption to their business operations. To do this, they have to be able to access their software source code. Which is where software escrow comes into play.
-
Product
Intelligent Interface Card
IIB-1553-PC104+
-
The IIB-1553-PC104+ is an intelligent interface card giving full MIL-STD-1553 test, simulation and bus analysis capability on the PC104+ bus, providing 1553A, 1553B, McAir and STANAG 3838 variants in a single 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 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. The unit provides a variable amplitude dual redundant 1553 interface. 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
ccVPX Card
EXC-4500ccVPX/xx
-
Each channel using the M4K1553PxS (RT validated) module operates either as a Bus Controller, Remote Terminal, or Bus Monitor.The EXC-4500ccVPX/xx is supplied with C drivers (including source code), Merlin+ Windows software and may be used with Exalt, Excalibur’s Analysis and Laboratory Tools, a Windows monitoring application. Mating connector provided for I/O connection.
-
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
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
Intelligent Interface Card
IIB-1553-MMA
-
The IIB-1553-MMA is an intelligent interface card providing full MIL-STD-1553 test, simulation and bus analysis capability for the M-Module standard, with 1553A, 1553B, McAir and STANAG 3838 variants in one card. The IIB-1553-MMA 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, withcomprehensive 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 dual redundant 1553 interface. 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
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
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
Rugged Ethernet System Supporting up to Four Independent 8000 Family Avionics Communication Modules
ES-9810/xx
-
The ES-9810/xx is a rugged ethernet system supporting up to four independent 8000 family avionics communication modules, allowing multiple different protocols to be mixed and matched in a single system. Modules available include MIL-STD-1553, MIL-STD-1760, MMSI, ARINC-429, ARINC-708, ARINC-717, Serial, Discrete and CAN bus.The ES-9810/xx is supplied with C drivers, including source code. Mating connectors and cable adapters for I/O connection can be purchased seperately.
-
Product
Unit Testing
-
Hitex offers a unit testing service for C/C++ application source code using the well-known test tool TESSY. For this service, the customer provides their source code of the C/C++ functions to be tested, ideally along with the specifications of the functionality and comprehensive comments in the source code.
