CPS C yber -P hysical S ystems Sistema computacional que se coordina e integra eficazmente con los procesos físicos Interactúan por medio de dispositivos.

Presentación del tema: "CPS C yber -P hysical S ystems Sistema computacional que se coordina e integra eficazmente con los procesos físicos Interactúan por medio de dispositivos."— Transcripción de la presentación:

1 CPS C yber -P hysical S ystems Sistema computacional que se coordina e integra eficazmente con los procesos físicos Interactúan por medio de dispositivos de entrada y salida

2 Computadoras embebidas Procesos físicos Redes de monitoreo Lazos de realimentación Predicción de tiempo de ejecución Tiempo Concurrencia

3 Dispositivos de alta fiabilidad en medicina Control de Tráfico Control de Procesos Conservación de la energía Control de infraestructuras criticas Robótica distribuida Sistemas de defensa Aplicaciones

4 Generación de energía Vehículos Sistemas de control Comunicaciones Juegos Redes financieras Aplicaciones Futuras

5 ¿Qué dificulta el desarrollo de los CPS? Impedimentos: Falta de semánticas temporales Modelos de concurrencia inadecuados Tecnologías de interconexión que permitan predicción y fiabilidad en tiempo real

6 Sistemas embebidos: –Se construían en ámbito limitado –Apuntaban a optimizar y realizar los procesos más rápidamente Objetivo hoy en día: –sistemas interconectados –predecir los tiempos de ejecución –resultados confiables Desafíos tecnológicos

7 Arquitecturas Lenguajes de programación SO Interconexiones de redes No tienen en cuenta el tiempo en sus abstracciones Jerarquías de memorias expedición dinámica ejecución especulativa Dificultan predecir el tiempo de ejecución Predicción de tiempo de ejecución

8

9 Modelos de concurrencia reaccionar a múltiples entradas y controlar varias salidas. Actualmente se usan:THREADS –manejo de las interacciones se delega al sistema operativo → trae problemas

10 INVESTIGACIONES EN CPS Introducción del tiempo en lenguajes de programación Re-estructuración de los sistemas operativos y lenguajes Re-estructuración del hardware Jerarquía y gestión de memoria con capacidad de predicción Componentes concurrentes Modelos de concurrencia predecibles, entendibles y controlables Redes con capacidad de manejo del tiempo Sistemas de computación dinámicos