Sistemas de Tiempo Real (2012)
Topic outline
-
Profesores
Michael González Harbour
José Javier Gutiérrez García
José Carlos Palencia Gutiérrez
Héctor Pérez Tijero
Departamento de Electrónica y Computadores
El objetivo general de la asignatura es formar al alumno/a para que sea capaz de diseñar y analizar sistemas de tiempo real aplicaciones donde los aspectos temporales sean fundamentales para el correcto funcionamiento de la aplicación. Para ello, se introducirán los diferentes conceptos que se han considerado históricamente relevantes para la correcta planificación y funcionamiento de este tipo de sistemas.
The aim of the course is to train students in the design, analysis and development of real-time systems, where correctness of operation depends not only on its logical behaviour, but also the time at which the results are produced. In this course, students will learn how to characterize, model, analyze, and design such systems by applying the traditional concepts used in the scheduling theory.
Palabras Clave de la Asignatura
Planificación, Análisis de Planificabilidad, Ada, Modelling, Sistemas Distribuidos, Schedulability Analysis, RMA, Real-Time, Scheduling, MAST, Tiempo Real, Modelado, Distributed Systems.
-
Datos identificativos de la Asignatura
-
Asignatura: Sistemas de Tiempo Real
-
Código: 5462
-
Departamento / Área: Departamento de Electrónica y Computadores
-
Título: Grado en Ingeniería Informática
-
Centro: Facultad de Ciencias
-
Créditos ECTS: 7,5
-
Idioma de impartición: Español
-
Profesores responsables: Michael González Harbour, José Javier Gutiérrez García, José Carlos Palencia Gutiérrez y Héctor Pérez Tijero
Programa de la asignatura
Programa. Teoría, problemas, prácticas de laboratorio
-
Tema 1. Introducción. Necesidad de los sistemas de tiempo real. Sistemas de tiempo real estricto y laxo. Políticas de planificación.
-
Tema 2. Eventos periódicos. Programación de tareas periódicas. Análisis de planificabilidad de sistemas con tareas periódicas.
-
Tema 3. Extensiones de la teoría básica.
-
Tema 4. Modelado de sistemas de tiempo real.
-
Tema 5. Recursos compartidos. Protocolos de sincronización. Implementación de protocolos de sincronización. Análisis de planificabilidad.
-
Tema 6. Eventos aperiódicos. Programación de tareas aperiódicas. Análisis de planificabilidad de sistemas con tareas periódicas y aperiódicas.
-
Tema 7. Soporte en sistemas operativos y en lenguaje ADA.
-
Tema 8. Aspectos avanzados.
-
Tema 9. Sistemas distribuidos.
-
Tema 10. Caso de estudio.
-
Tema 11. Bibliografía.
Seminarios
-
Lenguaje de programación ADA.
-
Herramientas MAST.
-
-
Básica
-
M.H. Klein, T. Ralya, B. Pollak, R. Obenza, & M. González Harbour (1993): «A practitioner’s handbook for real-time analysis». Kluwer Academic Pub.
-
A. Burns & A. Wellings (2002): «Real-time systems and programming languages». Second Edition. Addison-Wesley.
-
G. Buttazzo (1997): «Hard real-time computing systems». Kluwer Academic Pub.
-
J.S.W. Liu (2000): «Real-time systems». Prentice Hall.
-
J. Barnes (2006): «Programming in Ada 2005». First edition. Addison-Wesley.
-
-
Seminario de programación en lenguaje ADA
Bloque I. Conceptos básicos de Ada
-
OR-F-001. Parte 1.
-
OR-F-002. Parte 2.
Bloque II. Conceptos avanzados de Ada
-
OR-F-003. Paquetes, estructuras dinámicas de datos, excepciones.
-
OR-F-004. Concurrencia.
-
OR-F-005. Tiempo Real.
Anexos
-
OR-F-006. Ejemplos de uso de librerías predefinidas.
-
OR-F-007. Genéricos.
-
OR-F-008. Entrada/salida con ficheros.
-
OR-F-009. Programación orientada a objetos.
Entorno de desarrollo (IDE) GNAT GPS
-
OR-F-010. Tutorial básico del entorno de desarrollo GPS.
Ejercicios
Documentación de apoyo
-
OR-F-013. Manual de referencia del lenguaje Ada 2005.
-
OR-F-014. Libro público de introducción al lenguaje Ada.
Software
-
OR-F-015. Compilador GNAT GPL. Free software and open-source development with Ada.
-
-
Criterios de evaluación
-
Se realizará un Examen Escrito de cuestiones y problemas en la convocatoria de junio, y otro en septiembre.
-
Adicionalmente, se podrá realizar un Examen Parcial en la convocatoria de junio.
-
Asimismo, se realizará una evaluación continuada de las prácticas durante el transcurso de la asignatura. Existirá un Examen de Prácticas para aquellos alumnos/as que no hayan superado la Evaluación Continua.
-
Para superar la asignatura es preciso superar tanto el Examen o exámenes como las Prácticas.
-
La nota final estará compuesta por:
-
60% Examen Escrito de cuestiones y problemas.
- 40% nota de Prácticas.
-
Descripción de la Evaluación Continua: actividades que debe desarrollar el alumno/a y su valoración
-
Para cada práctica se requerirá su presentación al profesor/a en el laboratorio, así como una breve memoria.
Descripción del Examen Final
-
El Examen Final consiste en el planteamiento de una serie de cuestiones y problemas de tipo práctico que cubren diferentes aspectos del temario propuesto.
-
La duración aproximada es de 4 horas y se permite el uso de cualquier material bibliográfico
-
-
-
Michael González Harbour
Departamento de Electrónica y Computadores
UNIVERSIDAD DE CANTABRIA
Más información José Javier Gutiérrez García
Departamento de Electrónica y Computadores
UNIVERSIDAD DE CANTABRIA
Más información José Carlos Palencia Gutiérrez
Departamento de Electrónica y Computadores
UNIVERSIDAD DE CANTABRIA
Más información Héctor Pérez Tijero
Departamento de Electrónica y Computadores
UNIVERSIDAD DE CANTABRIA
Más información
Aquí puede descargarse la