-
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 m...show more -
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 i...show more -
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
Image Color Analyzer Pro
*Color Analysis Pro App allows you to perform deep color analysis for any image. You can select local stored image or take a picture from your smartphone/tablet camera. *After the image, has been processed you will get full color information: such as: color name, group name, R.G.B, Hex Code, Color Percentage. *The results will be divided into sub-colors groups from the most dominance color to the less significant.*This App is used by variety of users such as: Medical researches, Trees industry, Design & Labels publishing, Photographs, painters and much more...
-
product
Model-Based Code Development and Verification
QGen
QGen is a qualifiable and tunable code generation and model verification tool for a safe subset of Simulink and Stateflow models. It reduces the development and verification costs for safety-critical applications through qualifiable code generation, model verification, and tight integration with AdaCore's qualifiable simulation and structural coverage analysis tools.
-
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-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 pr...show more -
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
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
ccVPX Card
EXC-4500ccVPX/xx
Each channel using the M4K1553PxS (RT validated) module operates either as a Bus Controller, Remote Terminal, or Bus Monitor.The EXC-4500ccVPX/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
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, AS56...show more -
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 infor...show more -
product
Image Color Analysis (iOS)
Color Analysis App allows you to perform deep color analysis for any image. you can select local stored image or take a picture from your smartphone camera. after the image has been processed you will get the color information : such as color name , RGB, Hex Code,Color Percent. the colors will be sorted from the most from the most dominance color to the less significant.You can also send the image color analysis results (as a PDF) using your email.
-
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
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)
-
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
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
Automated Memory Analyzer For Malware
VolatilityBot
VolatilityBot is an automation tool for researchers cuts all the guesswork and manual tasks out of the binary extraction phase, or to help the investigator in the first steps of performing a memory analysis investigation. Not only does it automatically extract the executable (exe), but it also fetches all new processes created in memory, code injections, strings, IP addresses, etc.
-
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
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
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 ...show more -
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
LDRA Tool
Automating Software Verification, Requirements Traceability and Standards Compliance*Automating unit test and system-level test*Automatically producing software certification and approval evidence*Planning for and executing requirements-based testing*Performing and reporting coverage analysis on all code down to the target level*Unit test and system-level testing on virtually any host or target platform*Complying the coding standards (industry and user-defined)
-
product
Inspecode
GitHub and Bitbucket integration, custom error thresholds allowed to merge PRs, and parralelized analysis means dramatically more efficient code reviews.
-
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
Static Code Analyzer
HelixQAC
For over 30 years, Helix QAC has been the trusted static code analyzer for C and C++ programming languages. With its depth and accuracy of analysis, Helix QAC has been the preferred static code analyzer in tightly regulated and safety-critical industries that need to meet rigorous compliance requirements. Often, this involves verifying compliance with coding standards — such as MISRA and AUTOSAR — and functional safety standards, such as ISO 26262.
-
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, c...show more -
product
Software Platform Bundle
The Software Platform Bundle provides the entire NI software portfolio for building any application. Develop applications in multiple environments, including LabVIEW Professional, LabWindows/CVI, and Measurement Studio. Extend the functionality of the LabVIEW development environment with all add-ons to perform code deployment, hardware integration, data analysis, and code validation. Build automated test systems with TestStand and real-time test systems with VeriStand.
-
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
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 ...show more