Source Code
-
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
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
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
Fibre Channel Simulyzer™ Products
-
Avionics Interface Technologies
Our Fibre Channel products support most popular avionics Upper Layer protocols including FC-AE-ASM, FC-AE-1553, FC-AE-RDMA and FC-AE-AV. All AIT Fibre Channel modules utilize multiple processors with large onboard RAM. An onboard processor runs the driver software, minimizing host CPU interaction, enabling autonomous operation with minimal interaction during time-critical applications.The Fibre Channel products use our Simulyzer™ technology that enables the hardware to simultaneously perform Fibre Channel data generation and Fibre Channel monitoring on the same physical board. The Fibre Channel test products include full-function device driver software for the most popular operating systems, an application interface supporting development environments, as well as a comprehensive set of source code examples.
-
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
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
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
Code Repository Software
Helix TeamHub
-
Your code repository software is where you store your source code. This might be a Mercurial, Git, or SVN repository. Helix TeamHub can host your source code repository, whether it’s Mercurial, Git, or SVN. You can add multiple repositories in one project — or create a separate project for each repository.
-
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
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 Interface Card
IIB-1553-VXI-4C
-
The IIB-1553-VXI-4C is an intelligent interface card which provides 4 independent channels for full MIL-STD-1553 test, simulation and bus analysis functions on the VXI bus. All 1553A, 1553B, McAir and STANAG 3838 variants are supported. Each independent channel may be operated as a concurrent Bus Controller (BC) and up to 31 Remote Terminals (RT) with a windowed Bus Monitor (BM), or as a stand-alone Chronological Bus Monitor (CBM) 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. Each channel provides a variable amplitude dual redundant 1553 interface, with 2 Mbytes of dual ported RAM. The board is supplied with C drivers in source code and Windows menu driven software as standard.
-
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
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
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
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
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
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
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
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
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
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
Interface for Two Dual Redundant 1760 Channels
EXC-1553ExCard/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.Multi FunctionEach channel of the EXC-1553ExCard/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 error injection and detection. The card’s small size and compatibility with notebook computers make it the perfect solution for performing system simulation of the MIL-STD-1760 bus, in the lab and in the field. Single Function Each channel of the EXC-1553ExCard/PxS-1760 operates either as a Bus Controller, Remote Terminal, or Bus Monitor.The EXC-1553ExCard/Px-1760 and EXC-1553ExCard/PxS-1760 cards are 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.Note: Some laptops do not supply the average and peak power voltages required by the ExpressCard specification. The EXC-1553ExCard/Px-1760 may not function properly in these laptops.
-
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
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
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
Enhanced Serial Interface Module for Excalibur 8000 Family of Carrier Boards, with High Baud Rate & High Throughput
M8KSerial
Serial Interface
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
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
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
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.
