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
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
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
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
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
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
Source Code Review
-
If code is legacy and massy and application is not performing well enough ,want to optimize your application internal structure.
-
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
FPGA Toolkits & IP
-
Curtiss-Wright Defense Solutions
Our tools and source code for use with our Xilinx Virtex and Kintex-based FPGA products include- FusionXF simplifies the development of FPGA-based application code by allowing developers to concentrate on their application without needing to worry about system integration of the hardware and operating system interface. The DDC family of IP cores supports decimation from 2 to 64 in complex mode and 2 to 32 in real mode
-
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.
-
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
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
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
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
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
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
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
FRAMOS SLVS-EC RX IP CORE
-
Sony’s SLVS-EC interface standard has emerged as the best high speed interface to Sony’s best image sensors, enabling higher throughput, greater signal integrity, and simpler designs. Engineers developing solutions using Xilinx FPGAs and SoCs can take advantage of FRAMOS’s SLVS-EC RX IP Core, Evaluation Board and tested source code examples. Device builders and camera vendors can de-risk the design while reaping the benefits of Sony’s latest high-speed interface.
-
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
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
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
Welcome To GLCD Font Creator V1.0.0
-
GLCD Font Creator is the ultimate font creation utility for embedded systems. It lets you create fonts for Liquid Crystal Displays (LCD) and Graphic LCD. It provides a very nice and intuitive user interface. GLCD Font Creator lets you create fonts and symbols from scratch, or by importing existing fonts on your system. It lets you modify and adjust them for your needs, apply effects to them, and finally export them as source code for use in your favorite language compiler.
-
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
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
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
Sensor
Lepton
-
The FLIR Lepton™ is the most compact longwave infrared (LWIR) sensor available as an OEM product. It packs a resolution of 80 × 60 or 160x120 pixels into a camera body that is smaller than a dime. This revolutionary camera core is poised to equip a new generation of mobile and handheld devices, as well as small fixed-mount camera systems, with thermal imaging capabilities never seen before. Lepton contains a breakthrough lens fabricated in wafer form, along with a microbolometer focal plane array (FPA) and advanced thermal image processing. In order to support the lepton and make it easy to use, we have developed a breakout board to support the module along with example source code. Please see the Lepton Thermal Camera Breakout Datasheet for more information.
-
Product
Code Coverage Analyzer
BullseyeCoverage
-
BullseyeCoverage is a code coverage analyzer for C++ and C that tells you how much of your source code was tested. You can use this information to quickly focus your testing effort and pinpoint areas that need to be reviewed. Code coverage analysis is useful during unit testing, integration testing, and final release. BullseyeCoverage enables you to create more reliable code and save time.
-
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
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.
