Source Code
-
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
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
Source Code Review
-
If code is legacy and massy and application is not performing well enough ,want to optimize your application internal structure.
-
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
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
SpaceWire LabVIEW Driver VISA
137
Relay Driver
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
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
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
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
Intelligent Interface Card
IIB-1553-ISA
-
The IIB-1553-ISA 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-ISA 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 multilevel 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. 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
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
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
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 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
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
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 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
Function / Arbitrary Waveform Generator
DG5000 Series
-
Dg5000 series has 6 functions, including any waveform generator, pulse generator, IQ baseband / if source, frequency hopping source, code generator and function generator. The series includes single and dual channel models. The functions of the two channels are completely equal, and the phase between channels is precisely adjustable.
-
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
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
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
Conduction Cooled VPX Interface Board with PCI Express Host Interface
EXC-8000ccVPX
-
The EXC-8000ccVPX is part of the 8000 family of multiprotocol carrier boards. This conduction cooled VPX interface board has a PCI Express host interface and can support up to four independent removable modules and 10 on-board Discrete channels. Each removable module can be any of the 8000 family modules.The EXC-8000ccVPX supports Direct Memory Access (DMA), which enables the board to access system memory for reading and writing independently of the computer’s CPU. This results in faster data transfer to and from the board, with much less CPU overhead than when not using DMA.The EXC-8000ccVPX is supplied with C drivers, including source code. Mating connector provided for I/O connection.
-
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
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
C/C++ Source Code Analysis
CODECHECK
-
CodeCheck is a programmable tool for checking all C and C++ source code on a file or project basis. CodeCheck is input compatible with all variants of Standard K&R C, Standard ANSI-C/C++, and all C and C++ compiler vendors. We support GCC-GNU Open Source C/C++ compilers. CodeCheck is designed to solve all of your Portability, Maintainability, Complexity, Reusability, Quality Assurance, Style Analysis, Library/Class Management, Code Review, Software Metric, Standards Adherence, and C++ Corporate Compliance Problems.
-
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
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
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
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
