PROGRAMACIÓN CONCURRENTE Y EN TIEMPO REAL
Maestría en robótica
El curso estudia las evoluciones de los lenguajes de programación y sistemas operativos necesarias para la implementación de sistemas concurrentes de tiempo real. Un enfoque fuertemente práctico de desarrollo de sistemas es implementado para ilustrar definiciones formales y tratamientos teóricos. Durante el curso se revisan los servicios críticos de un kernel de tiempo real: calendarización, comunicación entre tareas y manejo de memoria.
MATERIAL
Syllabus
Resumen 1er parcial
Concurrency and distribution in OOP [Briot, Guerraoui y Lohn. 1998]
Characterizing thread safety [Goetz. 2003]
The Model Checker Spin [Holzmann. 1997]
Programas Java 1a parte
Práctica 1
Práctica 2
Práctica 3
Práctica 4
Práctica 5
Ejemplo Robot
Ejercicios de escenarios de concurrencia
Algoritmo de Dekker
Ejercicios y tarea Promela
Semáforos en Java
Documentos y ejercicios FreeRTOS [IAR Systems]
Prácticas Stellaris LM3S8962
Syllabus
Resumen 1er parcial
Concurrency and distribution in OOP [Briot, Guerraoui y Lohn. 1998]
Characterizing thread safety [Goetz. 2003]
The Model Checker Spin [Holzmann. 1997]
Programas Java 1a parte
Práctica 1
Práctica 2
Práctica 3
Práctica 4
Práctica 5
Ejemplo Robot
Ejercicios de escenarios de concurrencia
Algoritmo de Dekker
Ejercicios y tarea Promela
Semáforos en Java
Documentos y ejercicios FreeRTOS [IAR Systems]
Prácticas Stellaris LM3S8962