Filter Results By:
Products
Applications
Manufacturers
-
product
Code Analysis
Kiuwan
Identify code defects & vulnerabilitesto manage your remediation effortsBlazingly fast analysis in a collaborative and unlocalized environment.
-
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
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
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
DAWN Dashboard
An HEM Data custom website dashboard offers the following features for you to choose from:* Receive file uploads from the data logger.* Automatically convert the messages to scaled, engineering parameters.* Store the data in a database for fast access and analysis. A secure data warehouse.* Confirm data validity as the data comes to the dashboard. Send an early warning if data is invalid, not logged properly, or stops arriving at the server (logger removed or malfunctioned).* Query the database to find the results of interest.* Display the results as a dashboard using a variety of formats such as histograms, Y-T and X-Y plots, meters, maps, indicators and tables.* Send alerts as a text message or email when user-defined conditions occur. Sample alerts include: unacceptable driver behavior (excessive speed, deceleration, idle time, etc.), geofencing (in or outside a designated area), operating parameters out of range, trouble codes, and fuel theft.* Download files automatically or manually from the website to a local PC for further analysis.
-
product
For Windows 3.0
Smith Chart
Antenna Design Associates, Inc.
Smith Chart 3.0 is a Windows-compatible software package for the analysis and design of transmission line circuits, impedance matching problems, and transistor amplifier design. Some of the new features of version 3.0 include the following:32-bit compiled code, resulting in fast executioncompletely redesigned user interfaceautomation of basic Smith chart operationsdesign of impedance matching networksplotting of up to two Smith chart data setsplot amplifier stability circlesplot amplifier constant gain circlesplot rotated 1 + jx circlelist or save data setsuse impedance, admittance, or reflection coeff.print chart or full windowcopy chart or full window to clipboardset colors of data points, cursors, backgroundonline help for Smith Chart 3.060 page User Manual, with Smith chart tutorial
-
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
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
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-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 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. 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
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-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
Intelligent Interface Card
IIB-1553-PC104+
The IIB-1553-PC104+ is an intelligent interface card giving full MIL-STD-1553 test, simulation and bus analysis capability on the PC104+ bus, providing 1553A, 1553B, McAir and STANAG 3838 variants in a single 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 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 variable amplitude 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
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
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
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
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
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
Software Development Kit
InterNav®
Open architecture software with interface source code and analysis tools for integrating GPS, inertial, and other aiding sensors on a VxWorks, Linux, or Windows computer.
-
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
Software Tools for Efficient Code Development and Analysis
Specador Documentation Generator
Specador is a tool that automatically generates accurate HTML documentation from comments inserted in the source code. It works in batch mode (command line) and uses dedicated language parsers.
-
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
Klocwork
Detect security, safety, and reliability issues in real-time by using this static code analysis toolkit that works alongside developers, finding issues as early as possible, and integrates with teams, supporting continuous integration and actionable reporting.
-
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 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
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
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
C and C++ Testing, Static Analysis, Code Review
C++test
Parasoft C++test is a complete C/C++ 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. Available for common enterprise and embedded environments.
-
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
