Visure: Gestion de Requisitos

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 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

Mejore su productivad

Como entorno de desarrollo de Software Embarcado hemos decidido comercializar las herramientas de Green Hills

Reduzca el tiempo de desarrollo

Entorno de desarrollo cruzado

Consideramos que Green Hills es el mejor entorno de desarrollo cruzado, por las siguientes razones:

¿Por qué elegir Green Hills Multi?

Integrity: El Sistema Operativo más seguro

Green Hills desarrolla sus propios compiladores de C/C++ y Ada.

Estos compiladores destacan por sus múltiples opciones de optimización y por su capacidad de aplicarlas a nivel de proyecto, fichero e incluso a nivel de línea de código.

Según Embedded Microprocessor Benchmark Consortium (EEMBC- www.eembc.org), los compiladores de Green Hills son los que obtienen mejores puntuaciones en la generación de código más rápido y más pequeño.

En la mayoría de las arquitecturas, los compiladores de Green Hills generan ejecutables un 20% más rápidos que aquellos generados con el compilador de GNU.

Integrity Multivisor: Tecnología de Virtualización

Multi Professional incluye un analizador estático de código integrado. Esto permite que al mismo tiempo que se compila una unidad se vaya obteniendo información de análisis de código, por lo que el análisis final es mucho más rápido que con un analizador externo.

El analizador estático permite detectar ciertos errores antes de ejecutar ninguna prueba de código. La dectección precoz de errores es crítica para reducir el coste de la corrección de errores.

Soporta trazado hardware, con 4 Gb de memoria de trazas y un ancho de banda de captura de 40 Gb/sec.

Soporta los últimos protocolos de trazado serie de alta velocidad (HSST), incluyendo canales serie múltiples de 12.5 Gb.

Soporta velocidades de descarga sostenidas de 120MHz de señal de reloj JTAG.

Se puede reconfigurar para depurar software de distintas arquitecturas de procesador: ARM, Power Architecture, Intel, etc.

Aplicaciones externas para Integrity

Entorno de desarrollo certificado

Entorno de desarrollo certificado para todos los estándares industriales: DO-178, EN-50128, ISO-26262, IEC-62304
Compiladores con el generación de código más optimizado del mercado según los benchmarks de EEMBC
Depurador más potente del mercado: multicore, mutitask y con depuración hacía atrás usado con la sonda GH Probe
Analizador estático de código integrado muy rápido al compartir funciones con el compilador
Sonda de depuración GH Probe con 4Gb de trazado hardware
Soporta más de 1000 procesadores y más de 300 fabricantes

El entorno de desarrollo cruzado de Green Hills tiene dos componentes fundamentales:

Multi que incluye el editor, el compilador (C/C++ o Ada), el linker, el depurador, el builder (generación automática de código objeto), el profiler, etc.
La sonda de depuración GH Probe (dispositivo hardware) que se conecta al host a través de USB o ethernet y al target a traves del puerto JTAG, COP o BDM.
Opcionalmente, se puede incorporar un sistema operativo de tiempo real de Green Hills tal como Integrity, VelOSity o uVelOSity.

Los compiladores más optimizados

Green Hills proporciona un un paquete de cualificación de las herramientas de generación de código, para:

Un potente depurador

El depurador de Green Hills destaca claramente por su capacidad de manejo de múltiples tareas, múltiples cores, múltiples tarjetas o cualquier combinación de ellas.

Combinado con los sistemas operativos Integrity o uVelOSity, permite visualizar cualquier objeto del sistema operativo al mayor nivel de detalle posible. Asimismo, permite visualizar cualquier registro específico al microcontrolador incluyendo los de control de periféricos.

Multi Professional y la sonda GH Probe permiten depurar hacia atrás en el tiempo, lo que es de vital importancia en caso de ruptura de la ejecución del programa ("core dumped"). Esta funcionalidad permite depurar problemas esporádicos o aleatorios muy difíciles de corregir de otra forma.

Analizador estático de código integrado

Sonda de depuración avanzada

Con Multi Professional se puede ejecutar, poner puntos de parada y visualizar datos hacia atrás en el tiempo.

Con Path Analyzer, incluido en Multi Professional, se proporciona una vista gráfica de las distintas llamadas al "stack" en el tiempo

Depurador Multi-core

Esta herramienta es muy útil para detectar errores en entornos complejos donde existen múltiples tareas, múltiples cores, múltiples tarjetas o cualquier combinación de ellas.

La función Target List, muestra estos componentes de forma jerárquica de forma que se facilita el seguimiento del flujo de ejecución de la aplicación de un contexto a otro viendo las interdepencias entre las distintas tareas. Se muestra información del estado de todos los componentes, lo que facilita la visión global del estado del sistema.

Control de la Memoria dinámica

Esta herramienta muestra el estado de la memoria asignada dinámicamente (heap). Se muestra información de uso total y los bloques de memoria asignada. De una forma gráfica es muy fácil de detectar memory leaks en tiempo de ejecución.

Analizador de eventos

Esta herramienta muestra la frecuencia y duración de los eventos de sistema operativo Integrity en el tiempo.

Es muy útil para detectar problemas de prestaciones de alto nivel tales como prioridades de tareas mal asignadas, tiempo de procesamiento de rutinas de servicio de interrupciones excesivo, demasiadas llamadas al sistema, cambios de contexto de tareas inesperados, etc.