Filter Results By:
Products
Applications
Manufacturers
-
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
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
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
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
In-depth Execution Time Analysis For Critical Software
RapiTime
*Timing analysis (inc. WCET) for Ada, C & C++ on-target & host**Identify code to optimize for worst-case behavior*Debug rare timing events*Simplify verification through integration with your CI tool*Produce evidence for DO-178 and ISO 26262 certification
-
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
Tool
Imagix 4D
Imagix 4D is a tool to understand, document and improve complex, third party or legacy source code in C, C++ and Java. Imagix 4D automates the analysis of control flow and dependencies. It detects problems in data usage and task interactions. With Imagix 4D you increase productivity, improve quality, and reduce risk.
-
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
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
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
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
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
360 DV-Inspect
Automatic and exhaustive analysis of a code base for classic implementation problems.
-
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
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
Objective Interface Systems Overview
Objective Interface Systems (OIS) was founded in 1989 with the goal of providing products that enable customers to build vastly superior information systems and technologies.OIS's products allow the system and software engineers to assemble flexible systems with incredibly agile communications infrastructures.The products enable real-time, embedded, and high-performance systems based on standards-based communications infrastructures on a wide variety of deployment environments. These tools result in systems that are more flexible, reliable, predictable, and correct than what was previously possible. OIS products are the Heart of Communications.OIS provides the most reliable products available. Every OIS software engineer is trained in DO-178B safety-critical engineering processes, Software Considerations in Airborne Systems and Equipment Certification. This well-established process standard arguably provides the best method for achieving high-correctness in engineering processes. Every line of OIS product source code goes through an arduous multi-person peer review and requirements traceability analysis. Critical sections get even more scrutiny. Every product build goes through automated regression testing and verification by a group independent of the developers.
-
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 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
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
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
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
LabVIEW Tools for Digital Filter Design and Implementation
LabVIEW Digital Filter Design Toolkit
The LabVIEW Digital Filter Design Toolkit extends LabVIEW with functions and interactive tools for the design, analysis, and implementation of digital filters. New digital filter users can explore classical designs with the built-in interactive design tools, while experienced users can find a breadth of algorithms, filter topologies, and analysis tools for both fixed- and floating-point digital filters. For fixed-point filters, you can model quantization effects, optimize numeric representation/topology, and deploy the design on a digital signal processor or FPGA using automatically generated ANSI C or LabVIEW FPGA code.
-
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
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
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
ARINC-708/453 2-Channel Test & Simulation Module for the Weather Radar Display Databus
M8K708
The M8K708 module is an ARINC-708 / 453 2-channel test and simulation module for the Weather Radar Display Databus. The M8K708 supports two ARINC-708 / 453 channels, each selectable as transmit or receive. Each channel implements an 64K×16 FIFO and supports polling and/or interrupt driven operation.The M8K708 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. In addition, Excalibur produces adapter cables that convert the carrier board I/O Molex™ connector to two twinax CJ70-49 connectors. The cable may be purchased at an additional cost.
-
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
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
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
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.
