Fundamentos de Modelado de Sistemas para Verificación Formal

En la ingeniería moderna, encontrar errores de sistema al final del desarrollo es increíblemente costoso. La verificación formal le permite probar matemáticamente que su sistema se comporta correctamente, pero todo comienza con la construcción del modelo de sistema adecuado. Este curso basado en texto lo guía a través de los principios fundamentales del modelado de sistemas de hardware y software para el análisis automatizado. Pasará de comprender las especificaciones básicas del sistema a estructurar modelos complejos que previenen fallas de diseño desde el principio. Lo que aprenderá: * Comprender los conceptos fundamentales de la verificación funcional y la comprobación de modelos; * Representar comportamientos de hardware y software utilizando formalismos de modelado precisos; * Aplicar sistemas de transición de estados para capturar estados y transiciones del sistema; * Definir propiedades de seguridad y vivacidad utilizando conceptos básicos de lógica temporal; * Analizar composiciones de sistemas y modelos de comunicación para procesos concurrentes; * Practicar la traducción de requisitos de diseño en representaciones verificables a través de ejercicios escritos. Comenzará con la terminología central, los sistemas de transición y los conceptos básicos de verificación. A partir de ahí, explorará cómo modelar controles dependientes de datos y manejar sistemas concurrentes con diferentes patrones de comunicación. Este curso está diseñado para ingenieros de software principiantes, diseñadores de hardware y arquitectos de sistemas. No se requiere experiencia previa en verificación formal. Comience a construir diseños de sistemas confiables y sin errores hoy mismo.