Source Code
-
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
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
Source Code Review
-
If code is legacy and massy and application is not performing well enough ,want to optimize your application internal structure.
-
Product
Precision Source Code
Miniport Code
-
We offer precision source code to jump start your development putting you close to the finish line right from the start.
-
Product
Low speed Serial Interfaces
12C/ 12S/ SPI/ UART
-
Arasan has a diverse portfolio of connectivity IP products including SPI, I2C, I2S and UART. These protocols are vital for the integration of SoCs with peripheral chipsets in order to form a complete hardware platform. They are frequently used by the SoC to configure, control and gather diagnostic information at the platform level to ensure correct operation of the hardware.Arasan's proven Connectivity IP Solutions provides a risk free path to integrating these interfaces in SoC designs:High quality IP cores ensure inter-operability between SoCs and peripheralsIn-house domain expertise ensures a high quality support throughout the SoC development cycleTotal IP solution includes RTL source code, synthesis scripts, test environment and documentation
-
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
Supply Chain Software
-
Take a new approach to governing open source code and CI/CD pipelines with a platform that saves time and accelerates product development.
-
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
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
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
ARINC-429 Multi-Channel Test & Simulation Module for Excalibur 8000 Family of Carrier Boards
M8K429
-
The M8K429 is an ARINC-429 multi-channel test and simulation module to be used on the Excalibur 8000 family of carrier boards. The module supports up to five ARINC-429 channels in any combination of transmitters and receivers. Each of these channels feature error injection and detection capabilities. The receive channels allow for the storage of all selected Labels with status and time tag information appended to each word. The receivers 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 M8K429 comes complete with C-driver software library including the source code.
-
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
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
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
ARINC 429 Multichannel Interface Card for Mini PCI Systems
DAS-429mPCI/RTx
-
The DAS-429mPCI/RTx is an ARINC 429, multichannel interface card for Mini PCI systems. The card’s small size and suitability for Mini PCI notebook computers, make them 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 DAS-429mPCI/RTx is supplied with C drivers, including source code and Mystic application program.
-
Product
PCI Direct Digital Synthesizers
SYNTH300 SERIES
-
These devices provide two synchronized DDS-based RF channels on a single PCI card. With fine frequency and phase control, triggered operation, and the ability to accept an external clock, the Synth300 products enable a number of advanced applications at a fraction of the cost of conventional equipment. In addition to two analog outputs, the product can be ordered with one (or two) LVDS outputs for programmable digital clock applications, and can be configured for control by externally supplied TTL signals for low-latency triggered operation such as PSK, FSK, and triggered sweep operation.Software support for Windows Vista, Windows XP,Linux and Labview source code availableFor detailed specifications, please refer to the Synth300_Manual
-
Product
Code Coverage Branch Monitor
CCBM
-
Verified Systems International GMBH
The Code Coverage Branch Monitor (CCBM) is a set of utilities that allow instrumentation of C source code for the purpose of branch coverage measurement. This encompasses operations for code instrumentation, removal of this instrumentation, retrieval of coverage information, merging coverage information, and displaying this information with reference to the (original) 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
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
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
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
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 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
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
Rugged Ethernet System Supporting up to Four Independent 8000 Family Avionics Communication Modules
ES-9810/xx
-
The ES-9810/xx is a rugged ethernet system supporting up to four independent 8000 family avionics communication modules, allowing multiple different protocols to be mixed and matched in a single system. Modules available include MIL-STD-1553, MIL-STD-1760, MMSI, ARINC-429, ARINC-708, ARINC-717, Serial, Discrete and CAN bus.The ES-9810/xx is supplied with C drivers, including source code. Mating connectors and cable adapters for I/O connection can be purchased seperately.
-
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
Welcome To GLCD Font Creator V1.0.0
-
GLCD Font Creator is the ultimate font creation utility for embedded systems. It lets you create fonts for Liquid Crystal Displays (LCD) and Graphic LCD. It provides a very nice and intuitive user interface. GLCD Font Creator lets you create fonts and symbols from scratch, or by importing existing fonts on your system. It lets you modify and adjust them for your needs, apply effects to them, and finally export them as source code for use in your favorite language compiler.
-
Product
Software Escrow
-
International companies, official bodies, municipal councils, non-profit organisations and cultural institutions all have to safeguard the software that maintains their competitive edge. Should a problem occur, they need to prevent their software from losing value and causing major disruption to their business operations. To do this, they have to be able to access their software source code. Which is where software escrow comes into play.
-
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.
