Average Ratings 0 Ratings

Total
ease
features
design
support

No User Reviews. Be the first to provide a review:

Write a Review

Average Ratings 0 Ratings

Total
ease
features
design
support

No User Reviews. Be the first to provide a review:

Write a Review

Description

CodePeer is a highly effective static analysis toolkit designed specifically for Ada programming, enabling developers to thoroughly comprehend their code and create more robust and secure software applications. This powerful source code analyzer identifies potential run-time and logic errors, allowing for the detection of bugs prior to program execution while acting as an automated peer reviewer that simplifies the error-finding process throughout all stages of the development lifecycle. By utilizing CodePeer, developers can enhance code quality and streamline safety or security assessments. This stand-alone application is compatible with both Windows and Linux operating systems and can be utilized alongside any standard Ada compiler or seamlessly integrated into the GNAT Pro development environment. Furthermore, CodePeer has the capability to identify various critical vulnerabilities listed among the “Top 25 Most Dangerous Software Errors” in the Common Weakness Enumeration. It supports all iterations of Ada programming, including versions 83, 95, 2005, and 2012. Notably, CodePeer has received qualification as a Verification Tool under the established DO-178B and EN 50128 software standards, making it a reliable choice for developers aiming to adhere to rigorous safety protocols. Additionally, the tool empowers users to proactively address issues, fostering a more efficient and confident development process.

Description

The Rapita Verification Suite (RVS) serves as a thorough toolsuite for on-target software verification, designed to test, analyze, and generate certification evidence for critical embedded systems, thereby assisting developers in achieving safety and reliability in compliance with standards such as DO-178C and ISO 26262. By merging static and dynamic analysis methods, it conducts requirements-based functional tests, evaluates structural code coverage (including MC/DC), and examines execution as well as worst-case timing performance directly on the target hardware while providing visualization of task-level scheduling; this equips developers with profound insights into system performance and behavior in real-world scenarios. Additionally, RVS seamlessly integrates with current build systems, embedded targets, and third-party applications, maintaining minimal instrumentation overhead, while also supporting multicore timing analysis. It further enhances the certification process for aviation and automotive projects by offering qualification kits and tailored services, making compliance easier for developers. Ultimately, RVS not only streamlines the verification process but also empowers developers to create safer, more reliable systems.

API Access

Has API No 

API Access

Has API No 

Screenshots View All

Screenshots View All

Integrations

Jenkins Yes 
PikeOS Yes 
Simulink Yes 
Ada Yes 
BlackBerry QNX No 
C Yes 
C++ Yes 
Deos No 
FreeRTOS No 
HTML Yes 
INTEGRITY RTOS No 
Jama Connect No 
LynxSecure No 
Python Yes 
SAFERTOS No 
Seeker Yes 
SonarQube Server Yes 
VxWorks No 
Wind River Helix Virtualization Platform No 
Xilinx No 

Integrations

Jenkins Yes 
PikeOS Yes 
Simulink Yes 
Ada No 
BlackBerry QNX Yes 
C No 
C++ No 
Deos Yes 
FreeRTOS Yes 
HTML No 
INTEGRITY RTOS Yes 
Jama Connect Yes 
LynxSecure Yes 
Python No 
SAFERTOS Yes 
Seeker No 
SonarQube Server No 
VxWorks Yes 
Wind River Helix Virtualization Platform Yes 
Xilinx Yes 

Pricing Details

No price information available.
Free Trial No 
Free Version No 

Pricing Details

Contact us
Get in touch to get a quote.
Free Trial Yes 
Free Version No 

Deployment

Web-Based Yes 
On-Premises No 
iPhone App No 
iPad App No 
Android App No 
Windows No 
Mac No 
Linux No 
Chromebook No 

Deployment

Web-Based No 
On-Premises No 
iPhone App No 
iPad App No 
Android App No 
Windows Yes 
Mac No 
Linux Yes 
Chromebook No 

Customer Support

Business Hours No 
Live Rep (24/7) No 
Online Support Yes 

Customer Support

Business Hours Yes 
Live Rep (24/7) No 
Online Support Yes 

Types of Training

Training Docs Yes 
Webinars Yes 
Live Training (Online) No 
In Person No 

Types of Training

Training Docs Yes 
Webinars Yes 
Live Training (Online) Yes 
In Person Yes 

Vendor Details

Company Name

AdaCore

Founded

1994

Country

France

Website

www.adacore.com/codepeer

Vendor Details

Company Name

Rapita Verification

Founded

2004

Country

United States

Website

www.rapitasystems.com/products/rvs

Product Features

Static Application Security Testing (SAST)

Application Security No 
Dashboard No 
Debugging No 
Deployment Management No 
IDE No 
Multi-Language Scanning No 
Real-Time Analytics No 
Source Code Scanning No 
Vulnerability Scanning No 

Static Code Analysis

Analytics / Reporting No 
Code Standardization / Validation No 
Multiple Programming Language Support No 
Provides Recommendations No 
Standard Security/Industry Libraries No 
Vulnerability Management No 

Product Features

Software Testing

Automated Testing Yes 
Black-Box Testing Yes 
Dynamic Testing Yes 
Issue Tracking No 
Manual Testing No 
Quality Assurance Planning Yes 
Reporting / Analytics Yes 
Static Testing Yes 
Test Case Management Yes 
Variable Testing Methods No 
White-Box Testing Yes 

Alternatives

SonarQube Server Reviews

SonarQube Server

SonarSource

Alternatives

HCL OneTest Embedded Reviews

HCL OneTest Embedded

HCL Software
CodeSonar Reviews

CodeSonar

CodeSecure
VectorCAST Reviews

VectorCAST

VECTOR Informatik
beSOURCE Reviews

beSOURCE

Beyond Security (Fortra)
Cantata Reviews

Cantata

QA Systems