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
Deos™, developed by DDC-I, is a safety-critical real-time operating system (RTOS) that has been rigorously verified according to DO-178C/ED-12C Design Assurance Level A (DAL A) standards specifically for avionics applications. This RTOS supports ARINC 653 APEX and rate monotonic scheduling (RMS), and it is designed to meet the FACE Safety Base Profile requirements. Since its initial verification by Transport Canada in 1998, it has been a trusted solution in the aviation industry, with its certification allowing it to operate in tens of thousands of aircraft. Over the past two decades, Deos has adapted and evolved to incorporate new processors and features, demonstrating its flexibility and resilience. It has also undergone successful audits by a range of global certification authorities, including the FAA, ENAC, JAA, EASA, and CAAC, as well as by designated engineering representatives from various airframe and avionics suppliers, ensuring its continued compliance with industry standards. Its proven track record and ongoing development make it a pivotal component in modern aviation safety systems.
API Access
Has API
API Access
Has API
Integrations
C
C++
CUDA
Coco Code Coverage
LDRA Tool Suite
Rapita Verification Suite
eXtremeDB
Integrations
C
C++
CUDA
Coco Code Coverage
LDRA Tool Suite
Rapita Verification Suite
eXtremeDB
Pricing Details
No price information available.
Free Trial
Free Version
Pricing Details
No price information available.
Free Trial
Free Version
Deployment
Web-Based
On-Premises
iPhone App
iPad App
Android App
Windows
Mac
Linux
Chromebook
Deployment
Web-Based
On-Premises
iPhone App
iPad App
Android App
Windows
Mac
Linux
Chromebook
Customer Support
Business Hours
Live Rep (24/7)
Online Support
Customer Support
Business Hours
Live Rep (24/7)
Online Support
Types of Training
Training Docs
Webinars
Live Training (Online)
In Person
Types of Training
Training Docs
Webinars
Live Training (Online)
In Person
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
DDC-I
Founded
1998
Country
Canada
Website
www.ddci.com/products_deos_do_178c_arinc_653/
Product Features
Static Application Security Testing (SAST)
Application Security
Dashboard
Debugging
Deployment Management
IDE
Multi-Language Scanning
Real-Time Analytics
Source Code Scanning
Vulnerability Scanning
Static Code Analysis
Analytics / Reporting
Code Standardization / Validation
Multiple Programming Language Support
Provides Recommendations
Standard Security/Industry Libraries
Vulnerability Management