Filter Results By:
Products
Applications
Manufacturers
-
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
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
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
Intelligent Interface Card
IIB-1553-CPCI
The IIB-1553-CPCI is an intelligent interface card providing full MIL-STD-1553 test, simulation and bus analysis capability for the CompactPCI bus, with 1553A, 1553B, McAir and STANAG 3838 capability on a single card.The IIB-1553-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 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. The unit provides a dual redundant 1553 interface.2 Mbytes of dual ported RAM are supplied as standard. The board is supplied with C drivers in source code and Windows menu driven software.
-
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
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 information appended to each word, and also 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 EXC-9810 supports up to four independent 8000 family avionics communication modules, allowing multiple different protocols to be mixed and matched on a single card. Modules available include MIL-STD-1553, MIL-STD-1760, MMSI, ARINC-429, ARINC-708, ARINC-717, Serial, Discrete and CAN bus. 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-9810/Ax 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). Please see multi protocol 8000 modules for additional information on protocols that can be added to this card.
-
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
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
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
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
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
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
Motor Tester
FISHER TESTERS AUTOMATIC TEST EQUIPMENT
Dual Station Loaded Motor Tester including Automatic Shaft Engagement, Automatic Bar Code Scanners, Full Spectrum Vibration Analysis (8 bands) with Automatic Accelerometer Placement and Reject Printer.
-
product
Software Tools for Efficient Code Development and Analysis
Verissimo SystemVerilog Testbench Linter
SystemVerilog is a rich object-oriented programming language that provides powerful constructs and a high level of programming flexibility. Such capabilities meet the needs of today's complex design and verification requirements, but at the same time introduce new challenges in code development. For example, the possibility of implementing the same functionality in multiple ways may impact the simulation performance or lead to unexpected behavior.
-
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
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
Java Testing, Static Analysis, Code Review
Jtest
Parasoft Jtest is a complete Java developer's quality suite for static code analysis, code review, automated unit and component testing, coverage analysis, and regression testing ? on the desktop under leading IDEs and in batch processes.
-
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
Simulation and Model-Based Design
Simulink
Simulink is a block diagram environment for multidomain simulation and Model-Based Design. It supports system-level design, simulation, automatic code generation, and continuous test and verification of embedded systems. Simulink provides a graphical editor, customizable block libraries, and solvers for modeling and simulating dynamic systems. It is integrated with MATLAB, enabling you to incorporate MATLAB algorithms into models and export simulation results to MATLAB for further analysis.
-
product
360 DV-Inspect
Automatic and exhaustive analysis of a code base for classic implementation problems.
-
product
Coverage Analysis
VeroSource
VeroSource-A verifies that all complex decisions (i.e., decisions with at least two conditions) have taken all possible outcomes; and that every condition within the decision has taken all possible outcomes that have independently affected the decision’s outcome. VeroSource automates the capture and structural coverage analysis of the source code under test.
-
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
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
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
Data Loggers
The unit can acquire data from on-board interfaces at rates of up to 10 kilosamples per second, and from remote units via communications links. A high-performance on-board PowerPC microprocessor offering over 1000MIPS processing power hosts customer applications for real-time data analysis. Application code may be autocoded using our Graphical Development Environment (GDE) from Matlab/Simulink control modules. Data is logged to 2GB of on-board Flash memory and downloaded for analysis via a Gigabit Ethernet network connection.
-
product
Source Code Defect Analysis
TotalView® Debugger
Dynamic source code and memory debugging for C, C++ and Fortran applications. TotalView provides analytical displays of the state of your running program for efficient debugging of memory errors and leaks and diagnosis of subtle problems like deadlocks and race conditions.
-
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
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
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
