Visure: Gestion de Requisitos

Astrée: Detección de errores runtime


Stack Analyzer: Dimensionar el stack

AbsInt -- Estimación del WCET

Multi: Entorno de desarrollo cruzado

Integrity: Real Time Operating System

CodeSonar - Análisis de Vulnerabilidades

CodeSentry - Análisis de Vulnerabilidades
Formación en Certificación Aeronáutica

Formación en Certificación Ferroviaria

Formación en Certificación Automoción

Formación en Ingeniería de Requisitos

Formación en Ingeniería de Sistemas

Formación en SonarQube

Python for testers

HDL Verification for Safety Critical

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 un mix de productos y servicios que cubren una gran parte de la Ingeniería de Sistemas e Ingeniería de Software.

En Doymus conocemos a fondo la tecnología de desarrollo de sistemas industruales y nos ponemos a tu disposición para echarte una mano en tu proyecto. Podemos ayudarte a mejorar la productividad de tu equipo en base a utilizar las metodologías y herramientas más avanzadas. Nuestro propósito es acompañarte desde la fase de concepción del sistema hasta la de verificación. Si además necesitas certificar tu software, contamos con expertos nacionales e internacionales que te asesoran en el proceso.

 

Como empresa de productos y servicios, nuestra misión es acompañarte en tu desarrollo aportando nuestra experiencia y la de nuestros partners de negocio para proponerte soluciones.

 

Nuestro objetivo es establecer relaciones a largo plazo en las que podamos aportar nuestro valor local contando con la visión y experiencia global.

 

Nuestros valores, y por tanto nuestra forma de actuar, se centran en:

 

Nuestros Valores

Doymus: Caminamos a tu lado
Productos
 
©  2022 Doymus Software e Ingeniería  •  Aviso Legal  •   Política de Privacidad  •  Política de Cookies
Formación
Contactar
+34 911.788.540
info@doymus.com
Software & Hardware Development Tools
and Professional Services
Análisis Estático de Código Fuente y Binario
Entornos de Desarrollo Software Embarcado
Especificación y Análisis de Requisitos y Riesgos
Soporte a la Certificación ISO-26262
Formación DO 178/254
Soporte a la Certificación DO 178/254
Diseño y Verificación
de SoCs y FPGAs
Doymus distribuye productos y servicios de las siguientes compañías:
Servicios
Gap Analysis

Plantillas para ARP 4754A / ED-79A

Plantillas para DO-178C / ED-12C

Plantillas para DO-254 / ED-80

Plantillas para DO-278A / ED-109A


Soporte a la Certificación DO-178C


Soporte a la Certificación ISO-26262

Diseño y Verificación de SoCs y FPGAs
Análisis de Vulnerabilidades Software
Este sitio web usa cookies para recopilar información estadística sobre su navegación. Si continúa navegando, consideramos que acepta su uso. Más información en: Política de Cookies