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
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
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
Servicios de Soporte a la Certificación ISO-26262
Colaboramos con Brightskies que tiene una amplia experiencia en la Valoración de Seguridad (Safety Assessment) siguiendo el estándar ISO-26262:2011 y en el diseño de sistemas para automoción.
¿Por qué elegir Brightskies Technologies?
Servicio de Soporte a la Certificación ISO-26262
Servicio de Gap Analysis y Mejora de Procesos
•
Item Definition, Safety Goals Identification
•
Hazard Analysis & Risk Assessment (HARA)
•
Elaboración del concepto de seguridad funcional
•
Elaboración de los requisitos de seguridad
•
Análisis de los procesos actuales utilizados en los proyectos
•
Determinación de puntos débiles con respecto a ISO-26262
•
Definición de medidas concretas a implantar
•
Provisión de plantillas detalladas para las distintas especificaciones requeridas
•
Provisión de checklists detalladas de revisión
•
Provisión de estándares de requisitos, diseño y código y ayuda a su personalización para el proyecto
•
Asesoría en la elección de herramientas de desarrollo y pruebas
•
Asesoría en la cualificación de herramientas utilizadas según ISO-26262 Parte 8
El servicio de soporte a la Certificación ISO-26262, puede incluir la siguiente funcionalidad:
•
Elaboración del producto a nivel de sistema
•
Definición de la arquitectura y modelado del sistema
•
Análisis de seguridad a nivel de sistema
•
Validación de seguridad a nivel de sistema
•
Análisis de FTA & FMEA
•
Asignación de requisitos de seguridad a HW y SW
•
Safety Gap Closure mediante implantación de mecanismos de seguridad
Parte 2: Gestion de la Seguridad Funcional
Parte 3: Fase Conceptual
Parte 3: Fase Conceptual
Parte 4: Definición del producto a nivel
de sistema
de sistema
Parte 5: Definición del producto a nivel de HW
Parte 6: Definición del Producto a nivel de SW
Parte 6: Definición del Producto a nivel de SW
Productos
Formación
Contactar
+34 911.788.540
Software & Hardware Development Tools
and Professional Services
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
Soporte a la Certificación DO 178/254
Diseño y Verificación
de SoCs y FPGAs
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
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
