Filter Results By:
Products
Applications
Manufacturers
-
product
Zero-footprint Timing Analysis For Critical Software
RapiTimeZero
*Collect timing metrics from systems that produce branch traces* Identify code to optimize for worst-case behavior*Debug rare timing events*Simplify verification through integration with your CI tool*Analyze timing behavior of libraries without source code
-
product
Software Test Tool
testIDEA
The basic premise behind the development of testIDEA was simple: if our development tools have access to the source code and binary code of an embedded application, and our debug hardware can access all of the internal workings of the microcontroller, surely we can simply test embedded software on the target microcontroller.
-
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
Time Code Generators
Masterclock's time code generators provide a source of very stable time code and accurate time and date information. The GPS500 extracts timing reference from GPS satellite signals and generate time code synchronized to within less than 10 microseconds of UTC (Universal Coordinated Time). It can output IRIG-B with and without IEEE 1344 date encoding, SMPTE/EBU, NMEA 0183, Kinemetrics/Truetime, and 1PPS.
-
product
IRIG Timecode Receiver and Generator
RG1
The RG1 Time Code receiver synchronizes to IRIG-A/B/G time codes and provides precise time in a memory register, for the host SBC.The IRIG output of the card can be used to synchronize other IRIG time code readers. Additionally, the RG1 includes a real-time clock (RTC) that may be used as a reference source for IRIG master applications, to free the system processor from the task of updating the master timer.
-
product
Circuit Design Tool
SA-Designer lets you design actual analog front-end circuits employing Smart Analog products (Note1) and then generates the circuit data as C source code.
-
product
PCI Express Timecode and GPS Reader Generator
PCIEX-SyncClock
The PCI-Express time code reference timing card with standard options such as IRIG B and optional GPS receiver provides an extremely accurate time source to the PCI-Express bus.
-
product
SourceGuard
SourceGuard protects intellectual property for source code while increasing performance. It accomplishes this by packaging scripts for distribution. Then, it gives them an environment to run in where it conceals their contents.
-
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
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
DoubleCheck Static Analysis Tool
Static analyzers attempt to find code sequences that may result in buffer overflows, resource leaks, or many other security and reliability problems. Source code analyzers are effective at locating a significant class of defects that are not detected by compilers during standard builds and often go undetected during run-time testing or typical field operation.
-
product
Ada Embedded Software Test Solution
VectorCAST/Ada
An integrated software test solution that significantly reduces the time, effort, and cost associated with testing Ada software components necessary for validating safety- and mission-critical embedded systems. VectorCAST/Ada parses your source code and invokes code generators to automatically create the test code (stubs and drivers) required to construct a complete, executable test harness.
-
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
Function / Arbitrary Waveform Generator
DG5000 Series
Dg5000 series has 6 functions, including any waveform generator, pulse generator, IQ baseband / if source, frequency hopping source, code generator and function generator. The series includes single and dual channel models. The functions of the two channels are completely equal, and the phase between channels is precisely adjustable.
-
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
FPGA Toolkits & IP
Curtiss-Wright Defense Solutions
Our tools and source code for use with our Xilinx Virtex and Kintex-based FPGA products include- FusionXF simplifies the development of FPGA-based application code by allowing developers to concentrate on their application without needing to worry about system integration of the hardware and operating system interface- The DDC family of IP cores supports decimation from 2 to 64 in complex mode and 2 to 32 in real mode
-
product
Zero-footprint Coverage Analysis For Critical Software
RapiCoverZero
*Collect coverage from systems that produce branch traces*Save time with efficient merge and mark verification workflow*Simplify verification through integration with your CI tool*Collect coverage for libraries without source code
-
product
Formally Verified Optimizing C Compiler
CompCert
AbsInt Angewandte Informatik GmbH
Meet the highest levels of software assurance by compiling your application with the only C compiler that's been formally verified to be free of miscompilation issues. All safety properties verified on the source code, e.g. with Astre, are guaranteed to hold for the generated executable as well.
-
product
Laser Diode Source Product Family
LDS-7200
5 nanometers tuning range• 10 picometer setpoint accuracy• 0.1 picometer resolution• 20mW output power• 0.005 dB power stability• Built-in coherence control• Integrated function generator• USB remote interface• Application program with source code
-
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
Portable Electrical Management Systems
EMS-PT30C
Progressive Industries Portable Electrical Management Systems (EMS) offer quick and easy RV electrical protection. A true plug-and-play application with no installation required. You will feel secure with multi-mode surge, voltage, polarity, and lost/open neutral protection. Each unit includes a digital display, scrolling continuously through the power source information: voltage(s), current frequency, error code, and previous error code (if applicable). Additionally, the computer is driven by state of the art microprocessors.
-
product
RV Power Protection with Surge
EMS-PT50C
Progressive Industries Portable Electrical Management Systems (EMS) offer quick and easy RV electrical protection. A true plug-and-play application with no installation required. You will feel secure with multi-mode surge, voltage, polarity, and lost/open neutral protection. Each unit includes a digital display, scrolling continuously through the power source information: voltage(s), current frequency, error code, and previous error code (if applicable). Additionally, the computer is driven by state of the art microprocessors.
-
product
Zero-footprint Event-level Scheduling Analysis For Critical Software
RapiTaskZero
*Gain insight into your application through scheduling analysis*Locate rare timing events that need attention*Identify bottlenecks in your application by analyzing capacity issues *Compare scheduling algorithms from different RTOSs*Visualize scheduling behavior of libraries without source code
-
product
Fibre Channel Software Development Kit
Fibre Channel SDK
Avionics Interface Technologies
Software Drivers for Windows, Linux, VxWorks, and other Operating Systems (on request) - Compatible with all Fibre Channel Interface Modules - Includes documented APIs with source code examples for ANSI C, C++, and LabVIEW - Support provided by AITs industry leading applications engineering team
-
product
Version Control System
Helix Core
Perforce Helix Core is the leading version control system for teams who need to accelerate innovation at scale. Store and track changes to all your digital assets, from source code to binary to IPs. Connect your teams and empower them to move faster and build better.
-
product
Software Analytics in the Cloud
Know the risks, the technical debt, the security flaws, the performance issues… create automatic action plans and analyze their progress. Make better decisions, faster, with Kiuwan Software Analytics! Kiuwan is the Optimyth cloud solution for the Certification, Management and Government of the quality and productivity of the source code of your business critical application portfolios.
-
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
SpaceWire LabVIEW Driver VISA
137
STAR-Dundee's SpaceWire LabVIEW VISA driver has been implemented as a native LabVIEW driver, providing support for the STAR-Dundee PCI family of devices. Software written to control these devices may be deployed on any hardware platform that supports cPCI/PCI and NI-VISA, including both Windows based hosts and LabVIEW Real-Time targets, without requiring modifications to source code. The software is provided as LabVIEW source with password protected block diagrams, allowing users to compile for any target.
-
product
Express Multi Protocol Board
EXC-8000PCI
The EXC-8000PCIe is a PCI Express card supporting up to eight 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.The EXC-8000PCIe supports extensive error injection and detection capabilities, IRIG B Time Code input, and can be ordered with an extended operating temperature range of -40ºC to +85ºC and conformal coating. The EXC-8000PCIe is supplied with C drivers, including source code.
-
product
Time Synchronization Card
PMC/XMC
IXI Technology’s highly-accurate card provides time down to 62.5ns resolution in UNIX format. Its time-sourced, disciplined, voltage-controlled crystal oscillator (VCXO) or optional CSAC not only allows it to provide sub-second resolution, but also to “flywheel” during the absence or loss of carrier. The module has a status LED that indicates when the internal time is synchronized with the input time code. The card provides a programmable offset on its internal time from the input time source. The generated IRIG-B or 1588 output can be configured to be synchronous to the chosen input time source or configured to use the best available time source.