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
Vea nuestra política de privacidad en este enlace.
El curso se distribuye en 3 sesiones de 8 horas, donde se combina una parte teórica impartida en inglés y otra parte con un caso de estudio impartido en español, centrado en la parte de software, donde se muestran distintas herramientas y ejemplos de requisitos, diseño, análisis estático y pruebas.
Es un reconocido formador en certificación ferroviaria y de automoción. Ha publicado más de diez libros sobre: métodos formales de verificación software, seguridad de sistemas informáticos, analísis estático de código.
Es el autor del libro: CENELEC 50128 and IEC 62279 Standards
Primer Día:
EN 50126: 2017
CENELEC structure
RAMS Concepts
Safety Cycle:
From concept to decommissioning
Steps with objectives & inputs/outputs
Allocation process from THR and feared events to Software SIL
Safety analysis
Mandatory documents
EN 50129:2018
Safety Cases
Generic Product
Generic Application
Specific Application
Safey Case Presentation
Quality Management
Safety Management
Technical Safety Evidence
Use of Certified Product
Cross Acceptance
Assessment and Certification
Segundo Día
EN 50128:2012/A1:2020
Organization and Roles
Safety Management
Software Assurance
Quality Management
Competency Management
V-Cycle
Verification & Validation
Tool Qualification
Software Assessment
Software Components
Tercer Día
EN 50128:2012/A1:2020
Generic Software Development
Requirements Specification
Software Architecture
Software Design
Component Testing
Integration Testing (HW/SW and SW/SW)
Overall Software Testing
Specific Software Development
Data Specification
Process Development
Integration
Validation
Deployment
Example
Maintenance and Deployment
Certificación Ferroviaria EN 50128, EN 5016, EN-50129
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
