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
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
Ada Embedded Software Test Solution
VectorCAST/Ada
-
An integrated software test solution that significantly reduces the time, effort, and cost associated with testing Ada software components necessary for validating safety- and mission-critical embedded systems. VectorCAST/Ada parses your source code and invokes code generators to automatically create the test code (stubs and drivers) required to construct a complete, executable test harness.
-
Product
AINC 429 Multichannel Interface with Additional ARINC-717 Receive & Transmit Channels
DAS-429UNET/RT8-717
-
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
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
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
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.
-
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
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
10 Gbit Ethernet Card, PXIe Form Factor
ADQ10GBE
-
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 for Two Dual-Redundant 1760 Channels
EXC-1553PCMCIA/Px-1760
-
This credit card sized interface supports up to two dual redundant 1760 channels and is compatible with all common variations of MIL-STD-1760 providing a wide range of features normally found only on full size testers. Each channel of the EXC-1553PCMCIA/Px-1760 operates simultaneously as a Bus controller and/or multiple (up to 32) Remote Terminals, or as a Triggerable Bus Monitor. The card supports Checksum, SRQ bit and Header Words as well as error injection and error detection. The card’s small size and compatibility with notebook computers make it the perfect solution for performing system simulation of the MIL-STD-1553 bus, in the lab and in the field.The EXC-1553PCMCIA/Px-1760 card 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.
-
Product
Intelligent Interface Card
IIB-1553-CPCI
-
The IIB-1553-CPCI is an intelligent interface card providing full MIL-STD-1553 test, simulation and bus analysis capability for the CompactPCI bus, with 1553A, 1553B, McAir and STANAG 3838 capability on a single card.The IIB-1553-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 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 dual redundant 1553 interface.2 Mbytes of dual ported RAM are supplied as standard. The board is supplied with C drivers in source code and Windows menu driven software.
-
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
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
Enhanced Serial Interface Module for Excalibur 8000 Family of Carrier Boards, with High Baud Rate & High Throughput
M8KSerial
-
The M8KSerial is an enhanced serial interface module for the multiprotocol Excalibur 8000 family of carrier boards, that includes several advanced features such as a high baud rate and high throughput. This module supports up to two 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 M8KSerial 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 8000 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 M8KSerial module is supplied with C drivers, including source code.
-
Product
Complete Solution for Developing & Testing Discrete Voltage-Level Interfaces
M4KDiscrete Module
-
The M4KDiscrete module provides a complete solution for developing and testing discrete voltage-level interfaces. The M4KDiscrete contains control I/O registers that are memory-mapped and may be accessed in real time. The module supports twenty programmable I/O discretes that can record or control the external discretes that are connected to it. In addition, the module can record changes in the input discrete with an associated time tag via a built-in FIFO. Output discretes are open collector, capable of handling up to 32V with a maximum sink current of 100 mA each. Ordering Information:The user can set each discrete:• Either as input or output.• Either to TTL (0 – 5V) or Avionics (0 – 32V) voltage levels on inputs and• Either enable or disable external debounce on inputsThere is a 4092 Word FIFO (a string of 1023 discrete entries) containing the data and time tags.The M4KDiscrete module is supplied with C drivers, 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
PCMCIA Card
DAS-429PCMCIA/RT10
-
Both cards contain 68 Kbytes of true dual-port RAM, for data blocks, control registers and Look-up table, mapped within the Common Memory space. The card also contains a FLASH-based Card Information Structure (CIS) within the Attribute Memory space.The cards comply with the Personal Computer Memory Card International Association (PCMCIA Release 2.1) standard, including Plug and Play. The card's small size and suitability for PCMCIA compatible notebook computers with Type II and Type III slots 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
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
Interface Board for Conduction Cooled PCI Mezzanine Card Systems
EXC-708ccPMC
-
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
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
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
Fibre Channel Software Development Kit
Fibre Channel SDK
-
Avionics Interface Technologies
Software Drivers for Windows, Linux, VxWorks, and other Operating Systems (on request) - Compatible with all Fibre Channel Interface Modules - Includes documented APIs with source code examples for ANSI C, C++, and LabVIEW - Support provided by AITs industry leading applications engineering team
-
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
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
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
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
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
Embedded Engineer
-
Embedded Engineer combines automated source code generation with model-level debugging. The plug-and-play product provides optimized generation of ANSI C code from UML structures, state machines and activity models as well as the generation of C ++ source code. Embedded Engineer also guarantees the traceability of requirements to the code and back again.
-
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.
