Modelar el comportamiento no determinista en los sistemas complejos
Los aviones de reconocimiento de altitud media (MAR) se usan para actividades militares y civiles de observación. La captación de imágenes por aviones MAR conlleva una mayor dificultad técnica que los satélites geoestacionarios, ya que los aviones se encuentran en movimiento en relación con su objetivo. No obstante, las imágenes de los MAR tienen una resolución mucho mayor. Científicos del laboratorio holandés de aeronáutica (NLR) participaron en un estudio práctico de aviones MAR en el marco de un proyecto de tecnologías de la información y de las comunicaciones. Su objetivo era saber si las nuevas herramientas de software desarrolladas con lenguaje de modelado unificado (UML) por los socios universitarios en el proyecto OMEGA se podrían aplicar para mejorar el rendimiento de los MAR. En el centro del experimento se encuentra el bus de datos de los aviones MAR, responsable del control de los datos críticos procedentes de distintos sistemas. La situación es complicada porque los datos se proporcionan a intervalos regulares e irregulares (asíncronos). La capacidad del entorno de verificación del lenguaje de modelado unificado (UVE) de modelar el no determinismo inherente permitió al laboratorio determinar si la pérdida de datos perjudica a la seguridad de otros factores. Así mismo, la herramienta IF/IFx permite crear un modelo exacto de los componentes del sistema con límite de tiempo, que ya ha sido validado por las opiniones de los usuarios. Por tanto, el estudio práctico demostró la utilidad de las herramientas de verificación tanto en el sistema limitado como en el no limitado, desarrolladas en el transcurso del proyecto OMEGA. Los próximos estudios previstos por el NLR y sus socios de OMEGA se centrarán en el efecto de las nuevas herramientas sobre el ciclo de vida general del desarrollo de software en los aviones MAR y en otros campos de estudio.
