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.

Doymus
We walk by your side
Software & Hardware
development tools and consulting services
Doymus
We walk by your side.
Software & Hardware
development tools
and professional services
Doymus
We walk by your side.
Software & Hardware
development tools
and professional services
Doymus
We walk by your side.
Software & Hardware
development tools
and professional services
Doymus
We walk by your side.
Software & Hardware
development tools
and consulting services
Doymus
We walk by your side.
Software & Hardware
development tools
and consulting services
Doymus
We walk by your side.
Software & Hardware
development tools
and consulting services

Upcoming courses

Avionics Ecosystem:
DO-178C, DO-254 & ARP 4754A

Classroom training course, taught in English
Madrid, November 18 - 20, 2024
Time:
from 9:00 to 18:00 hours (CET - Madrid)
on-site

Avionics Ecosystem:
DO-178C, DO-254 & ARP 4754A

Online training course, taught in English
February 10 - 13, 2025
Time:
15:30 to 20:00 hours (CET - Madrid)
6:30 to 11:00 hours (PDT - Los Angeles)
online

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

Aeronautical certification course

DO-178C, DO-254
LEARN MORE

Railway certification course

CENELEC-EN-50128/6/9​
LEARN MORE

Automotive certification course

ISO 26262​
LEARN MORE

Software development

Requirements engineering course

Requirements specification improvement techniques

Python course for testers

Software verification. Test automation using Python scripts.

Systems engineering course

Modeling of complex real-time systems

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

Our customers

you could be next 👀

Subscribe to our newsletter