Registro  
Login

Modelado de Software y Sistemas

Desarrollo de Embedded Software


Pruebas de Software y Sistemas
Consultoría de Certificación Aeronáutica

Formación de Certificación Aeronáutica

Formación de Certificación Ferroviaria


Formación en Certificación ISO 26262

Formación en Ingeniería de Requisitos

Mejore su productivad
Como entorno de desarrollo de Software Embarcado hemos decidido comercializar las herramientas de Green Hills..
Reduzca el tiempo de desarrollo

Herramientas de Desarrollo de Software Embarcado

Consideramos que Green Hills es la mejor herramienta de desarrollo para este tipo de Software, por las siguientes razones:
Su sistema operativo Integrity es el más seguro del mercado: Certificado EAL6+ High Robustness según IEC-15408 IT Security Evaluation
Soporta la tecnología Hipervisor que permite ejecutar distintos sistemas operativos con total aislamiento entre ellos
El entorno de desarrollo está certificado para todos los estándares industriales: DO-178, IEC-61508, EN-50128, ISO-26262, IEC-62304.
Sus compiladores  generan el código más optimizado (tamaño y velocidad)  del mercado según los benchmarks de EEMBC
Posee el depurador más potente del mercado: multicore, mutitask y con depuración hacía atrás usado con la sonda Super Trace Probe
Integra un analizador estático de código muy rápido al compartir funciones con el compilador
Proporciona sondas de depuración con potente capacidad de almacenamiento de trazas, necesaria para depurar hacia atrás en el tiempo
Sus productos se comercializan en la modalidad "Royaltie Free"
Herramienta muy madura y consolidada en el mercado. Más de 20 años en el mercado. Infinidad de referencias de cliente.
Soporte de más de 1000 procesadores y más de 30 fabricantes

¿Por qué elegir Green Hills?

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. El resultado: 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 los programas, 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
Los compiladores más optimizados
El depurador más potente del mercado
Analizador Estático de código integrado
Sondas de depuración avanzadas
Integrity 178B está certificado por NSA al nivel EAL 6+ High Robustness Common Criteria SKPP. Este es el máximo nivel de seguirdad alcanzado por un sistema operativo.
Esta certificación nos garantiza que el sistema operativo es altamente inmune frente a amenazas de seguridad de terceros. El núcleo del sistema operativo está totalmente aislado frente a amenazas externas, garantizando la integridad del sistema. Integrity garantiza que si una aplicación, ejecutándose en una de sus particiones (Protected Virtual Address Spaces), falla por cualquier razón (interna o externa), el resto de las aplicaciones no va a verse afectadas.
Librerías típicas de un sistema operativo tales como la pila de comunicaciones (TCP/IP, USB), los sistemas de ficheros e incluso los drivers de dispositivos se ejecutan en particiones separadas entre sí y separadas del nucleo del sistema operativo.
Integrity Multivisor proporciona funcionalidad de virtualización con la que se permite ejecutar distintos sistemas operativos en un mismo hardware. En los procesadores que soportan aceleración de tipo hypervisor, tales como Intel VT, Freescale QorIQ y ARM TrustZone, Integrity soporta virtualización plena por la cual no se requiere realizar ningún cambio en el sistema operativo insertado. En el resto de procesadores, se requiere realizar modificaciones mínimas en el sistema operativo insertado. Se proporcionan mecanismos para asignar un core a un sistema operativo insertado (modo AMP) o cargas de trabajo variables a cada uno de los cores del procesador (modo SMP).
Entorno de desarrollo Certificado
El entorno de desarrollo cruzado de Green Hills tiene tres componentes fundamentales: En el host (Windows, Linux, Solaris) se instala 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. Opcionalmente, en el host también se puede incorporar un sistema operativo de tiempo real de Green Hills tal como Integrity, VelOSity o uVelOSity.  La conexión con el target se realiza a través de una sonda de depuración (dispositivo hardware) que se conecta a través de USB o ethernet al host y a través de JTAG, COP o BDM a la placa. En el caso de disponer de sistema oparativo Integrity, la conexión con el target puede hacerse a través de Ethernet o puerto serie sin requerirse ningún componente hardware.
Tanto el entorno de desarrollo Multi como el sistema operativo Integrity tienen distintas versiones que están certificados para las normas siguientes:
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 sitemas 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. Finalmente, la opción de Time Machine y Super Trace Probe permite 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.
Green Hills proporciona, posiblemente, el único entorno de desarrollo con analizador estático 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.
Las sondas de depuración de Green Hills se pueden utilizar para distintos microprocesadores de distintas arquitecturas (Power PC, ARM, etc.) mediante actualizaciones del firmware y cambio de conector (si es necesario). Esta funcionalidad permite reutilizar una misma sonda con más de 1000 procesadores de más de 30 fabricantes.
La sonda de depuración SuperTrace Probe permite obtener hasta 4GB de datos de traza del procesador a alta velocidad. Esta información es procesada por el depurador para reconstrucir las instrucciones ejecutadas por el procesador y permitir la depuración hacia atrás en el tiempo.
En procesadores multicore, la sonda permite la depuración de los distintos cores, permitiendo simultáneamente el trazado de uno de ellos.

Aplicaciones externas para Integrity
Green Hills proporciona aplicaciones básicas para Integrity, tales como la pila TCP/IP, sistemas de ficheros, correo electrónico, etc. Adicionalmente, existen múltiples fabricantes que ofrecen aplicaciones externas para Integrity. A continuación se incluye una lista de las principales:
Doymus distribuye productos y servicios de las siguientes compañías:
Entornos de Desarrollo Software Embarcado
Placas y Sistemas Hardware
de Alta Disponibilidad
Pruebas dinámicas de Software Embarcado
Análisis Estático de Código Fuente y Binario
Productos
 
©  2017 Doymus Software e Ingeniería  •  Aviso Legal  •   Política de Privacidad  •  Política de Cookies
Servicios
Contactar
+34 911.788.540
info@doymus.com
Software & Hardware Development Tools
and Professional Services
Otros
Referencias

Recursos

Newsletters

Eventos
Doymus
Validación y Simulación
de Requisitos
Pruebas de Integraz Gráfica
de Usuario (GUI)
Formación DO 178/254
Consultoría de Certificación
Medida de Calidad de Proceso, Proyecto y Código Fuente
Especificación y Análisis de Requisitos y Riesgos
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