Active-HDL NEW

vendor: Aldec

Windows® based, integrated FPGA design creation and simulation solution for team-based environments.
LDRAvault NEW

vendor: LDRA

LDRAvault provides a web-interface that automatically aggregates reports and results from the LDRA tool suite.
aiT WCET Analyzer NEW

vendor: Absint

Statically analyze a task’s intrinsic cache and pipeline behavior based on formal cache and pipeline models.
aiTWCET Analyzer NEW

Statically analyze a task’s intrinsic cache and pipeline behavior…

Astreè TOP

Statically analyzes whether the programming language is used correctly…

CompCert

Formally verified optimizing C compiler…

Qualification Support

Let you simplify and automate the qualification process considerably…

StackAnalyzer

Automatically determines the worst-case stack usage of the tasks…

TimeProfiler

Helps you identify application parts that cause worst execution time . . .

TimeWeaver

Estimates the worst-case execution time (WCET) of tasks . . .

Active-HDL TOP

Windows® based, integrated FPGA design creation and simulation solution…

Alint-PRO

Design verification solution for RTL code written in VHDL, Verilog, and SystemVerilog…

DO-254/CTS

Fully customized hardware and software platform that augments target board testing…

HES NEW

Feature-rich family of SoC/ASIC pre-silicon physical prototyping and hardware embedded…

HES-DVM

Fully automated and scalable hybrid verification environment for SoC and ASIC design…

QEMU Co-Sim

HW/SW cosimulation interface between RivieraPRO and QEMU…

Riviera-PRO TOP

Addresses verification needs of engineers crafting tomorrow’s cutting-edge FPGA…

RTAX-RTSX

Reprogrammable prototyping solution for Microchip RTAX-S/S and RTSX-SU space-flight…

Spec-TRACER

Unified requirements lifecycle management solution designed for FPGA and ASICs…

TySOM

Xilinx and Microcip family of embedded system prototyping boards FPGAs based…

OpenArbor TOP

An Eclipse-based IDE & Tool Set for Embedded Real-time…

Deos

A Time & Space Partitioned RTOS Verified to DO-178C DAL A Guidance…

HeartOS

A POSIX-based Hard Real-time Operating System (RTOS)…

ICAP/4 Pro

A fully integrated hierarchical…

ICAP/4 RF Deluxe

Expands ICAP/4Rx with focused RF…

ICAP/4 Rx

Your prescription for reducing…

ICAP/4 Rx Power Deluxe

Expands ICAP/4Rx with focused power…

ICAP/4 Win

An extensive SPICE toolset for for analog…

ICAP/4 Win Power Deluxe

Expands the ICAP/4 Windows tool suite..

ICAP/4 Win Power/RF Deluxe

Combines the ICAP/4Windows Power & RF Deluxe…

ICAP/4 Win RF Deluxe

Expands the ICAP/4Windows tool suite with RF …

Power Supply Designer

Combines the ICAP/4Windows Power Deluxe & Library…

Test Designer™

Features the ICAP/4 PRO analog and mixed-signal…

Jama Connect

Improve quality, reduce rework, prove compliance, and get to market faster

LDRA Tool Suite

Flagship platform that delivers open and extensible solutions…

LDRAcover

Cost-effective, stand-alone code coverage tool…

LDRArules

Cost-effective, stand-alone rules checker…

LDRAunit

Cost-effective, stand-alone unit and integration testing tool…

LDRAvault

LDRAvault provides a web-interface that automatically aggregates reports…

TQSP TOP

Generic term to describe a process designed to ensure that the risk…

QNX Black Channel Communications

A safe software solution for data communications in embedded systems…

QNX Hypervisor

Consolidate diverse embedded systems with different reliability and security requirements…

QNX Hypervisor for Safety

Consolidate multiple operating systems with different safety requirements on a single system-on-a-chip…

QNX OS for Safety

An embedded OS pre-certified for IEC 61508 SIL3, ISO 26262 ASIL D and IEC 62304 Class C…

QNX Software Dev Platform 7.1 TOP

Comprehensive software platform for mission-critical embedded systems…

QNX Software Dev Platform 8.0 NEW

Foundational development platform for the next generation…

Safety Certifications

Streamline safety certifications and compliance with embedded software solutions from BlackBerry QNX…