Filter Results By:
Products
Applications
Manufacturers
-
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
Static Code Analysis Tool
Klockwork
Klocwork integrates seamlessly into desktop IDEs, build systems, continuous integration tools, and any team's natural workflow. Mirroring how code is developed at any stage, Klocwork prevents defects and finds vulnerabilities on-the-fly, as code is being written.
-
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
Static Analysis Tool
CodeSonar
Automated static analysis designed for zero-tolerance defect environments. CodeSonar, GrammaTech''s flagship static analysis software, identifies programming bugs that can result in system crashes, memory corruption, leaks, data races, and security vulnerabilities. By analyzing both source code and binaries, CodeSonar empowers developers to eliminate the most costly and hard-to-find defects early in the application development lifecycle.
-
product
STANAG3910/EFEX Modules
AIM’s STANAG3910/EFEX test, simulation, monitoring and analysis modules use our field proven Common Core hardware design giving you the best performance, best feature set and highest functional integration on the market. The use of SoC (System on Chip) based core designs with multiple processors for real time bus protocol and application support, massive memory and IRIG-B time code encoder/decoder functions are standard. The latest versions also support avionics discrete I/O. Configurations with dual redundant concurrent HS/LS Bus Controller (BC), Multiple Remote Terminals, and Chronological/Mailbox Bus Monitor operation with full HS/LS protocol error injection/detection, multi-level triggering, advanced capture/filtering and real time bus recording, time stamping and physical bus replay ensure your bus integrity. Support for EFAbus Direct Digital Links (DDL), Fibre Optic DDL (FODDL) and EFAbus Express extensions (Mixed Mode and Dual Mode operation) are available. To support the French ‘Rafale’ aircraft, modules are available with an Electrical Front End. Single Function variants support cost effective solutions. Each module is delivered with a Board Support Package (BSP) containing the onboard driver software, a full Application Programming Interface (API) and detailed getting started and programming guides. Powerful PBA.pro databus test and analysis software is optionally available for all our STANAG3910 modules.
-
product
AFDX®/ARINC664P7 Modules
AIM’s AFDX®/ARINC664P7 test, simulation, monitoring and analysis modules use our field proven Common Core hardware design giving you the best performance, best feature set and highest functional integration on the market. The use of SoC (System on Chip) based core designs with multiple processors for real time bus protocol and application support, massive memory and IRIG-B time code encoder/decoder functions are standard. Versions are available to support the Boeing specific ARINC664P7 extensions.
-
product
Inspecode
GitHub and Bitbucket integration, custom error thresholds allowed to merge PRs, and parralelized analysis means dramatically more efficient code reviews.
-
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
Dual Port Simulator Fiber Channel XMC Module
XMC-FC4 Simulyzer
*Two independent fiber channel ports*The two SFPs accept electrical as well as optical transceivers*Each port supports 1, 2, or 4 Gbps*Supports customer-specific defined transmission speed*Comprehensive decoding of FC-1, FC-2 and Upper Layer Protocol (ULP) frames*Triggering and filtering*Supports DMA for high-speed streaming*IRIG-B time code encoder / decoder for data correlation*Supports ULPs such as FC-AE-ASM, FC-AE-RDMA, FC-AE-1553 and FC-AV*Supports HS-1760E applications such as AS5653, AS5652 and AS5627*Optional fcXplorer, Windows-based FC simulation and analysis test software*FC SDK (Software Development Kit) provides drivers and APIs for Windows XP / 7,*Linux, VxWorks, QNX Neutrino RTOS and others on request
-
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
Source to Object Code Analyser
RTT-STO
Verified Systems International GMBH
RTT-STO is a software analysis tool-suite that automatically performs static program analyses of C code and assembly required to receive certification credit for source-to-object code validation in the context of safety-critical avionics software.
-
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
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
Spirent SecurityLabs
The Spirent SecurityLabs’ services are structured to produce high-impact results with minimal impact on the client organization. Our dedicated teams of experienced security professionals offer comprehensive scanning, penetration testing and monitoring services for networks, applications and devices, as well as source code analysis.
-
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
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
IQ Test Team Edition
McCabe
McCabe IQ Test Team Edition provides comprehensive test / code coverage to focus, monitor, and document software testing processes. Using industry-standard testing methods and advanced dynamic analysis techniques, McCabe IQ Test Team Edition accurately assesses the thoroughness of your testing and aids in gauging the time and resources needed to ensure a well-tested application.
-
product
ARINC 429 Bus Interfaces
AIM’s > ARINC 429 test, simulation, monitoring and analysis modules use our field proven Common Core hardware design giving you the best performance, best feature set and highest functional integration on the market. The use of SoC (System on Chip) based core designs with multiple processors for real time bus protocol and application support, massive memory and IRIG-B time code encoder/decoder functions are standard. The latest versions also support avionics discrete I/O.
-
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
Electromagnetic Simulation Software Suite
EMTOOLS
EMTOOLS is a computational electromagnetic (CEM) software suite comprised of 16 different software codes. ACAL (Advanced Complex Algebra Library) is an out-of-core linear system solution library, using a hyper-matrix approach to partition the problem. The AntFarm™ (Antenna Farm) toolkit analyzes the radiation and electromagnetic interference (EMI) effects of single or multiple heterogeneous RF systems. Apatch™ software is an antenna design and analysis tool that provides antenna simulation and modeling by computing the radiation and receiving pattern of an antenna or antenna array installed in an operational environment...
-
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
Static Design Verification
ALINT-PRO
ALINT-PRO™ is a design verification solution for RTL code written in VHDL, Verilog, and SystemVerilog, which is focused on verifying coding style and naming conventions, RTL and post-synthesis simulation mismatches, smooth and optimal synthesis, correct FSM descriptions, avoiding problems on further design stages, clocks and reset tree issues, CDC, RDC, DFT, and coding for portability and reuse. The solution performs static analysis based on RTL and SDC™ source files uncovering critical design issues early in the design cycle, which in turn reduces design signoff time dramatically. Running ALINT-PRO before the RTL simulation and logic synthesis phases prevents design issues spreading into the downstream stages of design flow and reduces the number of iterations required to finish the design.
-
product
Zero-footprint Event-level Scheduling Analysis For Critical Software
RapiTaskZero
*Gain insight into your application through scheduling analysis*Locate rare timing events that need attention*Identify bottlenecks in your application by analyzing capacity issues *Compare scheduling algorithms from different RTOSs*Visualize scheduling behavior of libraries without source code
-
product
Structural Analysis Professional Software
Robot™
Robot Structural Analysis Professional software provides engineers with advanced BIM-integrated analysis and design tools to understand the behavior of any structure type and verify code compliance.
-
product
PANAVIA Modules
AIM’s PANAVIA test, simulation, monitoring and analysis modules use our field proven Common Core hardware design giving you the best performance, best feature set and highest functional integration on the market. The use of SoC (System on Chip) based core design with one processor for real time bus protocol support, massive memory and IRIG-B time code encoder/decoder functions are standard. AIM delivers versions of our modules with extended temperature range and conformal coating. With 8 Tx and 8 Rx channels per module, functions include autonomous transmit sequencing, continuous clock and data transmissions, host controlled double buffering, programmable interrupts, data selection on specific tag identifier, selectable triggers on data and/or tags with full protocol error injection/detection, real time bus recording and time stamping to ensure your bus integrity. Each module is delivered with a Board Support Package (BSP) comaptible to the legacy PCI and cPCI hardware modules.
-
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
Coverage Analysis
VerOCode
VerOCode can use the same requirements-based tests that were used in functional testing to automate the capture and analysis of structural coverage testing without instrumenting the code under test. This is part of the process used at Verocel. It then records and displays the instructions executed in a program under test, and for conditional instructions, records and displays the state of the condition code at each execution of the instruction. Structural coverage is obtained at the machine code level using the integrated image, with results reported through an annotated program listing containing the source and machine code level expansion
-
product
Smart Analysis for PHP
PHPSA
PHPSA is a development tool aimed at bringing complex analysis for PHP applications and libraries.*Static analysis*Code metrics*Branch prediction*Sandbox (AST) Compiler
-
product
Mainframe Debugging and Analysis
Xpediter
Xpediter is Compuware's mainframe application interactive debugging and code coverage solution. When an application experiences a problem, developers need to get into an interactive test session to solve the issue. However, complex setup procedures make this a time-consuming step and delay the resolution process.Compuware's mainframe debugging and analysis tool Xpediter enables developers to get into an interactive test session with minimal effort and quickly move applications into production with greater confidence.
-
product
ARINC 429 USB & LAN Test & Simulation Module
UXI-429
Avionics Interface Technologies
8 Channel (4Tx/4Rx) & 16 Channel (8 Tx/8 Rx) models available - Programmable Tx channel output amplitude - Programmable high/low speed operation - Concurrent operation of all Tx/Rx channels at high speed rates - Full error injection & detection - Rate-oriented label transmission - Label selective trigger for capture/filtering - Real-time recording & post analysis of multiple channels - Physical Bus Replay - Onboard IRIG-B time code encoder/decoder for Synchronization - Time Synchronization to IEEE 1588 via Ethernet LAN port - 10 Discrete I/O Interfaces (5 Outputs / 5 Inputs)
