Source Code
-
Product
Source Code Review
-
If code is legacy and massy and application is not performing well enough ,want to optimize your application internal structure.
-
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
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
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
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
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
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
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
Zero-footprint Timing Analysis For Critical Software
RapiTimeZero
-
*Collect timing metrics from systems that produce branch traces* Identify code to optimize for worst-case behavior*Debug rare timing events*Simplify verification through integration with your CI tool*Analyze timing behavior of libraries without source code
-
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
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
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
PCI Data Acquisition Boards
-
Ultraview''s PCI data acquisition add-in cards are complete data acquisition (A/D) and control (D/A) systems on a single PCI Bus card. Ranging in speed from dual 14 and 12-bit 1-25MSPS boards up to 1500MSPS 8-bit boards with 8GB/16GB of on-board RAM. All cards come with graphical waveform viewers, example user programs (source code included) and device drivers for Linux or Solaris, allowing users to quickly prototype and develop their applications.
-
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
Interface Module for Multimode, Multiprotocol Excalibur 8000 Family of Carrier Boards, a Complete Solution for Developing & Testing 1553 Interfaces
M8K1553Px(S)
Interface Module
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
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
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
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
Carrier - Virtex 7 W/FMC Site
VPF: 3U VPX
-
The VPF is a VPX form factor (VITA 46), FPGA processor board designed to meet the needs of challenging, embedded high‐performance digital signal processing applications at a competitive price point. AMD Virtex 7: VX330 and VX690 population options are available. The Virtex 7 FPGA provides impressive processing capabilities and supports operations such as: FFTs, FIR filters, fixed‐point and repetitive processing tasks. The VPF FPGA node processes input from the FMC HPC (Vita 57.1) site, allowing for maximum application configurability and performance when coupled with DEG’s market leading ADC and DAC FMC modules (250MSPS to 4.0GSPS). The VPF is fully compliant with the OpenVPX standard and accommodates the PCIExpress Gen 3.0 communication protocol. Delphi also offers a VPF FPGA Design kit which allows customers to leverage and modify DEG source code, develop within an open architecture, and rapidly integrate FPGA HDL. The DEG FPGA Design kit includes: Source code, simulation test bench and utilities to support custom algorithm development. Embedded Linux, VX Works and Windows software drivers are available. HPC FMC Site, Fully Compatible with all Delphi ADC and DAC FMC Modules.
-
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
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
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
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
Software Composition Analysis
SCA
-
Black Duck® software composition analysis (SCA) helps teams manage the security, quality, and license compliance risks that come from the use of open source and third-party code in applications and containers.
-
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
PCI Express Ultra-fast Data Acquisition Add-In Cards
-
Ultraview's PCIe series of data acquisition add-in cards are complete A/D systems on a single PCIe add-in card. These boards incorporate up to 8GB of on-board RAM with up to 7GB/sec on Kintex 7 (up to 1.4GB/sec on Virtex 5) typical PCIe bus transfer rates enabling full-rate acquisition for long durations. All boards in the PCIe series are supported with the same user software allowing users to select the bit resolution and acquisition rate appropriate for a given application and then easily re-use the same software on a different part. Included with each card are graphical waveform viewers, example user software with source code included, and device drivers for Linux and Windows. The example software is intended to allow users to quickly prototype and develop their applications.
-
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
Intelligent Mini Munitions Store Interface (MMSI) Module for Excalibur 800 Family of Carrier Boards
M8KMMSI
-
The M8KMMSI is an intelligent, Mini Munitions Store Interface [MMSI] module for the multimode, multiprotocol, Excalibur 8000 family of carrier boards. Each module of the M8KMMSI 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 M8KMMSI module may be programmed to operate in one of three modes of operation: Remote Terminal, Bus Controller/Concurrent-RT/Concurrent Monitor and Bus Monitor.The M4KMMSI 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
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
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.
