Registro  
Login

Visure: Gestion de Requisitos

Astrée: Detección de errores runtime


Stack Analyzer: Dimensionar el stack

Multi: Entorno de desarrollo cruzado

Integrity: Real Time Operating System

Squish: Pruebas de Interfaz Gráfica
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

Temario
Este curso está focalizado en la metodología para el desarrollo y verificación de lógica programable en FPGAs y SoCs utilizando VHDL, siguiendo los estándares de seguridad requeridos en proyectos de misión crítica. Se seguirá el estándar DO-254 aplicable a aviación.

El curso online consta de 4 sesiones de 4 horas y contiene una parte teórica y otra práctica.

La parte práctica muestra los métodos de verificación avanzados. Se trabaja con un caso de uso utilizando la herramienta ModelSim. No es necesario instalar la herramienta en los ordenadores de los participantes.

Se requieren nociones en el desarrollo de proyectos bajo normativas de seguridad provenientes del ámbito software o con experiencia básica en el uso de VHDL.

Lifecycle for Airborne Hardware

   • Introduction

   • System Aspects

   • Development Assurance Levels

   • Complex vs Simple

   • Verification & Validation

   • Level A & B: Advanced Verification Methods

   • AMC 20-152A

   • Tool Assessment & Qualification Process

 

Design using VHDL

   • Behavioral vs RTL

   • Good practices & coding standards

   • Numeric libraries

   • SEU Mitigation

   • Fault-tolerant systems

   • Secure your desing

 

Verification

   • Requirements Traceability

   • Basics of Regression Testing

   • Verification Suite Design

   • Structural Coverage vs Functional Coverage

   • Assertion Checking

   • Cross-clock domain analysis

   • Physical Synthesis

 

Advanced Verification

   • Component Based Verification

   • OSVVM

   • UVVM  

   • Formal Methods

   • VUnit

 

Workshop

   • Use Case Overview

   • Use Case Requirements

   • Use Case Design

   • Behavioural Simulation

   • Static Timing Analysis

   • Verification using

          • VUnit

          • UVVM

          • OSVVM

          • PSL Assertions

   • Traceability

Curso de Formación Online:

HDL Verification for
Safety Critical projects
Información y Precios
Al enviarnos sus datos personales, Vd. está aceptando nuestra Politica de Privacidad.
Vea nuestra política de privacidad en este enlace.
Ingeniero de Electrónica y Telecomunicaciones  y Máster en Robótica, con veinte años de experiencia en sistemas embebidos. Combina la experiencia en desarrollo hardware y software con la certificación de sistemas aeronáuticos.

El curso se imparte en castellano.
Formador
Los asistentes recibirán las diapositivas del curso en formato pdf.

También recibiran los distintos casos prácticos resueltos.
Click for new image
Productos
 
©  2014 - 2021 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
Tweets por el @DoymusSI.
Análisis Estático de Código Fuente y Binario
Placas y Sistemas Hardware
de Alta Disponibilidad
Pruebas de Integraz Gráfica
de Usuario (GUI)
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
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