Aprovechar la metodología Play-In y Smart Play-Out
La creciente popularidad del software integrado ha hecho que los investigadores exploren nuevas formas de trabajar con estos sistemas distribuidos, de múltiples plataformas y cada vez más complejos. Al mismo tiempo, es necesario automatizar el desarrollo de software para que la industria europea mantenga su ventaja competitiva en el mercado mundial. Por esta razón, resulta indispensable la validación desde las primeras fases del desarrollo con el fin de obtener un software de alta calidad a precios competitivos. En este contexto, el proyecto OMEGA desarrolló las herramientas y la metodología adecuada para el desarrollo de sistemas integrados en tiempo real a través del lenguaje de modelado unificado (UML). Una de estas herramientas es Play-Engine, basada en el método de play-in y play-out. Esta herramienta avanzada permite especificar y ejecutar los requisitos de comportamiento de los sistemas reactivos complejos. El uso de los diagramas de secuencias en directo o Live Sequence Charts (LSC) permite definir los escenarios. Mediante el método de play-in/play-out, los requisitos se capturan fácilmente introduciéndolos con ayuda de la interfaz gráfica de usuario (GUI) ,que permite una ejecución potente y directa. Así mismo, gracias a los métodos de verificación, una ampliación de esta propuesta, la técnica conocida como Smart Play-Out, permite ejecutar directamente los escenarios. Además, ofrece también medios para analizar los escenarios en términos de coherencia y satisfacción de las propiedades brindadas en materia de comportamiento. A efectos del proyecto OMEGA, la herramienta Play-Engine ya se ha aplicado en tres casos. Uno de ellos es un mecanismo de control de vuelo que efectúa operaciones de "elección y control de sensores" en un sistema estándar de control de vuelo diseñado por la industria aeronáutica israelí (IAI). Otro es el sistema de reconocimiento de altitud media (MARS), que contrarresta el deterioro de la calidad de las imágenes causado por el movimiento hacia adelante del avión, desarrollado por el laboratorio de investigación nacional (NLR) en los Países Bajos. La tercera aplicación se refiere al servicio de telecomunicaciones Depannage sobre los componentes del servicio y la plataforma integrada por parte de France Telecom R&D (FTRD). La herramienta Play-Engine es en la actualidad una herramienta prototipo de investigación desarrollada en el instituto Weizmann de ciencia. Para más información, haga clic en el enlace siguiente: http://www-omega.imag.fr/index.php(se abrirá en una nueva ventana)
