+34 91 8135206

info@donalba.com

Twitter LinkedIn Youtube SlideShare Rss

Lunes, 09 Mayo 2022 13:15

Monitor de seguridad de la GPU TrueCore ™

Coreavi truecore

El supervisor de seguridad del procesador la GPU TrueCore™ está diseñado para monitorizar la integridad de la GPU. Para ello emplea un sistema patentado que aporta un conjunto de Test-integrados (Build-in-Tests).

Estos aportan una cobertura de test de la función de renderizado de graficos. A través del uso de varios tests, cada uno con un patrón de prueba único que ha sido verificado por la CPU, las aplicaciones suministradas con flexibilidad a la ahora de optimizar las realización de test y resultados filtrando aquellos que no se corresponden con un sistema basado en FPGA.

La arquitectura de monitorización del software soporta plataformas multicore y hypervisor, asegurando la integridad del procesador de datos a través de múltiples particiones independientes y sistemas operativos.

El TrueCore ™ puede ser implementado tanto en sistemas gráficos como de computación.

Para mayor información visita la página web de CoreAVI.

Viernes, 25 Marzo 2022 17:36

¿Qué tiene de especial un vector? Nos lo cuentan desde CoreAvi

vector coreavi

¿Sabes que el álgebra, y los vectores en particular, son el combustible que necesitan todos los algoritmos de Inteligencia Artificial? Así es. Los vectores y las matrices son el corazón del procesamiento de datos de la Inteligencia Artificial hoy día. 

Pero, ¿qué tiene de especial un vector? Para entenderlo primero debes saber qué es un vector. 

¿Qué es un vector?

Cuando pensamos en procesamiento de datos, nos referimos a la habilidad de tomar información y modificarla. En algunos casos necesitamos transformarla de forma que podamos extraer conocimiento de ella; en otros casos la podemos coger para modificarla, o para extraer información sobre su estructura. En otras ocasiones, los datos son no visuales. 

En cualquier caso, los datos son un conjunto de unidades de información compuesto por una lista de características que describen ese conjunto. En el caso de la imagen, por ejemplo, son los píxeles. En el caso de un paciente médico, son los atributos que lo describen (sexo, edad, historial…). Si entendemos cada conjunto de datos como una colección de características, entenderemos lo que es un vector. 

Convertir los conjuntos de datos en vectores es muy útil porque encapsula una lista de características de forma que es más fácil relacionar cada grupo por separado; y porque la interpretación de vectores geométrica ayuda a revelar información sobre cómo los conjuntos se relacionan entre ellos en una ficha técnica. 

¿Qué tiene de especial un vector?

En este sentido, lo que hace especial a los vectores es que, cuando los interpretamos geométricamente, aquellos vectores que apuntan en una misma dirección tienen propiedades similares. 

Por ejemplo, cuando interpretamos imágenes de coches y peatones como vectores en un espacio multidimensional, aunque no podamos visualizar las direcciones a las cuales el vector apunta, sí que podemos calcularlas para después comparar los vectores que pertenecen a imágenes de coches con los que corresponden a imágenes de peatones. Los vectores de coches apuntarán en una misma dirección, y los de los peatones, en otra. 

Así pues, crear un algoritmo que pueda aprender automáticamente las diferencias entre los coches y los peatones supondrá manipular esos vectores matemáticamente para entender la dirección en la que apuntan y encontrar así la línea que divide el espacio donde los coches y los peatones se separan.  Una vez encontrado ese hiperplano, el algoritmo puede clasificar una imagen totalmente nueva porque sabe en qué lado del vector está: el de los coches o el de los peatones. 

Por eso los algoritmos de Inteligencia Artificial terminan por llevar a cabo un número muy copioso de operaciones con vectores. Por lo tanto no es una sorpresa que el otro tipo de dato estructurado comúnmente empleado en Inteligencia Artificial sea la matriz: una matriz es una colección de vectores apilados unos sobre otros. 

De hecho, en algunos casos es útil combinar varios vectores como una matriz para poder procesar un set de vectores al mismo tiempo.

Puedes ampliar información sobre los vectores en este documento preparado por CoreAvi. 

Viernes, 10 Diciembre 2021 12:47

Así es el paquete de certificación CertCoreTM 254 de CoreAVI

254

El paquete de certificación CertCore254 es el subconjunto de los datos del ciclo de vida DO-254 para el Hardware Electrónico Aéreo (AEH) que una autoridad de certificación espera que vaya incluido con la certificación. El resto de los datos del ciclo de vida están disponibles para examen en CoreAVI. 

