SISTEMAS CIBER-FSICOS

Son las bases de la computacin adecuadas?

SISTEMA CIBERFISICO Y SISTEMAS EMBEBIDOS
Un sistema ciber-fsico (CPS) es una plataforma que se coordina e integra
eficazmente con los procesos fsicos. Se concibe como una red de interaccin
con los elementos de entrada y salida.
Esta bsqueda de integracin no es nueva, comenz con los sistemas
embebidos. Pero estos se enfocaron en los elementos de clculo y la
transformacin de los datos, en vez de priorizar los vnculos y la interaccin.
Funcionan como dispositivos independientes (cajas cerradas) que no brindan
una capacidad de interconexin 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 utilizacin de los CPS es requerida en reas diversas como:

Dispositivos de alta fiabilidad en medicina

Control de Trfico

Control de Procesos

Conservacin de la energa

Control de infraestructuras criticas

Robtica distribuida

Sistemas de defensa

Donde las aplicaciones tendran efectos econmicos y tecnolgicos de gran

impacto.

IMPEDIMENTOS
Como la tecnologa de plataformas y redes actuales carecen de las siguientes
caractersticas:
-

semntica temporal

adecuados modelos de concurrencia

tecnologas de interconexin que permitan prediccin y fiabilidad en

tiempo real

Innecesariamente impiden el progreso hacia nuevas capacidades que no sern

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 fsicos, debido a que se construian para
trabajar en un mbito limitado. El problema principal era optimizar y realizar
los procesos ms rpidamente.
Pero hoy en da se demanda por sistemas con ms caractersticas y
capacidades.
El reto, ahora, es hacer sistemas interconectados capaces de predecir los
tiempos de ejecucin y que brinden resultados confiables.
- PREDICCION DE LOS TIEMPOS DE EJECUCION
Una falta importante de los sistemas actuales es la falta de abstraccin del
tiempo. Se utilizan tecnologas como jerarqua de memoria (memoria cache),
expedicin dinmica y ejecucin especulativa para mejorar el performance
del software a expensas de la prediccin, pues se hace casi imposible calcular
el tiempo de ejecucin de un proceso particular.
En 25 aos no hubo mejoras significativas en este aspecto, todos los avances
fueron en sistemas operativos, interfaces, lenguajes de programacin, entre
otros donde el tiempo es irrelevante.

Aun as hay investigaciones precursoras como por ejemplo en el caso de los

sistemas distribuidos donde la sincronizacin temporal promete para las
plataformas una nocin de tiempo en comn.
- MODELOS DE CONCURRENCIA
Los CPS por naturaleza deben ser concurrentes, deben reaccionar a mltiples
entradas y controlar varias salidas.
Actualmente esta capacidad es abstrada 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 fsico,
provocando que se haga muy difcil 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 ms deterministico,
predecible y entendible.
Nos hemos acostumbrado tanto a estas abstracciones computacionales que
olvidamos de que pueden ser modificadas, si bien existen otras tcnicas
todava siguen siendo muy primitivas.
INVESTIGACIONES EN CPS
Algunas de las investigaciones que se encargan de desarrollar la tecnologa de
los CPS son:

Introduccin del tiempo en lenguajes de programacin

Re-estructuracin de los sistemas operativos y lenguajes

Re-estructuracin del hardware

Jerarqua y gestin de memoria con capacidad de prediccin

Componentes concurrentes

Modelos de concurrencia predecibles, entendibles y controlables

Redes con capacidad de manejo del tiempo

Sistemas de computacin dinmicos