Materia
Fiabilidad en Sistemas Empotrados
Datos generales de la materia
- Modalidad
- Presencial
- Idioma
- Castellano
Profesorado
Nombre | Institución | Categoría | Doctor/a | Perfil docente | Área | |
---|---|---|---|---|---|---|
CORTIÑAS RODRIGUEZ, ROBERTO | Universidad del País Vasco/Euskal Herriko Unibertsitatea | Profesorado Agregado | Doctor | Bilingüe | Arquitectura y Tecnología de Computadores | roberto.cortinas@ehu.eus |
GRACIA MORAN, JOAQUIN | Universidad Politécnica de Valencia | Profesorado Titular De Universidad | Doctor | |||
PEREZ CERROLAZA, JUAN MARTIN | IKERLAN | Otros | Doctor | jmperez@ikerlan.es |
Competencias
Denominación | Peso |
---|---|
Crear sistemas seguros tolerantes a fallos | 100.0 % |
Tipos de docencia
Tipo | Horas presenciales | Horas no presenciales | Horas totales |
---|---|---|---|
Magistral | 24 | 25 | 49 |
Seminario | 6 | 5.5 | 11.5 |
P. de Aula | 4 | 5.5 | 9.5 |
P. Ordenador | 6 | 24 | 30 |
Actividades formativas
Denominación | Horas | Porcentaje de presencialidad |
---|---|---|
Clases magistrales | 49.0 | 49 % |
Prácticas de aula | 9.5 | 42 % |
Prácticas de ordenador | 30.0 | 29 % |
Seminarios | 11.5 | 52 % |
Sistemas de evaluación
Denominación | Ponderación mínima | Ponderación máxima |
---|---|---|
Lectura y resumen de un artículo científico sobre la materia | 40.0 % | 40.0 % |
Trabajos Prácticos | 60.0 % | 60.0 % |
Temario
Fiabilidad, tolerancia a fallos y conceptos relacionados. Modelos de sistemas.Tolerancia a fallos:
- Tolerancia a fallos en sistemas empotrados centralizados.
- Tolerancia a fallos en sistemas empotrados distribuidos.
Modelado de sistemas empotrados. Especificación y verficación normal.
Herramientas para el modelado de sistemas empotrados:
autómatas finitos, diagramas de flujos de datos y lenguajes de especificación.
Diseño de patrones para sistemas de Tiempo Real y sistemas "safety-critical".
Verificación, test y validación.
Calidad de servicio.
Bibliografía
Bibliografía básica
Kopetz, H: Real-time systems: desing principles for distributed embedded applications, Kluwer Academic Publishers, Boston, Massachusetts, 1997.Jalote, P. Fault Tolerance in Distributed Systems. Prentice Hall. Englewood Cliffs, N.J., 1994.
kopetz
Storey, N.R: Safety Critical Computer Systems, Addison-Wesley Longman Publishing, Boston, MA, 1996.