Generated by All in One SEO v5.0.0.1, this is an llms.txt file, used by LLMs to index the site.

# Doymus

Software development tools & consulting services

## Sitemaps

- [XML Sitemap](https://doymus.com/sitemap.xml): Contains all public & indexable URLs for this website.

## Pages

- [Training, Tools, and Certification Support Services](https://doymus.com/) - Doymus provides DO-178C Certification Support Services, DO-330 tool qualification services, and safety critical engineering training
- [Curso de Formación. Aviation Cyber-Security: Introduction to DO-326A / ED-202A](https://doymus.com/training/aviation-certification/do-326a/) - Aviation Cyber-Security: Introduction to DO-326A / ED-202A Solicitar másinformación Curso de formación Impartido en inglés por AFuzion 16 horas2 días El curso de referencia en cyber-seguridad aeroespacial El curso muestra, a nivel introductorio, lo que se requiere en los nuevos desarrollos y operaciones de aviación para cumplir con las nuevas normas DO-326A/ED202A que son de
- [Avionics Ecosystem:DO-178C, DO-254 & ARP4754A (online)](https://doymus.com/training/aviation-certification/courses-do-178c/online-do-178c/) - Avionics Ecosystem: DO-178C, DO-254 & ARP4754A Inscripción Curso de formación online Impartido en inglés por AFuzion FECHA14 – 17 de septiembre de 2026 HORARIO13:30 a 18:00 horas (CET – Madrid)4:30 a 9:00 horas (PDT – Los Ángeles) 18 horas4 días × 4.5h Presentamos la edición XXVII Esta edición se realizará de forma online, en directo,
- [Próximos Cursos de Formación DO-178C, DO-254, ARP 4754A en Europa](https://doymus.com/training/aviation-certification/courses-do-178c/) - Próximos Cursos de Formación DO-178C, DO-254, ARP 4754A en Europa Cursos de formación impartidos por AFuzion y organizados por Doymus Curso de formación online Fecha14 – 17 de septiembre, 2026 Horario13:30 a 18:00 horas (CET – Madrid, París)4:30 a 9:00 horas (PDT – Los Ángeles) SABER MÁS Curso de formación presencial Fecha y lugarMadrid, 16
- [Ingeniería de Requisitos conforme a DO-178C](https://doymus.com/training/requirements-engineering/) - Curso de formación que cubre los requisitos de alto nivel, de bajo nivel, estándares, patrones de escritura y gestión de cambios de requisitos según DO-178C
- [Curso de Formación Presencial: Avionics Ecosystem](https://doymus.com/training/aviation-certification/courses-do-178c/onsite-do-178c/) - Curso sobre certificación de sistemas de aviación (ARP 4754), Onboard Software (DO-178C) y Hardware (DO-254)
- [Suite de cualificación de herramientas conforme a DO-330, ISO-26262](https://doymus.com/services/tool-qualification-suite/) - Suite de cualificación de herramientas conforme a DO-330, ISO-26262 Aplicable a DO-178B, DO-178C / ED-12B, ED-12C / DO-278A / ED-109A En qué consiste la cualificación de herramientas de verificación software Ofrecemos la posibilidad de cualificar herramientas de verificación propias o comerciales. Sometemos a la herramienta a multitud de casos de prueba y proporcionamos un informe
- [Verificación de FPGAs](https://doymus.com/training/hdl-for-fpgas/) - Verificación de código VHDL para FPGAs Solicitar másinformación Curso de formación online 20 horas4 días × 5h No te dejará indiferente Este curso está focalizado en la metodología para el desarrollo y verificación de lógica programable en FPGAs y SoCs utilizando VHDL, siguiendo los estándares de seguridad requeridos en proyectos de misión crítica.Su objetivo es
- [Contacto](https://doymus.com/contact/) - Contacta con nosotros +34 911 788 540 info@doymus.com +34 911 788 564 ¡Síguenos en LinkedIn! Linkedin Más información... Newsletter Evaluación gratuita Realiza una consulta Nombre Apellidos Compañía Email Teléfono Mensaje He leído y acepto la Política de Privacidad Enviar
- [Certificación de Equipos para Automoción: ISO 26262](https://doymus.com/training/automotive-certification/) - Introducción a la seguridadfuncional en automoción e ISO 26262 Solicitar másinformación Curso de formación online Este es un nuevo curso de formación que ofrecemos en modalidad de curso on-line conjuntamente entre Brightskies y Doymus sobre ISO 26262. Normalmente lo combinamos con el servicio de Gap Analysis para obtener información acerca de los procesos, métodos y
- [Plantillas para DO-178C / ED-12C](https://doymus.com/services/templates-do-178c/) - Plantillas de Planes, Estándares y Checklists de Verificación Plantillas para DO-178C / ED-12C Las plantillas de procesos y checklists han sido escritas por AFuzion y se están usando en distintos proyectos de certificación a nivel mundial. Estas plantillas proporcionan la base para el desarrollo y certificación de software aeronáutico siguiendo la norma RTCA DO-178C o
- [Certificación Ferroviaria EN 50128, EN 50126, EN-50129](https://doymus.com/training/railway-certification/) - Certificación Ferroviaria EN 50128, EN 50126, EN 50129 Solicitar másinformación Curso de formación online Impartido en inglés HORARIO9:00 a 14:00 horas(CET – Madrid) 20 horas4 días × 5h Este es un curso de formación que ofrecemos en modalidad presencial conjuntamente entre SILAS y Doymus sobre CENELEC EN-50128, EN-50126 y EN-50129. Se puede combinar con el
- [Gap Analysis para Seguridad Funcional](https://doymus.com/services/gap-analysis/) - Gap Analysis para Seguridad Funcional DO-178 & DO-254 ISO 26262 CENELEC EN 50128 ¿Cuánto me va a costar certificar mi equipo? Dependiendo de los procesos de desarrollo y de calidad implantados en su compañía, de las capacidades de sus empleados y de las herramientas en uso, el coste de certificación puede ser asequible o absolutamente
- [Cursos de formación en certificación aeronáutica](https://doymus.com/training/aviation-certification/) - Cursos de formación en certificación aeronáutica Cursos Impartidos por los mejores consultores internacionales en Certificación Aeronáutica.Organizados conjuntamente con nuestra empresa colaboradora AFuzion. DO-178C / ED-12CDO-254 / ED-80 Curso de Certificación de “On-board Avionics”. Cubre la parte de Sistema, Software y Hardware. DO-278A / ED-109A Curso de Certificación de “Aviation Ground Systems”.​ DO-326A / ED-202A Curso
- [Curso de Formación. Aviation Ground Systems CNS/ATM: DO-278A / ED-109](https://doymus.com/training/aviation-certification/do-278a/) - Aviation Ground Systems CNS/ATM: DO-278A / ED-109A Solicitar másinformación Curso de formación presencial/online Impartido en inglés por AFuzion 16 horas2 días AFuzion strikes again El curso incluye aspectos comunes con DO-178C y aspectos específicos a los sistemas terrestres, tales como la certificación de componentes COTS, la obtención de crédito de certificación mediante la experiencia de
- [Python para tests](https://doymus.com/training/python-for-testers/) - Python para automatización de pruebas con aprendizaje asistido por IA Solicitar másinformación Curso online bajo demanda Dirigido a personas que realizan labores de Verificación de Software con el fin de ayudarles en labores de automatización de pruebas mediante el uso de scripts escritos en Python. Mediante técnicas de aprendizaje asistido por IA, los participantes aprenderán
- [MBSE](https://doymus.com/training/mbse/) - Model Based System Engineering Solicitar másinformación Metodología ISE & PPOOA Curso de formación presencial.Organizado por Doymus.Impartido en español o en inglés. Características del curso El curso está compuesto por 10 módulos de 4 horas de duración que pueden ser enseñados de forma independiente (con algunos pre-requisitos).Cada módulo incluye una parte práctica con ejercicios a desarrollar
- [Servicios de Verificación Hardware](https://doymus.com/services/hardware-verification/) - Servicios de verificación hardware conforme a DO-254 y AMC 20-152A Proceso de Verificación de SoCs y FPGAs La Verificación de Soc complejos es la parte más crítica de la Certificación de CEH y sin duda la que más esfuerzo requiere. Aportamos una metodología que permite optimizar el tiempo de verificación de SoCs, combinando las técnicas
- [Soporte a la Certificación de Sistemas, Software y Hardware](https://doymus.com/services/certification-do-178c/) - Soporte a la Certificación de Sistemas, Software y Hardware DO-178C / DO-254 Las aeronaves que circulan por espacios aéreos regulados requieren estar certificadas con respecto a distintas normas aeronáuticas. A nivel de sistemas, la norma sobre la que se certifican es la SAE ARP 4754A. A nivel de hardware, la norma sobre la que se
- [Plantillas para DO-278A / ED-109A](https://doymus.com/services/templates-do-278a/) - Plantillas de Planes, Estándares y Checklists de Verificación Plantillas para DO-278A / ED-109A Las plantillas de procesos y checklists han sido escritas por AFuzion y se están usando en distintos proyectos de certificación a nivel mundial. Estas plantillas proporcionan la base para el desarrollo y certificación de software de estaciones terrestres siguiendo la norma RTCA
- [Plantillas para DO-254 / ED-80](https://doymus.com/services/templates-do-254/) - Plantillas de Planes, Estándares y Checklists de Verificación Plantillas para DO-254 / ED-80 Las plantillas de procesos y checklists han sido escritas por AFuzion y se están usando en distintos proyectos de certificación a nivel mundial. Estas plantillas proporcionan la base para el desarrollo y certificación de hardware aeronáutico siguiendo la norma RTCA DO-254 o
- [Plantillas para ARP 4754A / ED-79A](https://doymus.com/services/templates-arp-4754a/) - Plantillas de Planes, Estándares y Checklists de Verificación Plantillas para ARP 4754A / ED-79A Las plantillas de procesos y checklists han sido escritas por AFuzion y se están usando en distintos proyectos de certificación a nivel mundial. Estas plantillas proporcionan la base para el desarrollo y certificación de sistemas aeronáuticos siguiendo la norma ARP 4754A
- [Servicios de Verificación Software](https://doymus.com/services/software-verification/) - Servicios de verificación software conforme a DO-178C y DO-278A Proceso de Verificación de software Ofrecemos técnicos de verificación software con experiencia en el proceso y en herramientas automatizadas de verificación Tenemos experiencia en verificación de Parameter Data Item Files (PDIF) complejos: minimizamos el número de casos de prueba necesarios para probar todas las posibles combinaciones de
- [CodeSonar](https://doymus.com/products/codesonar/) - Herramientas de Análisis Estático de Código Fuente Detección de vulnerabilidades y errores en tiempo de ejecución CodeSonar CodeSonar permite comprobar la adherencia del código fuente a estándares de codificación software de “Safety” y “Security”, tal como se requiere en las principales normas de Seguridad Funcional. Lenguajes de programación Estándares de Safety C 2012C++ 2008 C++
- [Ingeniero/a de Verificación de Hardware](https://doymus.com/talent/hardware-test-engineer/) - En Doymus buscamos un/a Ingeniero/a de Verificación de Hardware que participará en proyectos punteros del mercado aeroespacial y ferroviario en colaboración con las principales compañías del sector a nivel internacional.
- [Ingeniero/a de Desarrollo Software en C++](https://doymus.com/talent/c-software-dev-engineer/) - En Doymus buscamos un/a Ingeniero/a de Desarrollo Software en C++ que participará en proyectos punteros del mercado aeroespacial y ferroviario en colaboración con las principales compañías del sector a nivel internacional.
- [Técnico/a de Verificación de Software](https://doymus.com/talent/software-test-technician/) - En Doymus Software e Ingeniería buscamos un/a Técnico/a de Verificación de Software que participará en proyectos punteros del mercado aeroespacial o ferroviario y en colaboración con las principales compañías del sector a nivel internacional.
- [Talento](https://doymus.com/talent/) - Talento Únete a nuestra pasión por mejorar Puestos de Trabajo Técnico/a de verificación de softwareMadrid, 2 vacantesIngeniero/a de desarrollo software en C++Madrid, 1 vacanteIngeniero/a de verificación de hardwareMadrid, 1 vacante ¿Qué ofrecemos? Amplio paquete de formaciónvalorado en más de 3500€ Formación en certificación de software y hardware aeroespacialFormación en ingeniería de requisitosFormación en verificación de
- [Evaluación gratuita](https://doymus.com/evaluation/) - Evaluación de productos gratuita Accede a una evaluación gratuita de los siguientes productos por un período de 30 días Visure Requirements Stack Analyzer​ aiT WCET Analyzer Astrée Integrity CodeSonar​ Multi CodeSentry TimeWeaver SOLICITAR LA EVALUACIÓN DE PRODUCTOS Una vez recibida tu petición de inscripción, te enviaremos un correo electrónico para indicarte cómo confirmarla. Nombre Compañía
- [Codee](https://doymus.com/products/codee/) - Codee Análisis para optimización de código Especializado en el rendimiento de aplicaciones C/C++/Fortran Cuatro razones para elegir Codee Codee es una nueva plataforma de inspección automática de código especializada en rendimiento para aplicaciones C/C++/Fortran donde el tiempo es crítico. 1. Evalúa tu código rápidamente en < 1 hora 2. Automatiza la optimización de código con
- [Partners](https://doymus.com/partners/) - Nuestrospartners Nuestros partners Orgullosos de distribuir vuestros productos y servicios En un entorno industrial de complejidad creciente, donde las tecnologías evolucionan de una forma muy rápida, es fundamental apoyarse en partners tecnológicos especializados que nos aporten experiencia y conocimiento. Gracias a ellos, podemos ofrecer gran cantidad de productos y servicios que cubren prácticamente la totalidad
- [Aviso Legal](https://doymus.com/legal-notice/) - Aviso legal
- [TimeWeaver](https://doymus.com/products/timeweaver/) - Herramientas de Análisis Estático de Código Binario Cálculo de Worst Case Execution Time (WCET) Herramienta: TimeWeaver Para los procesadores modernos de gran complejidad (muchos de ellos multi-core), es muy difícil realizar un modelo formal de los mecanismos de pipeline, cache e interferencia entre cores. En este caso, el cálculo del WCET no es posible realizarlo únicamente mediante análisis estático de código
- [GH Multi](https://doymus.com/products/multi/) - Entorno de desarrollo cruzado MULTI Seis razones para elegir Green Hills 1.Entorno de desarrollo certificado para todos los estándares industriales: DO-178, EN-50128, ISO-26262, IEC-62304 2.Compiladores con el generación de código más optimizado del mercado según los benchmarks de EEMBC 3.Depurador más potente del mercado: multicore, mutitask y con depuración hacía atrás usado con la sonda
- [GH Integrity](https://doymus.com/products/integrity/) - Sistema operativo de tiempo real Integrity Cinco razones para elegir Green Hills 1.Sistema Operativo de máxima seguridad (“Security”): Certificado EAL6+ High Robustness, según IEC-15408 IT 2.Sistema Operativo pre-certificado según normas de seguridad funcional: DO-178, EN-50128, ISO-26262, IEC-62304 3.Soporte “Multi Core” avanzado certificable 4.Prestaciones “Hard Real Time” para aplicaciones “Safety Critical” 5.Probado en uso en los sistemas críticos más avanzados
- [TimingProfiler](https://doymus.com/products/timingprofiler/) - Herramientas de Análisis Estático de Código Binario Cálculo de Worst Case Execution Time (WCET) Herramienta: TimingProfiler Esta herramienta permite obtener un WCET aproximado durante las fases iniciales de desarrollo software exclusivamente mediante análisis estático del código binario. Se basa en la exploración de todos los posibles caminos de ejecución de una tarea o programa y
- [WCET](https://doymus.com/products/wcet/) - Herramientas de Análisis Estático de Código Binario Cálculo de Worst Case Execution Time (WCET) Detección de errores en tiempo de ejecución y errores de concurrencia ¿Qué es el “Worst Case Execution Time”? En aplicaciones de misión crítica se requiere que el código fuente sea preciso, consistente y determinístico.Por ejemplo, en aplicaciones aeroespaciales, la norma DO-178C
- [Astrée](https://doymus.com/products/astree/) - Astrée Herramienta de análisis estático de código fuente: Detección de errores en tiempo de ejecución y errores de concurrencia Cinco razones para elegir Astrée Astrée es una herramienta de gama alta, basada en métodos formales, que garantiza que cuando no detecta errores de ejecución, la aplicación realmente no tiene errores de ejecución. A día de
- [Productos](https://doymus.com/products/) - Productos Astrée Detección errores run-time StackAnalyzer Estimación tamaño stack WCET TimingProfiler Estimación temprana aiT Estimación precisa TimeWeaver Estimación precias multi-core Multi IDe y compilador C/C++, Ada Integrity RTOS Visure Requirements ALM Codee Análisis para optimización de código CodeSonar Vulnerabilidades en código fuente CodeSentry Vulnerabilidades en código binario
- [Servicios](https://doymus.com/services/) - Servicios Gap Analysis DO-178C / DO-254 Plantillas, Planes, Estándares, Checklists ARP 4754A / ED-79A DO-178C / ED-12C DO-254 / ED-80 DO-278A / ED-109A Soporte a la Certificación DO-178C / DO-254 Gap Analysis ISO 26262 Soporte a la Certificación ISO 26262 Diseño y Verificación HDL SoCs, FPGA
- [Formación](https://doymus.com/training/) - Formación Formación en certificación de seguridad funcional Formación en Certificación Aeronáutica DO-178C / ED-12C DO-254 / ED-80 ARP 4754A DO-326A / ED-202A DO-278A / ED-109​A Formación en Certificación Ferroviaria Soporte a la Certificación Automoción Formación en requisitos y diseño​ Ingeniería de requisitos Ingeniería de sistemas (MBSE) Verificación de software y hardware​​ Formación en SonarQube Python
- [Fuente de las imágenes](https://doymus.com/images-source/) - Fuente de las imágenes Fotografía de Jeffry Surianto, https://www.pexels.com/@saturnus99/ Fotografía de Sachith Hettigodage: https://www.pexels.com/photo/photo-of-train-on-rails-1639418/ Fotografía de Kimheng Mam: https://www.pexels.com/photo/close-up-of-a-military-plane-flying-7517865/ Fotografía de Brett Sayles: https://www.pexels.com/photo/yellow-train-1793503/ Fotografía de Somchai Kongkamsri: https://www.pexels.com/es-es/foto/helicoptero-en-vias-laterales-104757/ Fotografía de Google Street View www.projectcartoon.com Imagen creada por Sofía Hernanz Montes, Doymus S.L. Imagen creada por Sofía Hernanz Montes, Doymus S.L. Imagen creada por Sofía
- [CodeSentry](https://doymus.com/products/codesentry/) - Herramientas de Análisis Estático de Código Binario Detección de vulnerabilidades CodeSentry CodeSentry es una herramienta de análisis estático de composición de software binario.CodeSentry permite detectar vulnerabilidades en software de terceras partes presente en las aplicaciones o productos. Análisis de Composición de Software Binario (SCA) El Análisis de Composición de Software binario permite detectar vulnerabilidades en software de terceras partes presente en
- [Política de Cookies](https://doymus.com/cookies-policy/) - Política de cookies Una cookie es un pequeño fichero de texto que se almacena en su navegador cuando visita casi cualquier página web. Su utilidad es que la web sea capaz de recordar su visita cuando vuelva a navegar por esa página. Las cookies suelen almacenar información de carácter técnico, preferencias personales, personalización de contenidos,
- [Política de privacidad](https://doymus.com/privacy-policy/) - Política de privacidad Proteger la privacidad y la seguridad de sus datos personales es importante para Doymus. Por ello, prestamos nuestros servicios de acuerdo con las leyes aplicables sobre la protección de la privacidad y la seguridad de los datos. Con el fin de que conozca qué hacemos con la información que nos envía, hemos
- [Quiénes somos](https://doymus.com/about-us/) - Caminamosa tu lado Nuestra misión Te acompañamos en el desarrollo de tu proyecto, desde el principio hasta el final. Conocemos a fondo la tecnología de desarrollo de sistemas industriales Te ayudamos a mejorar la productividad de tu equipo utilizando las metodologías y herramientas más avanzadas Contamos con expertos nacionales e internacionales que te asesoran en
- [Visure Requirements: Herramienta de Gestión de Requisitos](https://doymus.com/products/visure-requirements/) - Visure Requirements Herramienta de Gestión de Requisitos Mejore su productividad. Reduzca el tiempo de desarrollo.Mejor relación calidad/precio del mercado Módulo de Gestión de Riesgos Plantillas de análisis de riesgos de tipo FHA (Functional Hazard Assessment) y FMEA (Failure Mode Effects Analysis) para identificar los modos de fallo, su severidad, su ocurrencia, su posibilidad de detección
- [Stack Analyzer](https://doymus.com/products/stack-analyzer/) - Stack Analyzer Herramienta de análisis estático de código binario: Detección de errores debidos a "Stack Overflow" Nueve razones para elegir StackAnalyzer Stack Analyzer, basada en métodos formales, permite probar la ausencia de errores en tiempo de ejecución de tipo “stack overflow” A día de hoy, es posiblemente la única herramienta que puede dar esta garantía.
- [Next AFuzion's Public Training in Europe](https://doymus.com/upcoming-courses-do-178c/) - Next AFuzion's public training in Europe Training Courses delivered by AFuzion and organized by Doymus Online Training CourseSep 13 - 16, 2021 15:30 - 20:00 hours CET (Madrid) 06:30 - 11:00 hours PDT (Los Angeles) On-Site Training CourseNov 30 - Dec 2, 2021 Madrid or Barcelona (Spain)
- [Login page](https://doymus.com/login-page/) - Avionics Ecosystem: D-178C, DO-254 for Tecnobit - April 2023 Training Download Center Daría todo lo que sé por la mitad de lo que ignoro René Descartes​ Log in Username or Email Address Password Remember Me Log In Lost your password? Lo que sabemos es una gota de agua; lo que ignoramos es el océano Isaac
- [Información detallada sobre las cookies](https://doymus.com/detailed-info-cookies/) - Información detallada acerca de las cookies Información detallada acerca de las cookies1. ¿Qué es una cookie?Una cookie es un fichero de texto inofensivo que se almacena en su navegador cuando visita casi cualquier página web. La utilidad de la cookie es que la web sea capaz de recordar su visita cuando vuelva a navegar por
- [Localización curso Avionics Ecosystem:DO-178C, DO-254 & ARP4754A](https://doymus.com/training/aviation-certification/courses-do-178c/onsite-do-178c/course-location/) - Localización del curso Centro de Negocios IBERCENTER AZCA IBERCENTER AZCA Business CenterPlaza Carlos Trías Bertrán 4, 1st Floor.28020 Madrid Acceso en transporte público Parking en el edificio Parking Av. General Perón nº 32Av. General Perón 32
- [Training Download Center](https://doymus.com/training-download-center/) - Avionics Ecosystem: D-178C, DO-254 for Tecnobit - April 2023 Training Download Center Documentos adicionales de DO-178C/DO-254 Descarga las diapositivas del curso Descarga el certificado de asistencia Rellena la encuesta de satisfacción Log out
- [aiT absint](https://doymus.com/products/ait/) - Herramientas de Análisis Estático de Código Binario Cálculo de Worst Case Execution Time (WCET) Herramienta: aiT ¿Para qué sirve? 1.Calcula límites de WCET muy precisos y puede ser utilizada para generar evidencias de certificación de este objetivo. 2.Cuenta con un paquete de cualificación conforme a lo requerido por los estándares de seguridad funcional. 3.Determina el
- [Av training AFUZION link](https://doymus.com/training_do_178-php/) - Av training AFUZION link Cursos de formación impartidos por AFuzion y organizados por Doymus Curso de formación online Fecha13-16 de noviembre, 2023 Hora15:30 – 20:00 horas CET (Madrid)6:30 – 11:00 horas PDT (Los Ángeles) Curso de formación presencial Fecha26 – 28 de septiembre, 2023 LugarMadrid (Spain)
- [Pruebas de Interfaz Gráfica de Usuario: Squish GUI Tester](https://doymus.com/pruebas-de-interfaz-grafica-de-usuario-squish-gui-tester-2/) - Pruebas de Interfaz Gráfica de Usuario: Squish GUI Tester Nueve razones para elegir Squish GUI Tester 1. Permite crear un script de pruebas automáticamente mediante la grabación de eventos. 2. Permite la verificación de propiedades de cualquier objeto de la interfaz, comparación de imágenes, verificación visual (verificación de propiedades y de imágenes), y validación de valores de
- [sub formacion](https://doymus.com/sub-formacion/) - Formación en certificación de seguridad funcional Certificación Aeronáutica de HW, SW y Sistemas: DO-XXX​ Certificación Ferroviaria de Equipos: CENELEC EN-5012X Certificación de Equipos para Automoción: ISO 26262 Formación en requisitos y diseño Verificación de software y hardware

## Menu blocks

- [sub servicios móvil](https://doymus.com/?gm_menu_block=sub-servicios-movil) - Gap Analysis: DO-178C / DO-254 Plantillas Planes, Estándares, Checklists: ARP 4754A / ED-79A DO-178C / ED-12C DO-254 / ED-80 DO-278A / ED-109A Verificación de Software: DO-178C / ... Verificación de Hardware: DO-254 / ... Cualificación de Herramientas Soporte a la Certificación: DO-178C / ...
- [sub servicios](https://doymus.com/?gm_menu_block=sub-servicios) - Gap Analysis DO-178C / DO-254 Plantillas, Planes, Estándares, Checklists ARP 4754A / ED-79A DO-178C / ED-12C DO-254 / ED-80 DO-278A / ED-109A Verificación de Software DO-178C / EN-50128 / ISO-26262 Verificación de Hardware DO-254 / AMC 20-152A Cualificación de Herramientas DO-330 / ISO-26262 Soporte a la Certificación DO-178C / DO-254
- [sub formación](https://doymus.com/?gm_menu_block=sub-formacion) - Formación en certificación de seguridad funcional Formación en Certificación Aeronáutica DO-178C / ED-12C DO-254 / ED-80 ARP 4754A DO-326A / ED-202A DO-278A / ED-109​A Formación CENELEC para ferrocarril Formación ISO-26262 para automoción Formación en requisitos y diseño​ Ingeniería de requisitos conforme a DO-178C Ingeniería de sistemas (MBSE) Formación en verificación de hardware y software Verificación
- [sub formación móvil](https://doymus.com/?gm_menu_block=sub-formacion-movil) - Formación en certificación de seguridad funcional Formación en Certificación Aeronáutica DO-178C / ED-12C DO-254 / ED-80 ARP 4754A DO-326A / ED-202A DO-278A / ED-109​A Formación CENELEC para ferrocarril Formación ISO-26262 para automoción Formación en requisitos y diseño​ Ingeniería de requisitos (DO-178C) Ingeniería de sistemas (MBSE) Formación en verificación de hardware y software Verificación de FPGAs
- [sub productos movil](https://doymus.com/?gm_menu_block=sub-productos-movil) - Astrée StackAnalyzer WCET TimingProfiler aiT TimeWeaver Multi Integrity Visure Requirements Codee CodeSonar CodeSentry
- [sub productos](https://doymus.com/?gm_menu_block=sub-productos) - Astrée Detección errores run-time StackAnalyzer Estimación tamaño stack WCET TimingProfiler Estimación temprana aiT Estimación precisa TimeWeaver Estimación precisa multi-core Multi IDe y compilador C/C++, Ada Integrity RTOS Visure Requirements ALM Codee Análisis para optimización de código CodeSonar Vulnerabilidades en código fuente CodeSentry Vulnerabilidades en código binario
- [sub contacto movil](https://doymus.com/?gm_menu_block=sub-contacto-movil) - Contacto Quiénes somos
- [sub contacto](https://doymus.com/?gm_menu_block=sub-contacto) - Contacto Quiénes somos
- [search menu block](https://doymus.com/?gm_menu_block=search-menu-block) - Search