En cuanto a los datos para elementos CBA y PLD, pueden ser entregados como un set único de datos de ciclo de vida o como un set separado de datos de ciclo de vida para cada CBA y PLD. Adicionalmente, para cada ítem de datos, el nivel de sistema SOIs que soporta el ítem, están identificados. Por otra parte, el software residente tiene un CertCore178 de datos de ciclo de vida separado que soporta DO-168C nivel A. 

CoreAVI también provee una opción de certificación de defensa para soporte directo en el lugar desde CoreAVI para defender las pruebas de certificación internamente y con las autoridades de certificación. Además CoreAVI emplea tecnología electrónica para una retención potente de los datos, permanente, siguiendo las guías de FAA-IIR-01-01A 23/04, y FAA Orden 8000-79. Las grabaciones del desarrollo AEH son permanentes y no serán destruidas. 

Para mayor información consulta el brief del producto.

Lunes, 22 Noviembre 2021 08:26

Certificación de seguridad CoreAVI: evidencias de su éxito

PSCA New

CoreAVI ofrece a sus clientes soluciones de seguridad crítica como, por ejemplo, los packs de seguridad extensivos que incluyen un set de garantías que un desarrollador puede utilizar durante el diseño de sistemas y sus fases de certificación. Estos packs sirven para abordar los requerimientos de múltiples estándares de seguridad de la industria y reducen significativamente los tiempos del proyecto mientras aumentan la confianza en el éxito de la certificación. Algunos de estos packs son: 

  • Evidencias de Certificación de software aviónico y paquete de datos DO-178C/ED-12C

  • Evidencias de Certificación de hardware aviónico DO-254/ED-80 y paquete de datos para módulos COTS-D y GPUs y SoCs soportados

  • Certificación y Pack de Seguridad Automovilístico ISO 26262 

  • Certificación y Pack de Seguridad Industrial IEC 61508 

Además, CoreAVI puede acomodarse a otros estándares de seguridad crítica según los requerimientos del cliente. Para descargarse la ficha técnica de estas certificaciones y obtener más información, acude a la página web de CoreAVI

Martes, 26 Octubre 2021 10:12

CertCore ™ 178 DO-178C / ED-12C: ¿Para qué sirve esta certificación?

178

CoreAVI lleva muchos años ofreciendo a sus clientes soluciones de seguridad crítica de primer nivel. Los soportes para las certificaciones de seguridad de sus Aplicaciones de Seguridad Crítica en Plataformas incluyen paquetes de datos para certificaciones aviónicas DO-254/ED-80 y DO-178C/ED-12C a DAL A, así como Paquetes de Seguridad y certificaciones para ISO 26262 y aplicaciones IEC 61508.

Además, la compañía trabaja con DERs aviónicos y autoridades de asistencia independientes acreditadas para proveer asistencia de seguridad crítica.

Para conocer los ítems que ofrece CoreAVI en el kit de certificación CertCore ™ DO-178C/ED-12C (en cuanto a planes de software, estándares de diseño de software, diseño de software de datos, datos de validación y certificación y datos finales) visita su página web, donde encontrarás un cuadro explicativo detallado.

Viernes, 28 Mayo 2021 09:03

¿Cómo se presenta el futuro de la seguridad en la cabina digital?

coreavi junio21

