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

Soporte a la Certificación de Sistemas, Software y Hardware

Las aeronaves que circulan por espacios aéreos regulados normalmente requieren estar certificadas con respecto a distintas normas aeronáuticas.

La certificación de la aeronave se descompone jerárquicamente en certificaciones a distintos niveles:

 

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 certifican los equipos, tarjetas y dispositivos es la RTCA DO-254 en USA y EUROCAE ED-80 en Europa. A nivel de software, la norma sobre la que se certifica el software es la RTCA DO-178C en USA y EUROCAE ED-12C en Europa.
Las distintas normativas requieren la puesta en práctica de un sistema formal de planificación, desarrollo, verificación y control de calidad aplicable durante todo el ciclo de vida del producto. Se requiere generar evidencias de certificación de que todo el proceso se ha seguido con rigor.
Doymus, en colaboración con AFuzion, proporciona servicios de formación en estas normativas, servicios de Gap Analisis para determinar el esfuerzo adicional requerido por una organización para certificar sus productos, plantillas de planes, estándares y checklists y servicios de soporte a la certificación de los productos según las distintas normativas aplicables.
Estos servicios se pueden proporcionar por separado o en un paquete de servicios, en cuyo caso su precio individual disminuye
.
DO-178C, DO-254,
DO-278A
ED-12C, ED-80,
ED-109A, ED-79A
ARP 4754A

Servicios de Soporte a la Certificación

Asesoría
Revisión de Entregables
Auditorías Externas y de Subcontratistas
Soporte en Reuniones de Aprobación
Soporte a la resolución de no-conformidades
Realización de Planes, Estándares y Checklists
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