Código Nombre de la Asignatura

MSSH Modelado y Simulación de Sistemas Heterogéneos

Nº de créditos: 3

Curso: 1º

Tipo de asignatura: Optativa

Especialidad: Profesional

Cuatrimestre: 2º

Idioma/s: Español

Ingeniería de Sistemas y Automática y Arquitectura y

Departamento/s:
Tecnología de Computadores

Área/s de Conocimiento: Ingeniería de Sistemas y Automática

Página web: www.isaatc.ull.es

Datos del Profesorado Teléfono Correo electrónico

José Ignacio Estévez Damas (Coordinador) 922318263 iestevez@ull.es

Rosa María Aguilar Chinea 922845056 raguilar@ull.es

Horas de 5
Tutorías
del
alumnado

25 (incluye clases de teoría,

Horas de
seminarios, laboratorio de
Docencia
modelado y simualción por
presencial
ordenador y evaluación)

Pre-requisitos

No hay requisitos previos para esta asignatura.

Objetivos: competencias, capacidades y destrezas

Síntesis de modelos para sistemas heterogéneos (énfasis en dispositivos electrónicos empotrados),

bajo diferentes modelos de cómputo. Comprensión de las dificultades y limitaciones en la simulación
de tales sistemas. Elección de las herramientas de simulación adecuadas en función del tipo de
sistema. Utilización de diferentes plataformas de modelado / simulación.
Contenidos

Introducción. Ejemplos de sistemas heterogéneos. Importancia del modelado y la simulación a nivel

de arquitectura en el proceso de diseño de sistemas empotrados.
Máquinas de estado finito. Introducción a las redes de Petri.
Teoría de los modelos de cómputo. Procesos, eventos y señales. Constructores de procesos.
Composición de procesos. Modelo de cómputo (MoC). MoC sin tiempo.
Sistemas síncronos. Ejemplos. Procesos síncronos. Realimentación de procesos síncronos. MoC
síncrono.
Modelos con tiempo. Sistemas de eventos discretos. Simulación conducida por eventos.
Características de los procesos. MoC con tiempo.
Redes de procesos. Ejemplos. Lectura sin bloqueo. Lectura y escritura con bloqueo.
Introducción al modelado y simulación de sistemas continuos descritos por ecuaciones diferenciales
ordinarias. Modelos modales. Sistemas híbridos. Modelado y simulación de procesos de muestreo
de señales analógicas. Ejemplos en dispositivos empotrados.
Miniproyecto. Análisis, modelado y simulación de un dispositivo electrónico empotrado utilizando las
herramientas descritas.

Metodología docente

La docencia se realizará en los siguientes escenarios: clase convencional de teoría, aula de

ordenadores y tutoría en grupos reducidos con ordenador. La clase convencional de teoría será
utilizada para presentar los conceptos nuevos relativos al formalismo de los modelos de cómputo.
Estimamos un 35% de la docencia presencial en esta modalidad. El resto de la docencia no
tutorizada se realizará en el laboratorio, ya que las capacidades relacionadas con la actividad de
modelado y la destreza en la implementación y experimentación con los modelos sólo se consiguen
con la práctica. Las tutorías permitirán a los alumnos plantear sus dudas sobre la asignatura, pero
sobre todo estarán destinadas a trabajar en grupos reducidos los ejercicios planteados en las clases
de teoría y en el laboratorio.

Evaluación (criterios y procedimiento)

Durante el curso se realizarán pruebas de evaluación parcial de la teoría, sin menoscabo de que el
alumno pueda presentarse a un examen de similares características en la época de examen
destinada para ello, con la finalidad de recuperar o subir nota. Estas pruebas de evaluación parcial
permitirán detectar los conceptos erróneamente asimilados por los alumnos. El porcentaje de la nota
final afectado por esta forma de evaluación será del 20%.

Los alumnos irán realizando pequeños ejercicios propuestos por el profesor, que deberán ser
entregados al final de la asignatura. Este trabajo continuo del alumno afectará al 40% de la nota
final.

Por último, nos encontramos con un miniproyecto final, que deberá ser desarrollado en grupo de dos
alumnos. Este miniproyecto será evaluado mediante una entrevista personal al grupo donde se
tomará en cuenta para la nota, la respuesta de los alumnos a las preguntas del profesor, que podrán
versar sobre la teoría de la asignatura y sobre la práctica realizada. Esta prueba afectará al 40% de
la nota final.

Recursos docentes: Bibliografía, etc.

Material de laboratorio. Software de simulación: CPN, Ptolemy II, Arena, UPPAAL. Aula de
ordenadores.
Bibliografía.
Modelado de sistemas hetereogéneos y de tiempo real
Axel Jantsch. Modeling Embedded Systems and SoC's: Concurrency and Time in Models of
Computation. Morgan Kauffman, 2003.
Hiren D. Patel, Sandeep K. Shukla. SystemC Kernel Extensions for Heterogeneous System
Modeling: A Framework for Multi-MoC Modeling & Simulation. Springer, 2004.
Manuales de usuario y técnicos del sistema Ptolemy II.
http://ptolemy.berkeley.edu/ptolemyII/index.htm
Manuales de usuario y técnicos del sistema UPPAAL. http://www.uppaal.com/
Modelado y simulación (generalidades)
Antoni Guasch - Miquel Àngel Piera – Josep Casanovas – Jaume Figueras. Modelado y simulación.
Aplicación a procesos logísticos de fabricación y Servicios Ediciciones UPC, 2002
Modelado y simulación de sistemas continuos
D. Matho - R. Karba - B. Zupancic Simulation and Modelling of Continuous Systems. A Case Study
Approach.Prentice Hall, Inc., 1992
J. Aracil.Introducción a la dinámica de sistemas. Alianza Universidad Textos, 1992
Modelado, análisis y simulación con redes de Petri
M. Silva Las Redes de Petri: en la Automática y la Informática. Editorial AC, 1985
Sistemas de eventos discretos
J. Banks – J.S. Carson – B.L. Nelson – D.M. Nicol.Discrete-event system simulation. Prentice Hall, 3ª
Edición, 2001
W.D. Kelton – R.P. Sadowski – D.A. Sadowski. Simulation with Arena WCB/McGraw Hill, 1998
Modelado y simulación de sistemas estocásticos
P. Bratley - B.L. Fox - L.E. Schrage. A Guide to Simulation.Springer-Verlag, 1987 S.M. Ross.
Simulación. 2ª Edición. Prentice Hall, 1999
Apuntes desarrollados por los profesores
1. Introducción a la teoría de sistemas. José Ignacio Estévez Damas (2001). Incluye: Introducción a
los conceptos de sistema, modelo y simulación. Ejemplos de modelos obtenidos mediante diferentes
metodologías. Conceptos básicos de la teoría de sistemas.
2. Análisis de sistemas dinámicos. José Ignacio Estévez Damas (2002). Incluye: Modelos simples de
sistemas dinámicos. Ejercicios sobre la obtención de ecuaciones elementales. Técnicas analíticas.
Modelos de dos poblaciones. Ejercicios sobre análisis elemental de sistemas dinámicos.
4. Introducción a la plataforma de simulación Ptolemy II. José Ignacio Estévez Damas (2006).
5. Apuntes y problemas de sistemas de eventos discretos desarrollados por laprofesora Rosa María
Aguilar Chinea.