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.