Análisis del Rendimiento del Sistema con Modelos Formales

Alguna vez se ha preguntado si un sistema puede realmente manejar su carga máxima esperada sin fallar? Vaya más allá de las pruebas tradicionales y aprenda a probar matemáticamente los límites de rendimiento de sistemas complejos, asegurando que sean confiables y eficientes. Este curso proporciona una comprensión fundamental del modelado formal cuantitativo, una técnica poderosa para analizar el comportamiento del sistema. Aprenderá a traducir descripciones de sistemas en modelos matemáticos precisos y a aplicar métodos analíticos para determinar su rendimiento en el peor de los casos, como la latencia máxima o los tamaños de búfer requeridos. Lo que aprenderá: - Comprender los principios centrales del modelado formal y su papel en el diseño y verificación de sistemas. - Aprender a representar el comportamiento del sistema utilizando formalismos fundamentales como las redes de Petri. - Aplicar técnicas matemáticas, incluidas funciones de conteo y órdenes de prefijos, para analizar sus modelos. - Calcular métricas de rendimiento en el peor de los casos para garantizar la confiabilidad del sistema bajo condiciones específicas. - Analizar la concurrencia, la contención de recursos y los posibles interbloqueos en sistemas distribuidos. - Construir una base sólida para explorar la verificación automatizada y las herramientas de métodos formales. El curso comienza con la teoría esencial detrás del modelado de sistemas, luego progresa a ejercicios prácticos escritos donde construirá y analizará modelos para varios escenarios. Este curso está diseñado para estudiantes de informática, desarrolladores de software e ingenieros de sistemas. No se requiere experiencia previa en métodos formales, pero es beneficioso tener comodidad con conceptos abstractos. Comience su viaje en el riguroso mundo del análisis de rendimiento y la verificación.