Doymus vertreibt Softwareentwicklungsprodukte. Darüber hinaus bietet das Unternehmen Schulungs- und Beratungsdienste zur Unterstützung der Zertifizierung kritischer Systeme an. Doymus arbeitet mit den weltweit führenden Unternehmen für funktionale Sicherheit zusammen.

Doymus
Wir gehen an deiner Seite
Software und Hardware
Entwicklungswerkzeuge und Beratungsdienste
Doymus
Wir gehen an deiner Seite.
Software und Hardware
Entwicklungswerkzeuge
und professionelle Dienstleistungen
Doymus
Wir gehen an deiner Seite.
Software und Hardware
Entwicklungswerkzeuge
und professionelle Dienstleistungen
Doymus
Wir gehen an deiner Seite.
Software und Hardware
Entwicklungswerkzeuge
und professionelle Dienstleistungen
Doymus
Wir gehen an deiner Seite.
Software und Hardware
Entwicklungswerkzeuge
und Beratungsdienste
Doymus
Wir gehen an deiner Seite.
Software und Hardware
Entwicklungswerkzeuge
und Beratungsdienste
Doymus
Wir gehen an deiner Seite.
Software und Hardware
Entwicklungswerkzeuge
und Beratungsdienste

Kommende Kurse

Avionik-Ökosystem:
DO-178C, DO-254 & ARP 4754A




P räsenzschulung in englischer Sprache Madrid, 16. - 18. Juni 2025Zeit: von 9:00 bis 18:00 Uhr (CET - Madrid)
Vor Ort

Avionik-Ökosystem:
DO-178C, DO-254 & ARP 4754A





O nline-Schulung, in englischer Sprache 10. bis 13. Februar 2025Zeit: 13:30 bis 18:00 Uhr (CET - Madrid) 4:30 bis 9:00 Uhr (PDT - Los Angeles)
online

Software-Entwicklungswerkzeuge

Spezifizierung der Anforderungen

  • Integrierte PHA-Risikoanalyse → Sicherheitsanforderungen
  • Import von Anforderungen → Doors, Word, Excel, etc.
  • Nachvollziehbarkeit von Anforderungen → Testfälle
  • Überprüfung der semantischen Anforderungen

Quellcode

Entwicklungsübergreifende Umgebungen und Echtzeitbetriebssysteme:

  • C/C++ und Ada Compiler
  • Multi-Core-Debugger (Schritt vorwärts / Schritt rückwärts)
  • HW-Debugging-Sonden

Stapelanalyse und WCET

Statische Analyse von Quell-/Binärcode:

  • Beseitigung von Laufzeitfehlern
  • Kontrollfluss-/Datenflussanalyse
  • Laufzeit- und Stapelkontrolle

Analyse der erforderlichen Stapelgröße

Analyse der Worst-Case-Ausführungszeit (WCET)

Kontrollfluss-/Datenflussanalyse

Erkennung von Schwachstellen

Statische Analyse von Quell-/Binärcode:

  • Erkennung von Schwachstellen (statische App. Sicherheitstests)
  • Fehlererkennung im Bereich Sicherheit und Schutz
  • Binäre Software-Zusammensetzungsanalyse (SCA)
  • 0-Day und N-Day Schwachstellenbericht
  • Software-Stückliste (SBOM)

Optimierung der Laufzeit

Zeitkritische Anwendungen : Analyse von C/C++/Fortran-Code, bei dem Leistung der Schlüssel zum Wettbewerbsvorteil ist.

  • Auswahl der zu verwendenden Optimierungsregeln
  • Automatische Erkennung von Quellcode soll verbessert werden
  • Erstellung einer neuen Version des optimierten Quellcodes

Ausbildungskurse

Die Kurse werden von den besten internationalen Beratern auf diesem Gebiet(Subject Matter Experts) unterrichtet,
, die über Erfahrungen mit Projekten auf allen fünf Kontinenten verfügen.

Sicherheitsstandards

Kurs zur Erlangung der Luftfahrtzulassung

DO-178C, DO-254
MEHR LERNEN

Zertifizierungskurs Eisenbahn

CENELEC-EN-50128/6/9​
MEHR LERNEN

Zertifizierungskurs für Kraftfahrzeuge

ISO 26262​
MEHR LERNEN

Software-Entwicklung

Kurs Anforderungsmanagement

Techniken zur Verbesserung der Anforderungsspezifikation

Python-Kurs für Tester

Software-Überprüfung. Testautomatisierung mit Python-Skripten.

Kurs Systemtechnik

Modellierung von komplexen Echtzeitsystemen

Vorlagen für Zertifizierungsleistungen für die Luft- und Raumfahrt

DO-178C, DO-278A, DO-254

ED-12C, ED-109A, ED-80

ARP 4754A

Vorlagen von:

  • System-, Hardware- und Softwarepläne
  • Software-Anforderungsstandards, Entwurf, Quellcode
  • Hardware-Anforderungsstandards, Entwurf, HDL-Code, Verifizierung
  • Checkliste Normen

Beratung zur Unterstützung der Zertifizierung

Unsere Kunden

du könntest der Nächste sein 👀

Abonnieren Sie unseren Newsletter