Doymus distributes software development products. It also provides training and consulting services to support the certification of critical systems. Doymus works with the main functional safety companies worldwide.
Avionics Ecosystem:
DO-178C, DO-254 & ARP 4754A
Online training course, taught in English
September 14–17, 2026
Schedule:
1:30 p.m. to 6:00 p.m. (CET – Madrid, Paris)
4:30 a.m. to 9:00 a.m. (PDT – Los Angeles)
September 14–17, 2026
Schedule:
1:30 p.m. to 6:00 p.m. (CET – Madrid, Paris)
4:30 a.m. to 9:00 a.m. (PDT – Los Angeles)
online
Avionics Ecosystem:
DO-178C, DO-254 & ARP 4754A
In-person training course, taught in English
November 16–18, 2026
Schedule and location:
9:00 a.m. to 6:00 p.m. (CET – Madrid)
Networkia Castellana, 28046 Madrid
November 16–18, 2026
Schedule and location:
9:00 a.m. to 6:00 p.m. (CET – Madrid)
Networkia Castellana, 28046 Madrid
in-person
Software development tools
Requirements specification
- Integrated PHA Risk Analysis → Safety Requirements
- Requirements import → Doors, Word, Excel, etc.
- Requirements traceability → Test Cases
- Semantic verification of requirements
Source code
Cross-development environments and real-time operating systems:
- C/C++ and Ada compilers
- Multi-Core Debugger (step forward / step backward)
- HW debugging probes
Stack and WCET analysis
Static Analysis of Source/Binary Code:
- Elimination of run-time errors
- Control Flow / Data Flow Analysis
- Walk-Through Execution Time (WCET) Analysis
- Stack Memory Analysis
Vulnerability Detection
Static Analysis of Source/Binary Code:
- CodeSonar: Vulnerabilities in C/C++, Rust, Java, and Python source code.
- CodeSentry: N-day and Zero-day Vulnerabilities in Binary Code
Runtime optimization
Time-critical applications: C/C++/Fortran code analysis, where performance is key for a competitive advantage.
- Selection of optimization rules to use
- Automatic detection of source code to improve
- Creation of a new version of optimized source code
Training courses
Courses taught by the best international consultants in the field (Subject Matter Experts),
with experience in projects developed in the five continents.
Safety standards
Software development
Aerospace Certification Deliverables Templates
DO-178C
DO-278A
DO-254
ED-12C
ED-109A
ED-80
ARP 4754A
Templates for:
- System, hardware, and software plans
- Standards for software requirements, design, and source code
- Standards for hardware requirements, design, HDL code, and verification
- Standards for verification checklists
Certification support consulting
- Certification Advisory Service
- Creation of Plans, Standards and Checklists
- Review of Certification Deliverables
- Support for Non-Conformance Resolution
Our clients
you could be next 👀
