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 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
Plantillas de Planes, Estándares y Checklists de Verificación
Plantillas para DO-254 / ED-80
DO 254 / ED-80 requiere documentos de planificación y del ciclo de vida de hardware para la certificación, seguridad, requisitos, diseño, gestión de la configuración, aseguramiento de la calidad, validación y verificación. Usando estas plantillas para la generación de los documentos requeridos facilita enormemente su preparación y posterior aprobación.
Así mismo, DO 254 / ED-80 requiere revisiones, auditorias y pruebas de su realización. La mejor prueba de su realización es cumplimentar una checklist detallada y completa que cubra las principales actividades de planificación y desarrollo del ciclo de vida de hardware.
Realizar los documentos de planificación y del ciclo de vida de hardware y de las checklists de revisión partiendo de cero es un trabajo que requiere mucho esfuerzo y es propenso a errores. Utilizar las plantillas proporcionadas simplifica de forma importante este esfuerzo y reduce los errores que se cometen cuando se realiza una actividad por primera vez.
Plan for Hardware Aspects of Certification Template
Hardware Process Assurance Plan Template
Hardware Configuration Management Plan Template
Hardware Development Plan Template
Hardware Verification & Validation Plan Template
Electronic Component Management Plan Template
Hardware Requirement Standard Template
Hardware Development Standards Template
Hardware Verification & Validation Standards Template
Hardware Archive Standards Template
VHDL Coding Standard Template
Hardware Accomplishment Summary Template
Hardware Configuration Index (HCI, HECI) Template
Plan for Hardware Aspects of Certification Checklist
Hardware Process Assurance Plan Checklist
Hardware Configuration Management Plan Checklist
Hardware Development Plan Checklist
Hardware Verification & Validation Plan Checklist
Hardware Development Standards Checklist
Computer Installation & Assembly Checklist
Hardware Configuration Index Checklist
Hardware Requirements Document Checklist
Hardware Design Document Checklist
Hardware Interface Control Data Checklist
Hardware Implementation Checklist
Hardware Test Cases & Procedures Checklist
Hardware Test Results Checklist
Hardware Verification Analysis Checklist
Hardware Traceability Checklist
Hardware Accomplishment Summary Checklist
General Hardware Checklist
and Professional Services
Soporte a la Certificación DO 178/254
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
