Introducción

Testing and validating Real-Time Operating Systems

Martin Timmerman    
Royal Military Academy Brussels - BELGIUM

Presentation abstract

Este tutorial discute la necesidad de testear y validad los sistemas operativos en tiempo real, bien sean de software propietario o bien Open Source. En primer lugar, se definirá qué se ha testeado y se explicará por qué las pruebas son necesarias. Se explicará también el funcionamiento y el comportamiento de los Sistemas Operativos en Tiempo Real, y se presentará un mecanismo que permite comparar resultado de pruebas en diferentes plataformas y sistemas operativos.

Timmerman también ofrecerá una visión general acerca del hardware utilizado para las pruebas reales, para poder hacer mediciones no invasivas y no sincronizadas (con el reloj del sistema operativo). También dará ejemplos acerca de algunas pruebas ejecutadas en el posado, y demostrará el buen y mal comportamiento de los sistemas en tiempo real.

Al final de su tutorial, Timmerman dará algunos detalles acerca del nuevo equipo de testeo de hardware, especialmente desarrollado para utilizar son modernos sistemas, cuando se trabaja a alta velocidad y las posibilidades entrada/salida son limitadas.

 

Speakers information

Martin es Ingeniero de Telecomunicaciones por la Royal Military Academy (RMA) de Bruselas, Bélgica, y en 1982 se doctoró en Ciencias Aplicadas en la Universidad de Gent.

Como especialista en Ingeniería Informática, estableció en 1983, el Centro de Desarrollo de Sistemas para las Fuerzas Armadas belgas. Ha sido el representante de Bélgica en la OTAN para diversas comisiones técnicas y es revisor de proyectos de sistemas embebidos en la CE. Es profesor en la Royal Military Academy (CISS) y en la Vrije Universiteit Brussel (ETRO).

Martin es más conocido, sin embargo, por su conocimiento en Sistemas Expertos Dedicados.

 

volver