Visure: Requirements Management
Astrée: Static Analysis
Stack Analyzer: Stack size estimation
AbsInt -- WCET estimation
Multi: Embedded development environment
Integrity: Real Time Operating System
CodeSonar - Vulnerability Analysis
CodeSentry - Vulnerability Analysis
Astrée: Static Analysis
Stack Analyzer: Stack size estimation
AbsInt -- WCET estimation
Multi: Embedded development environment
Integrity: Real Time Operating System
CodeSonar - Vulnerability Analysis
CodeSentry - Vulnerability Analysis
DO-178C & DO-254 Cert Training
CENELEC Certification Training
ISO 26262 Certification Training
Requirements Enginnering Training
Model-Based System Engineering Training
SonarQube Training
Python for testers
HDL Verification for Safety Critical
CENELEC Certification Training
ISO 26262 Certification Training
Requirements Enginnering Training
Model-Based System Engineering Training
SonarQube Training
Python for testers
HDL Verification for Safety Critical
Training Courses
Software Development Tools
Training courses conducted by the best international Subject Matter Experts, with experience in projects developed all around the world.
Requirements
Specification
Specification
Requirements Management:
• Integrated Risk Assessment (FMEA)
• Import / Export-> Doors, Word, Excel, ...
• Traceability
• Test Management & Defect Management
• Integrated Risk Assessment (FMEA)
• Import / Export-> Doors, Word, Excel, ...
• Traceability
• Test Management & Defect Management
IDE and RTOS for embedded software:
• C/C++ and Ada cross-compilers
• Multi-Core debugger (step forward / step backward)
• HW debugging probes
• C/C++ and Ada cross-compilers
• Multi-Core debugger (step forward / step backward)
• HW debugging probes
Static Analysis for source/binary code:
Detection of run-time errors
Estimation of Stack size
Worst-Case Execution Time Extimation
Control Flow / Data Flow analysis
Stack & WCET Analysis
Safety Standards
Software Development
Online
14-17 November, 2022
14-17 November, 2022
Onsite in Madrid
Septiembre 26-28, 2022
Septiembre 26-28, 2022
Next Training Courses
Static Analysis of source and binary code:
• Vulnerability detection
• Static Application Security Testing (SACT)
• Software Composition Analysis (SCA)
• 0-day & N-day vulnerability detection
• Software Bill of Materials (SBOM)
Source
Code
Code
Vulnerability
Detection
Detection
Some of our customers ...
Certification Support Services
Templates of Plans, Standards and checklists
Gap Analysis Service for aerospace and ISO 26262 standards
Mentoring and Assessment Services
Elaboration of Plans, Standards and Checklists
Certification deliverables Review
Non-Conformance Resolution
Products
Training
Contact
+34 911.788.540
Software & Hardware Development Tools
and Professional Services
and Professional Services
Static Analysis of source and binary code
Embedded development environments and RTOS
Application Lifecycle Management
DO 178/254
Training & Certification Services
Training & Certification Services
SoCs & FPGAs Desgin and Validation
Doymus distributes products and provide services from these companies:
Gap Analysis
ARP 4754A / ED-79A Templates
DO-178C / ED-12C Templates
DO-254 / ED-80 Templates
DO-278A / ED-109A Templates
DO-178C Certification Services
ISO-26262 Certification Services
SoCs & FPGAs Design and Verification
ARP 4754A / ED-79A Templates
DO-178C / ED-12C Templates
DO-254 / ED-80 Templates
DO-278A / ED-109A Templates
DO-178C Certification Services
ISO-26262 Certification Services
SoCs & FPGAs Design and Verification
Software Vulnerability
Analysis
Analysis
