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.
Upcoming courses
Avionics Ecosystem:
DO-178C, DO-254 & ARP 4754A
February 9–12, 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)
Requirements Engineering in accordance with DO-178C
March 16–19, 2026
Schedule:
9:00 a.m. to 2:00 p.m. (CET – Madrid)
Avionics Ecosystem:
DO-178C, DO-254 & ARP 4754A
April 13–15, 2026
Time and place:
9:00 a.m. to 6:00 p.m., Madrid
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
- Execution Time and Stack Control
Required Stack Size Analysis
Worst Case Execution Time (WCET) Analysis
Control Flow / Data Flow Analysis
Vulnerability Detection
Static Analysis of Source/Binary Code:
- Vulnerability Detection (Static App. Security Testing)
- Safety and Security Error Detection
- Binary Software Composition Analysis (SCA)
- 0-Day and N-Day Vulnerability Report
- Software Bill of Materials (SBOM)
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
