Doymus distributes software development products. In addition, it provides training and consulting services to support the certification of critical systems. Doymus works with leading functional safety companies worldwide.
Upcoming courses
Avionics Ecosystem:
DO-178C, DO-254 & ARP 4754A
May 19 - 22, 2025
Time:
1:30 to 6:00 pm (CET - Madrid, Paris)
4:30 to 9:00 am (PDT - Los Angeles)
Avionics Ecosystem:
DO-178C, DO-254 & ARP 4754A
Madrid, June 16 - 18, 2025
Time:
9:00 to 18:00 hours
(CET - Madrid)
HDL code verification for FPGAs
June 30 - July 3, 2025
Time:
14:00 to 19:00 hours
(CET - Madrid)
Software development tools
Requirements specification
- Integrated PHA Risk Analysis → Safety Requirements.
- Import of requirements → Doors, Word, Excel, etc.
- Traceability of requirements → 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 analysis and WCET
Static Analysis of Source/Binary Code:
- Elimination of run-time errors
- Control Flow Analysis / Data Flow Analysis
- Execution Time and Stack Control
Required Stack Size Analysis
Worst Case Execution Time Analysis (WCET)
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 Vulnerabilities Report
- Software Bill of Materials (SBOM)
Runtime optimization
Time-critical applications : C/C++/Fortran code analysis, where performance is key to competitive advantage.
- Selection of optimization rules to be used
- Automatic source code detection to be improved
- 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 of:
- System, hardware and software plans
- Software requirement standards, design, source code
- Hardware requirements standards, design, HDL code, verification
- Checklist standards
Certification support consulting
- Certification Advisory Service
- Realization of Plans, Standards and Checklists
- Certification Deliverables Review
- Non-conformity Resolution Support
Our customers
