Average Ratings 0 Ratings
Average Ratings 0 Ratings
Description
Axivion empowers developers to maintain clean, secure, and high-quality C, C++, and CUDA codebases. It automatically detects coding standard violations, security vulnerabilities, dead code, and code clones, while providing actionable guidance and in-depth analytics. Its architecture verification capabilities help maintain modularity and consistency in complex projects.
Used extensively in safety-critical and high-reliability industries, Axivion supports standards like MISRA, ISO 26262, and IEC 61508. Integration into CI/CD pipelines and detailed reporting enables developers to detect defects early, reduce rework, and improve code quality, making Axivion an essential tool for teams building reliable, certifiable, high-performance software.
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
Integrations
Ada
No
Bamboo
No
BlackBerry QNX
No
C++
Yes
CUDA
Yes
Coco Code Coverage
Yes
Deos
No
FreeRTOS
No
GitLab
No
INTEGRITY RTOS
No
Integrations
Ada
Yes
Bamboo
Yes
BlackBerry QNX
Yes
C++
No
CUDA
No
Coco Code Coverage
No
Deos
Yes
FreeRTOS
Yes
GitLab
Yes
INTEGRITY RTOS
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
No
On-Premises
Yes
iPhone App
No
iPad App
No
Android App
No
Windows
Yes
Mac
Yes
Linux
Yes
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
Yes
Live Rep (24/7)
No
Online Support
No
Customer Support
Business Hours
Yes
Live Rep (24/7)
No
Online Support
Yes
Types of Training
Training Docs
Yes
Webinars
Yes
Live Training (Online)
Yes
In Person
Yes
Types of Training
Training Docs
Yes
Webinars
Yes
Live Training (Online)
Yes
In Person
Yes
Vendor Details
Company Name
Qt Group
Founded
1995
Country
Global, HQ in Finland
Website
www.qt.io/product/quality-assurance/axivion-static-code-analysis
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
Yes
Dashboard
Yes
Debugging
Yes
Deployment Management
No
IDE
No
Multi-Language Scanning
Yes
Real-Time Analytics
Yes
Source Code Scanning
Yes
Vulnerability Scanning
Yes
Static Code Analysis
Analytics / Reporting
Yes
Code Standardization / Validation
Yes
Multiple Programming Language Support
Yes
Provides Recommendations
Yes
Standard Security/Industry Libraries
No
Vulnerability Management
Yes
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