SISTEMAS CIBER-FÍSICOS
SISTEMA CIBERFISICO Y SISTEMAS EMBEBIDOS
Un sistema ciber-físico (CPS) es una plataforma que se coordina e integra eficazmente con los procesos
físicos. Se concibe como una red de interacción con los elementos de entrada y salida.
Esta búsqueda de integración no es nueva, comenzó con los sistemas embebidos. Pero estos se enfocaron
en los elementos de cálculo y la transformación de los datos, en vez de priorizar los vínculos y la
interacción.
Funcionan como dispositivos independientes (cajas cerradas) que no brindan una capacidad de
interconexión con el mundo real por defecto. A su vez poseen muchas limitaciones que no permiten
grandes desarrollos.
Los CPS tienen el potencial de minimizar las aplicaciones revolucionarias del último siglo.
APLICACIONES
La utilización de los CPS es requerida en áreas diversas como:
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
Donde las aplicaciones tendrían efectos económicos y tecnológicos de gran impacto.
IMPEDIMENTOS
Como la tecnología de plataformas y redes actuales carecen de las siguientes características:
- semántica temporal
- adecuados modelos de concurrencia
- tecnologías de interconexión que permitan predicción y fiabilidad en tiempo real
Innecesariamente impiden el progreso hacia nuevas capacidades que no serán posibles al menos de que se
realicen cambios sustanciales en estas abstracciones.
DESAFIOS TECNOLOGICOS
Las redes de sistemas embebidos funcionaban relativamente bien interactuando con los procesos físicos,
debido a que se construian para trabajar en un ámbito limitado. El problema principal era optimizar y
realizar los procesos más rápidamente.
Pero hoy en día se demanda por sistemas con más características y capacidades.
El reto, ahora, es hacer sistemas interconectados capaces de predecir los tiempos de ejecución y que
brinden resultados confiables.
- PREDICCION DE LOS TIEMPOS DE EJECUCION
Una falta importante de los sistemas actuales es la falta de abstracción del tiempo. Se utilizan tecnologías
como jerarquía de memoria (memoria cache), expedición dinámica y ejecución especulativa para mejorar
el performance del software a expensas de la predicción, pues se hace casi imposible calcular el tiempo de
ejecución de un proceso particular.
En 25 años no hubo mejoras significativas en este aspecto, todos los avances fueron en sistemas
operativos, interfaces, lenguajes de programación, entre otros donde el tiempo es irrelevante.
Aun así hay investigaciones precursoras como por ejemplo en el caso de los sistemas distribuidos donde
la sincronización temporal promete para las plataformas una noción de tiempo en común.
- MODELOS DE CONCURRENCIA
Los CPS por naturaleza deben ser concurrentes, deben reaccionar a múltiples entradas y controlar varias
salidas.
Actualmente esta capacidad es abstraída mediante hilos dejando el manejo de las interacciones al sistema
operativo. Pero esto tiene un inconveniente, debido a que no se parece al modelo de concurrencia del
mundo físico, provocando que se haga muy difícil utilizarlos sin tener problemas.
Este conflicto se ve agravado en las aplicaciones que se esperan realizar con CPS, en efecto se debe
construir un modelo que sea más deterministico, predecible y entendible.
Nos hemos acostumbrado tanto a estas abstracciones computacionales que olvidamos de que pueden ser
modificadas, si bien existen otras técnicas todavía siguen siendo muy primitivas.
INVESTIGACIONES EN CPS
Algunas de las investigaciones que se encargan de desarrollar la tecnología de los CPS son:
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
Los Sistemas Ciber‐Físicos (CPS) tienen la capacidad de integrar funciones de cómputo y de
comunicación con el seguimiento y control de las entidades del mundo físico. Estos sistemas se
componen generalmente por un conjunto de dispositivos en red, tales como: sensores, actuadores,
unidades de procesamiento de control y dispositivos de comunicación. Debido a la heterogeneidad del
hardware un CPS puede abarcar múltiples dispositivos con diferentes arquitecturas, protocolos e
interfaces, los CPS tienden a ser sistemas híbridos y distribuidos. En este trabajo, proporcionamos
enfoque para el análisis de requisitos y principios de modelado de CPS que se ilustran a través de un
sistema de control de un manipulador, Revisaremos cómo los objetivos de seguridad tradicionales de
integridad, disponibilidad y confidencialidad pueden ser interpretados por CPS, además revisaremos el
estado de los sistemas de control en los CPS y el trabajo por realizar en este campo.
Las tecnologías, las ciencias e ingenierías siguen redefiniendo las capacidades del mundo físico,
actualmente los seres humanos podemos comunicarnos desde dos puntos totalmente diferentes y
alejados como sea posible a través de internet, la cual también nos permite interactuar con los objetos a
distancia, personas y lugares. En este milenio las necesidades de nuestra sociedad exigen cada vez más
capacidades innovadoras en el tiempo y el espacio. Los enfoques actuales para el diseño de sistemas,
desarrollo y operación no son suficientes [1], por lo tanto, surgen los Sistemas Ciber‐Físicos (Cyber‐
Phisical‐System CPS) que son integraciones de cómputo con los procesos físicos. Ordenadores y redes
incrustadas para supervisar y controlar los procesos físicos, por lo general con los lazos de
retroalimentación donde los procesos físicos afectan a los cálculos y viceversa. Sin embargo, la
convergencia entre la cibernética y el mundo físico está abriendo nuevas líneas de investigación para los
investigadores de la computación ubicua, de hecho, en un mundo convergen acciones e información
producida en el mundo físico que pueden afectar y modificar los contextos personales y sociales, por lo
que también puede afectar la información y los servicios que se manejan en el mundo cibernético.
Concurrente
una condición de un sistema en el que múltiples tareas son lógicamente activas a la vez
Paralela
una condición de un sistema de un sistema en el que múltiples tareas están realmente activas a la vez
Concurrente vs Paralelo Aplicaciones
Aplicación concurrente: una aplicación para la cual los cálculos lógicamente se ejecutan simultáneamente
debido a la semántica de la aplicación
el problema es fundamentalmente concurrente
Aplicación paralela
Una aplicación para la cual los cálculos se ejecutan de manera simultánea para completar un problema en
menos tiempo
Desafio en Diseño de Sistema embebido
Los sistemas embebidos comprenden una gran cantidad de software.
Modelo de Computacion
Los modelos de computación (MoCs) describen el mecanismo asumido para los cálculos de rendimiento.
En el caso general, debemos considerar los sistemas que comprenden componentes. Ahora es una práctica
común distinguir estrictamente entre los cálculos realizados en los componentes y la comunicación. En
consecuencia, los MoCs definen (ver también [Lee, 1999], [Janka, 2002], [Jantsch, 2004], [Jantsch,
2006]):
Componentes y la organización de cómputos en tales componentes:
Los procedimientos, procesos, funciones y máquinas de estados finitos son componentes posibles.
Protocolos de comunicación: estos protocolos describen métodos de comunicación entre componentes. El
paso asíncrono de mensajes y la comunicación basada en rendez-vous son ejemplos de protocolos de
comunicación.
Las relaciones entre los componentes se pueden capturar en gráficos. En dichos gráficos, nos referiremos
a los computadores también como procesos o tareas. En consecuencia, las relaciones entre estos serán
capturadas por gráficos de tareas y redes de procesos. Los nodos en el gráfico representan componentes
que realizan cálculos. Los cálculos asignan flujos de datos de entrada a flujos de datos de salida. Los
componentes a veces se implementan en lenguajes de programación de alto nivel. Los cálculos típicos
contienen iteraciones (posiblemente no terminadas). En cada ciclo de la iteración, consumen datos de su
entrada, procesan los datos recibidos y generan datos en sus flujos de entrada. Los bordes representan las
relaciones entre los componentes. ahora obtendremos estos gráficos en un nivel más detallado.
la relación más obvia entre los cálculos es su dependencia causal:
Muchos cómputos solo se pueden ejecutar después de que otros cómputos hayan terminado. esta
dependencia generalmente se captura en los gráficos de dependencia.
