Breadcrumb

Gaia

XSLaren edukia

Atzera

Fidagarritasuna Sistema Txertatuetan

Gaiari buruzko datu orokorrak

Modalitatea
Ikasgelakoa
Hizkuntza
Gaztelania

Irakasleak

IzenaErakundeaKategoriaDoktoreaIrakaskuntza-profilaArloaHelbide elektronikoa
CORTIÑAS RODRIGUEZ, ROBERTOEuskal Herriko UnibertsitateaIrakaslego AgregatuaDoktoreaElebidunaKonputagailuen Arkitektura eta Teknologiaroberto.cortinas@ehu.eus
GRACIA MORAN, JOAQUINValentziako Unibertsitate PoliteknikoaUnibertsitateko Irakaslego TitularraDoktorea
PEREZ CERROLAZA, JUAN MARTINIKERLANBesteakDoktoreajmperez@ikerlan.es

Gaitasunak

IzenaPisua
Crear sistemas seguros tolerantes a fallos100.0 %

Irakaskuntza motak

MotaIkasgelako orduakIkasgelaz kanpoko orduakOrduak guztira
Magistrala242549
Mintegia65.511.5
Gelako p.45.59.5
Ordenagailuko p.62430

Irakaskuntza motak

IzenaOrduakIkasgelako orduen ehunekoa
Eskola magistralak49.049 %
Gelako praktikak9.542 %
Mintegiak11.552 %
Ordenagailuko praktikak30.029 %

Ebaluazio-sistemak

IzenaGutxieneko ponderazioaGehieneko ponderazioa
Lan praktikoak60.0 % 60.0 %
Lectura y resumen de un artículo científico sobre la materia40.0 % 40.0 %

Irakasgai-zerrenda

Fiabilidad, tolerancia a fallos y conceptos relacionados. Modelos de sistemas.

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.

Bibliografia

Oinarrizko bibliografia

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.

Storey, N.R: Safety Critical Computer Systems, Addison-Wesley Longman Publishing, Boston, MA, 1996.

XSLaren edukia

Iradokizunak eta eskaerak