En la industria automotriz y la de vehículos con cabina, las pantallas multifunción han reemplazado a los indicadores y manómetros del pasado. Los SoCs de alto rendimiento están siendo empleados no solo para transmitir información básica a los drivers sino también para conseguir visión aumentada y mejorar la vigilancia situacional en humano-máquina-interfaz, lo cual permite al driver interpretar visualmente grandes cantidades de información. En la aviónica, las GPUs y los softwares usados en estos sistemas de automoción de alta fiabilidad y seguridad crítica adoptarán sistemas electrónicos cualificados para la seguridad. Estos sistemas encajarán con su propósito, pues estarán diseñados para cumplir con los estándares de seguridad funcional, permitir computación determinística, y los softwares estarán escritos de acuerdo con la guía MISRA-C para la seguridad crítica en software de acuerdo con estándares como el ISO 26262.

  • Flujos de trabajo: Una moda en la automoción es consolidar múltiples funciones de cabina en un dominio de control de cabina (CDC) en la cual discurren flujos de seguridad y de no-seguridad, mezclados de forma crítica. A menudo los flujos de trabajo de computación determinística no deben compartir recursos con otros flujos, y es muy importante tenerlo en cuenta para la seguridad determinística en flujos HMI. En este sentido el Arm Mali-G78AE, ya permite separar el GPU en 1, 2 o 4 GPUs y alojarlas en diferentes flujos de trabajo.

  • Arquitectura HMI segura: Los casos de uso de los gráficos certificados con ISO 26262 ASIL B son muchos en los diseños existentes. La integración del contenido de seguridad con contenido de no-seguridad en un cluster es común. En los actuales sistemas el renderizado puede llevarse a cabo en hardware y software ASIL QM, y el mecanismo de seguridad está en el monitor de seguridad ASIL B. Lo normal es dedicar el hardware a la muestra en pantalla de control que genera CRC. El CRC se compara con el CRC de referencia, y si coinciden, el sistema QM está funcionando correctamente, así como el contenido de seguridad. Sin embargo, cuando estos criterios no se cumplen, esta aproximación no escala bien. Por eso los diseños tendrán que soportar aplicaciones de seguridad que funcionen en cores de seguridad de aplicaciones cualificadas.

  • Desarrollo de Aplicaciones HMI seguras: Las aplicaciones en aviónica se aprovechan de la aceleración de la GPU que permite el API OpenGL® Safety Critical. En el futuro la suite de Seguridad Funcional para Mali-G78AE soportará OpenGL SC 1.0.1, 2.0 y el Vulkan SC 1.0. Los diseñadores HMI aprovecharán las herramientas HMI que soportan los flujos de trabajo, permitiendo el etiquetado de ciertos datos y superficies para el renderizado de dominios de seguridad y no-seguridad. El ecosistema de los partners de herramientas HMI facilitará la transición de los flujos de trabajo desde ASIL QM HMIEs a HMIs de Seguridad.

  • Alianzas fuertes: Cuando más autónomos se vuelven los sistemas de automoción, y cuanto más generalizada se vuelve el machine learning, más común serán las alianzas en el mundo de la automoción.

Puedes descubrir más información en el siguiente enlace.

Miércoles, 17 Marzo 2021 10:20

CoreAVI anuncia la disponibilidad de la FPGA certificable DO-254 y el Diseño para Conversión de Vídeo 3U VPX IP

coreavi certificable

CoreAVI ha anunciado la disponibilidad de un nuevo hardware de Conversión de Vídeo para permitir el procesamiento de vídeo con latencia baja y la fusión de gráficos para aplicaciones de misión crítica.

El nuevo Módulo de Conversión de Vídeo VIM3006 es el resultado de una colaboración entre los proveedores HENDSOLDT y CoreAVI. El diseño basado en FPGA que se puede obtener con la licencia de CoreAVI tiene todos los datos necesarios para el apoyo técnico, la fabricación y reparación. El módulo está también disponible con un paquete de datos que apoyan la certificación RTCA DO-254/EUROCAE ED-80 conforme a A(M)C 20-152A así como FPGA, y con un driver de procesamiento de vídeo con un paquete de datos para apoyar la certificación RTCA DO-178C/EUROCAE ED-12C.

El Módulo de Conversión de Vídeo VIM3006 3U VPX es compatible con las GPU XMC2 de CoreAVI, como por ejemplo la GPMX002, para permitir una baja latencia en la captura del vídeo para el procesamiento y la superposición, y el procesamiento de vídeo con mezcla y renderizado de gráficos. Esto le otorga un sensor de vídeo integrado y una solución de gráficos independiente de una GPU específica, permitiendo el uso de diferentes GPUs según las necesidades. Está diseñado para adaptarse con la interfaz de captura de vídeo VkCore® SC para permitir la latencia baja del procesamiento de vídeo para aplicaciones como la visión combinada, el seguimiento terrestre… El módulo soporta dos canales input de vídeo independientes, capturando los dos inputs SPMTE292 HD-SDI o ARINC 818-2.

Adicionalmente, cuatro salidas independientes convierten los canales de hasta cuatro TMDS (DVI) desde una GPU en formato XMC 2.0 hasta las salidas SMPTE292 HD-SDI o ARINC 818-2. La FPGA IP puede ser personalizada para acoplarse a varios form factor factores de forma y está disponible como un módulo rugerizado y refriegerado por conducción adherido al estándar VITA 41/42/65 (OpenVPX™), construido para misiones en entornos muy severos.

