Contenidos teóricos y prácticos de la asignatura
Tema 1. Introducción a los sistemas ciberfísicos: características y aplicaciones.
Tema 2. Modelado de comportamientos dinámicos: modelado de sistemas dinámicos, sistemas híbridos y modelos concurrentes de computación.
Tema 3. Diseño de sistemas ciberfísicos: metodología, sensores y actuadores, sistemas empotrados y redes de comunicación.
Tema 4. Análisis y verificación: invariantes y lógica temporal, refinamiento y equivalencia, análisis de alcanzabilidad y comprobación del modelo, análisis cuantitativo, seguridad y privacidad.
Tema 2. Modelado de comportamientos dinámicos: modelado de sistemas dinámicos, sistemas híbridos y modelos concurrentes de computación.
Tema 3. Diseño de sistemas ciberfísicos: metodología, sensores y actuadores, sistemas empotrados y redes de comunicación.
Tema 4. Análisis y verificación: invariantes y lógica temporal, refinamiento y equivalencia, análisis de alcanzabilidad y comprobación del modelo, análisis cuantitativo, seguridad y privacidad.
Actividades a desarrollar en otro idioma
En cumplimiento de la normativa autonómica el 5% de las actividades docentes se impartirá en Inglés.
Se utilizará documentación en inglés, cuyo uso será necesario para responder a preguntas y resolver ejercicios, de manera escrita, que formen parte de la evaluación de la asignatura.
Se utilizará documentación en inglés, cuyo uso será necesario para responder a preguntas y resolver ejercicios, de manera escrita, que formen parte de la evaluación de la asignatura.