Septiembre 2018

Nuevos Productos y Servicios

Diseño y Verificación de SoCs y FPGAs

Colaboramos con HDL Desigh House en el diseño, verificación y soporte a la certificación DO-254 de Complex Electronic Hardware (SoCs, ASICs, FPGAs,...).

HDL-DH es un ARM Approved Design Partner y cuenta con más de 15 años de experiencia en el diseño y verificación de SoCs complejos.

hdl_dh

Soporte a la Certificación ISO-26262

Colaboramos con Brightskies Technologies en el diseño de sistemas complejos para automoción y realización de Safety Assessments según la norma ISO-26262.

Se proporciona soporte a la certificación ISO-26262, incluyendo el análisis y mejora de los procesos de desarrollo y pruebas (Gap Analysis).

visure

Cursos de Formación

Curso de Formación DO-178C / DO-254 / ARP-4754A. Madrid, 11-13 Diciembre 2018

Aforo completado al 50%

Curso impartido en inglés por Vance Hilderman sobre Certificación Aeronáutica conforme a las normas DO-178C y DO-254 y ARP-4754A.

Asistirán ingenieros de empresas europeas del máximo nivel.

Nuevas Funcionalidades

Green Hills Integrity-178 tuMP inicia pruebas de Certificación FACE

Se inician las pruebas de Conformidad de Integrity-178 tuMP según el estándar Future Airbone Campability Environment (FACE) edition 3.0

Se certificaran las familias multicore Intel, ARM y Power Architecture, incluyendo soporte para C, C++ y Ada.

Pre-Integración de VectorCAST y CodeSonar

La integración permitirá realizar análisis estático de código dentro del entorno de VectorCAST. Con ello se ampliarán las integraciones actuales con Lint, PRQA, Klocwork y Coverity.

La integración estará disponible en breve para los clientes de CodeSonar.

Squish GUI Tester con reconocimiento fino de imágenes y de objetos dinámicos

Se ha rediseñado el mapa de objetos, añadiendo más flexibilidad, para facilitar la identificación de objetos GUI dinámicos. Se puede segmentar el mapa para organizar objetos GUI de distintas formas.

El reconocimiento de imágenes se ha perfeccionado, permitiendo diferenciar imágenes casi idénticas de forma fiable.

Visure Requirements soporta el estándar ReqIF

La nueva versión mejora las plantillas de los estándares DO-178, EN-50128, ISO-26262. Amplía las reglas de trazabilidad y mejora sustancialmente los informes y la exportación/importación a MS Word.

Permite el intercambio a través de ReqIF con otras herramientas, incluida IBM Doors.

AbsInt RuleChecker mejora la verificación de normas de codificación software

Se añaden las reglas MISRA C++ 2008 y las reglas de seguridad ISO/IEC TS 17961:2013. Incorpora reglas de estilo de todos los identificadores de C y métricas HIS con verificación de umbrales.

Plug-ins para Eclipse y Jenkins y Paquete de Cualificación de normas de seguridad.

MEN Railway Data Center

Plataforma abierta que cubre todas las comunicaciones de datos internas al tren y también las tren-tierra.

Basada en los últimos estándares IT, pero con certificación EN-50155.

Artículos Técnicos

Requirements in the loop (RIL) Simulation

Si somos capaces de dotar de una semántica definida a los requisitos textuales y máquinas de estados, podremos simular su comportamiento como ya se hace en entornos de modelado (MIL) y de equipo (HIL).

Basándonos en plantillas de requisitos, con semántica asociada, existen entornos que permiten realizar esta simulación.

Worst Case Execution Time Prediction

Usando análisis estático de código sobre el fichero ejececutable, podemos ser capaces de obtener un límite superior fiable del WCET.

Esta estimación se calcula a nivel de rutinas o tareas y es la base para realizar un análisis de cumplimiento de las restriciones temporales de ejecución.