Viernes, 27 Noviembre 2020 10:46

Qué es CertCore™ 178 y cómo puede ayudar a la certificación en aviónica

Coreavi diciembre 2020

CoreAVI presenta CertCore™ 178, ¿quieres saber cómo puede ayudarte a nivel de certificación?

Lo primero que debes saber es que CoreAVI desarrolla drivers de software (DRV), librerías (LIB), Board Support Package (BSP) y softwares para montaje en placa (BOOT) COTS-D para cumplir con los requerimientos del sistema.

DO-178C es un medio de cumplimiento aceptable de mostrar la adhesión a las certificaciones o autorizaciones (E)TSO aplicables a las regulaciones de aeronavegabilidad para software en aeronaves, y donde la aplicación DAL es A o menor.

El desarrollo del software tiene lugar con la supervisión de una Representación de Ingeniería Designada (DER) FAA independiente para asegurar el cumplimiento de los objetivos DO-178C.  El DER puede otorgar una carta formal firmada que atestigua el cumplimiento del DO-178C por parte del software o la forma FAA 8110-3, si el DER es delegado.

El paquete de certificación disponible, CertCore178, descrito aquí, es el subgrupo de conformidad del ciclo de vida de datos DO-178C para los softwares que una autoridad de certificación espera que incluya certificación.

El ciclo de vida de datos que queda está disponible para ser examinado en CoreAVI.

CoreAVI también ofrece una opción de certificación de defensa para soporte on-site directo desde la propia empresa, para defender las pruebas de certificación internamente y con las autoridades de certificación.

Para todo ello, CoreAVI emplea tecnología electrónica para la retención fuerte y permanente de datos siguiendo las guías en FAA-IIR-01-01A 23/04, Guía de Certificación de Aeronaves para el Uso de Tecnología Electrónica Métodos Alternativos para el Almacenamiento de Información, y FAA Orden 8000-79, Uso de Tecnología Electrónica y Almacenamiento de Datos.

Características y Beneficios

  • Ciclo de vida de los datos que facilita FAA, EASA, TCCA y otras certificaciones de seguridad de las autoridades de certificación aviónica, donde DO-178C es un medio de cumplimiento aceptable.

  • Embalaje de pruebas DO-178C/ED-12C que da soporte a los sistemas que requiere DALA

  • Los procesos de garantía menores se apoyan en licencias a medida

  • Nivel de independencia A implementado en todas las actividades

Puedes descubrir más en el siguiente enlace.

Jueves, 26 Noviembre 2020 10:37

ArgusCore™ SC1: controladores gráficos OpenGL® SC 1.0.1 para sistemas certificables

Coreavi diciembre 2020 2

El ArgusCore SC1 de CoreAVI es un controlador de gráficos en tiempo real OpenGL SC 1.0.1 que ha sido diseñado para permitir las mejores capacidades de rendimiento de procesadores gráficos de menor y mayor potencia, y para alcanzar los mayores niveles de certificación, incluyendo FAA DO-178C / EASA ED-12C Nivel A.

Los controladores ArgusCore SC1 son un superconjunto de la especificación API OpenGL SC 1.0.1 de Khronos (OpenGL para aplicaciones de seguridad crítica). Las librerías de gráficos OpenGL SC 1.0.1 son implementadas para soportar una función fija de renderización de flujos de gráficos. ArgusCore SC1 es una solución probada por la industria que ha alcanzado de forma exitosa certificaciones aviónicas FAA/EASA y que está desplegada extensamente en los sistemas de visualización en aeronaves civiles, comerciales y de defensa alrededor del mundo.

La aceleración de la codificación hardware de vídeo y la decodificación están soportadas con un controlador plug-in que codifica framebuffers y también codifica un stream de vídeo en una textura. Juntos, estos controladores permiten la distribución de vídeo, la grabación y la reproducción. CoreAVI también ofrece una API integrada para simplificar la captura de datos de vídeo directamente en texturas para minimizar la latencia. Para facilitar la inicialización de cualquiera de estos hardware externos de gráficos/vídeo en GPU, CoreAVI incluye un mecanismo para llevar a cabo la inicialización después de la inicialización básica GPU y después de que la GPU esté controlando sus outputs de visualización.

Funciones incluidas

