Filter Results By:
Products
Applications
Manufacturers
-
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
Coverage Analysis Tool
GNATcoverage
GNATcoverage performs coverage analysis on both object code instruction and branch coverage and Ada and C language source code statement, decision and Modified Condition/Decision Coverage (MC/DC). Unlike most current technologies, the tool works without requiring instrumentation of the executable. Instead, it runs directly on an instrumented version of GNATemulator, a lightweight and efficient emulator tool. GNAT Pro add-on.
-
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-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 Mini Munitions Store Interface (MMSI) Module for Excalibur 800 Family of Carrier Boards
M8KMMSI
The M8KMMSI is an intelligent, Mini Munitions Store Interface [MMSI] module for the multimode, multiprotocol, Excalibur 8000 family of carrier boards. Each module of the M8KMMSI 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 M8KMMSI module may be programmed to operate in one of three modes of operation: Remote Terminal, Bus Controller/Concurrent-RT/Concurrent Monitor and Bus Monitor.The M4KMMSI 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
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
Interface for Two Dual-Redundant 1760 Channels
EXC-1553PCMCIA/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. Each channel of the EXC-1553PCMCIA/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 Checksum, SRQ bit and Header Words as well as error injection and error detection. The card’s small size and compatibility with notebook computers make it the perfect solution for performing system simulation of the MIL-STD-1553 bus, in the lab and in the field.The EXC-1553PCMCIA/Px-1760 card 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.
-
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
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
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
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
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
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
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
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
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
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
Functional Testing
Functional testing is a pivotal element for strengthening the quality of developed software. Functional testing basically refers to the black box testing that evaluate a particular IT product with reference to the functional requirements indicated with its specification. Functional test analysis process involves the testing activities which measure the code of each component to assure quality.
-
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
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
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
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
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 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
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
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
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
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
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.
