Fiabilidad de sistemas

Hay 9 posts etiquetados con Fiabilidad de sistemas.

Algebraic analysis of multistate k-out-of-n systems

 

Ponente: Patricia Pascual Ortigosa (Universidad de La Rioja)

Lugar: Seminario Mirian Andrés (Edificio CCT)

Hora: martes 03 de julio, 11:30

Resumen:  k-out-of-n systems have been intensively studied because of their importance in engineering and biology. In this talk we study the algebraic approach to their multistate version. We review the different definitions that multistate k-out-of-n systems have received and show how the algebraic method is used to study their reliability in a general way with a simple approach.

Nota: la charla se trata de una prueba de tiempo para la conferencia del mismo título que tendrá lugar en el XVI congreso EACA 2018.

Diseño de provenance a partir de diagramas UML

 

Ponente: Carlos Sáenz

Lugar: Seminario Mirian Andrés (Edificio CCT)

Hora: martes 31 de enero, 13:00

Resumen: El término provenance ha emergido recientemente en la informática para referirse a entidades, actividades y personas involucradas en la producción de información. Sus objetivos van desde la evaluación de la calidad y fiabilidad del software, hasta la reproducibilidad de programas. Dentro de este marco, ha emergido el estándar W3C PROV con el objetivo de facilitar un modelo de datos provenance que permita la interoperabilidad entre diferentes sistemas. En base a este estándar, PROV-Template ha sido desarrollado con el fin de proporcionar diseño y estructura a la información provenance generada.

En la charla se hará una breve introducción a provenance y en particular, a su estándar PROV y el desarrollo de PROV-Templates. A continuación, se profundizará en la generación automática de PROV-Templates a partir de diagramas UML y en la captura de información provenance. Finalmente, se presentará un caso de uso que ilustra el trabajo realizado.

Puedes acceder a las transparencias de la charla en el siguiente siguiente enlace.