ArgusCore CS1 está provisto con una variedad de funciones detalladas abajo:

  • Driver Controlador de Visualización: ArgusCore SC1 incluye un driver controlador de visualización integrado que permite la configuración de puertos de controladores de visualización y otras funciones de control de visualización. También se ofrece un medio para definir un modo de vídeo totalmente personalizado gracias a la definición de la resolución y a los detalles del timing.

  • Manager de Virtualización GPU: ArgusCore SC1 está disponible con un manager de virtualización GPU, HyperCoreTM, para permitir múltiples particiones renderizados de gráficos para manejar una o diversas GPU. Específicamente, ArgusCore SC1 soporta una arquitectura Multi Partición Multitarea (MTMP) que ofrece soporte para aplicaciones de tarea única o multitarea en el mismo espacio o en diferente, así como permite compartir una GPU única entre aplicaciones residentes en diferentes OSs anfitriones.

  • Seguridad: las funciones de seguridad de ArgusCore SC2 añaden protección a la memoria asignada a cada partición de tal manera que cada partición solo accede a sus recursos asignados a través del uso de un hardware de gestión de memoria virtual, cuando es soportada en un objetivo hardware GPU.

Puedes conocer más en el siguiente enlace.

Lunes, 16 Noviembre 2020 07:33

DecodeCore®: Controladores de decodificación de video para RTOS y sistemas críticos

coreavi ok noviembre20

El DecodeCore es un controlador de decodificación de vídeo en tiempo real H.264/H.265/MPEG2/VC-1 que permite al hardware de vídeo que está integrado contar con modernos gráficos y procesadores de SoC. El controlador de decodificación de vídeo de CoreAVI ha sido desplegado en sistemas de vídeo tanto terrestres como aéreos globalmente, incluyendo el comando y control UAV, la vigilancia situacional de 360º, el Sistema de Información Geográfica (GIS), los mapas en movimiento y varios sistemas sensores de alarma. 

El DecodeCore permite a las aplicaciones decodificar y mostrar vídeos comprimidos con una utilización de la CPU mucho más baja que en el caso de los decodificadores con solo un software. 

La arquitectura del controlador y la API garantiza una alta eficiencia y una baja latencia entre el hardware decodificador de vídeo y el hardware de gráficos. El vídeo descomprimido también está disponible como una textura permitiendo la manipulación compleja y acelerado de imagen hardware y la integración con gráficos 2D y 3D. 

Características y beneficios 

  • Implementación totalmente libre de amenazas.

  • Decodificación de vídeo a baja potencia y alto rendimiento de decodificación de streams de vídeo H.264/H.265/MPEG2/VC-1. Hay que tener en cuenta que los formatos están sujetos a los soportes GPU y no todos los formatos pueden ser soportados por todos los controladores.

  • Controladores gráficos totalmente integrados con el ArgusCore (OpenGL) de CoreAVI y con gráficos basados en Vulkan VkCore SC y controladores de computación para la mínima latencia y sobrecarga.

  • Arquitectura escalable que soporta procesamiento y reproducción de más de 10 streams de decodificación de vídeo independientes y simultáneos.

  • Ingeniería GPU capaz de utilizar automáticamente los más recientes frames de decodificación de vídeo sin utilización de la CPU. 

  • La decodificación del vídeo se puede reproducir como una textura, permitiendo la fácil integración con capas 2D o 3D.

  • Soporta configuraciones de sistemas multicore virtualizadas.

  • Está disponible con el paquete de certificaciones de seguridad CertCoreTM 178 (DO-178C / ED12-C Aviónica) Nivel A.

Desarrollada con funcionalidades en tiempo real y de seguridad crítica, esta suite de productos permite el máximo rendimiento para aprovechar las avanzadas capacidades de los controladores de decodificación de vídeos integrados en GPUs y SoCs, incluyendo el Decodificador de Vídeo Unificado de la AMD (UVD).  

Puedes consultar más haciendo clic en el siguiente enlace

Página 1 de 5

TWITTER


RS1004L21X2 1U de @CrystalGroup: un #servidor compacto y resistente https://t.co/ZYMrDVcN8e https://t.co/DHa1nSbFWJ DONALBA

Fortress CSR: la grabadora de datos de #vuelo y voz combinada de @CurtissWrightDS https://t.co/aadMen3p1V https://t.co/vWPbdFMN3N DONALBA

CONTACTO

C/ Júpiter, 16 , Edificio IMPULSA - P.E. Aulencia, 28229 Villanueva del Pardillo – MADRID

+34 91 8135206

info@donalba.com

Iso 9001 SGS

Donalba SGS ISO 9001