Embedded Office, empresa de sistemas embebidos especializada en aplicaciones de seguridad crítica, ha ampliado la gama de sus Cert-Kits para una serie de nuevos microcontroladores.

La gama ahora también es compatible con ARM 9, C166, C166SV2, Cortex A9, Cortex M3, Cortex M4F, Cortex R4F, PPC e200 y PPC e500. Además del certificado y la documentación para la certificación, los CERT-Kits también comprenden un sistema ejecutable junto con una solución completa de software de validación.

El sistema suministrado en los Cert-Kits sirve principalmente para comprobar si el código fuente precertificado del kernel de tiempo real ha sido correctamente implementado por el cliente y si ha sido capaz de generar el kernel de tiempo real con la configuración correcta. Con este fin, el software de validación ejecutado sobre la respectiva placa de evaluación genera un informe, que sirve como documentación de este paso. La configuración del hardware puede ser posteriormente adaptada para el proyecto de seguridad crítica u opcionalmente utilizado como un reemplazo completo de la interfaz de acceso al hardware (también conocida como BSP). Una nueva ejecución del software de validación genera un informe, que sirve como prueba del correcto funcionamiento del sistema operativo de tiempo real.

Los CERT-kits comprenden todos los elementos necesarios para crear una aplicación ejecutable. Estos incluyen el código fuente certificado, diversos manuales de software, tales como el de de seguridad, de integración del target, de usuario, de referencia así como el manual del sistema. El Cert-Kit también contiene software de validación como un BSP (paquete de soporte de la placa) de referencia y el certificado TÜV perteneciente a la homologación del componente de software pre-certificado. Previa solicitud, el entorno de prueba también puede ponerse a disposición del cliente. Opcionalmente, o si una certificación así lo requiere, está disponible el paquete adicional completo de documentos de certificación. Si la interfaz de programación de hardware de los Cert-Kits se va a utilizar en un proyecto de seguridad crítica, todos los elementos necesarios para la certificación también están disponibles.

"Ayudamos a nuestros clientes en todas las fases de la certificación - es decir, desde la planificación hasta la certificación en las instalaciones del TÜV (Organimos de Evaluación de la Certificación)", explica Thomas Amann, Director General de Embedded Office. "Además, Embedded Office certifica el BSP y desarrolla bibliotecas de autotesteo. Estas bibliotecas permiten que las aplicaciones críticas para la seguridad puedan ejecutarse en los microcontroladores. Contienen métodos de diagnóstico detallados, que aseguran el perfecto funcionamiento del controlador mediante la realización de pruebas básicas de la tecnología de seguridad. Se utilizan "auto-test" para detectar y solucionar fallos. Estas pruebas incluyen tests de las instrucciones y registros de la CPU, reloj PLL, RAM de arranque, RAM en línea, software de vigilancia así como pruebas de flash. "

Embedded Office goza de una larga trayectoria en el campo de la seguridad. La empresa, que está certificada según las normas DIN EN ISO 9001, ya participa en numerosos proyectos de seguridad crítica con sus componentes de software y asesoramiento personalizado. Previa solicitud, el entorno de prueba también puede ponerse a disposición de los clientes.

Más información