|
|
|
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.
|
|
| |
|
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).
|
|
|
|
Cursos de Formación
|
|
|
|
Nuevas Funcionalidades
|
|
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.
|
|
| |
|
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.
|
| |
|
|
|
