Topic outline

  • Sistemas de Tiempo Real (2012)

    sistemas-tiempo-real.jpg

         

    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.

  • Programa

    programa

     

     

    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.

  • Bibliografía

    bibliografia

      

     

        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.

  • Materiales de Clase

    materiales

     

     

    • MC-F-003Lesson 3. Extensions to the periodic model.
    • MC-F-004Lesson 4. Modelling real-time systems.
    • MC-F-006Lesson 6. Aperiodic events.
    • MC-F-007Lesson 7. Support in operating systems and in the Ada language.
    • MC-F-008Lesson 8. Advanced Topics.
    • MC-F-009Lesson 9. Distributed and multiprocessor systems.
    • MC-F-010Lesson 10. BSY-1 trainer case study.
  • Ejercicios

    ejercicios

      

     

    • EP-F-001. Ejercicios Tema 2. Tareas periódicas.
    • EP-F-002. Ejercicios Tema 3. Extensiones al modelo teórico.
    • EP-F-003. Ejercicios Tema 5. Sincronización.
    • EP-F-004. Ejercicios Tema 6. Eventos aperiódicos.
  • Otros Recursos

    otros_recursos

      

      

    Seminario de programación en lenguaje ADA

    Bloque I. Conceptos básicos de Ada

      

    Bloque II. Conceptos avanzados de Ada

     

    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.

  • Pruebas de Evaluación

    evaluacion

     

     

        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

  • Guía de Aprendizaje

    guia

     

     

  • Sobre el Profesor

    profesor

     

     

    logo_UC    

    Michael González Harbour

     

    Departamento de Electrónica y Computadores

    UNIVERSIDAD DE CANTABRIA
     
    Más información

     

    logo_UC    

    José Javier Gutiérrez García

     

    Departamento de Electrónica y Computadores

    UNIVERSIDAD DE CANTABRIA
     
    Más información

     

    logo_UC    

    José Carlos Palencia Gutiérrez

     

    Departamento de Electrónica y Computadores

    UNIVERSIDAD DE CANTABRIA
     
    Más información

     

    logo_UC    

    Héctor Pérez Tijero

     

    Departamento de Electrónica y Computadores

    UNIVERSIDAD DE CANTABRIA
     
    Más información