Diagrama de temas

  • General

    Sistemas de Tiempo Real (2012)

  • Sistemas de Tiempo Real (2012)

    sistemas-tiempo-real.jpg

    Sistemas de Tiempo Real (2012)

         

    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

        

        

        

        

        

        

        

        

        

        

        

        

      Páginas: 4