A materia introduce ao alumno no deseño, programación e verificación de sistemas de tempo real, isto é, de sistemas que interaccionan coa súa contorna (reactivos) e que ademais o fan respondendo a estritos requirimentos temporais. Capacitaráselle no manexo das hipóteses síncrona e asíncrona, mostrando as diferenzas de concepto e ilustrando as vantaxes e desvantaxes en cada caso, especialmente no relativo á verificación do comportamento en contornas críticas. Trátase en definitiva de formar ao alumno no desenvolvemento de núcleos operativos nos que o respecto dos prazos tanto de tratamento dos estímulos como de xeración da resposta revisten un carácter crítico, algo habitual en sistemas embebidos no ámbito de sectores como o da automoción, aeroespacial ou da defensa.
Non se usará inglés na clase, aínda que algunhas das fontes bibliográficas están nese idioma.
