Mejores sistemas incorporados de software
La calidad del software es relevante para el desarrollo de los sistemas incorporados, sobre todo si se tiene en cuenta que se emplean con frecuencia en aplicaciones críticas para la seguridad. Son muchos los que se sirven de herramientas de desarrollo de software, pero aun así resulta complicado lograr la calidad deseada, sobre todo para las pyme que carecen de los recursos necesarios. El proyecto financiado con fondos europeos «Methodology and supporting toolset advancing embedded systems quality» (MODUS)(se abrirá en una nueva ventana) se propuso ayudar a las pyme a competir en el mercado de los sistemas incorporados. Los doce miembros de su consorcio se propusieron crear un conjunto de metodologías y herramientas con las que mejorar la calidad de los sistemas incorporados mediante FDT. Las herramientas propuestas permitirán verificar modelos, interactuar con plataformas de simulación estándar, optimizar el rendimiento y generar código fuente a medida. El proyecto se desarrolló entre octubre de 2011 y marzo de 2014. Sus investigadores lograron generar un sistema que aprovecha técnicas de verificación de modelos dispersas en distintos marcos de modelización y herramientas. Generaron además una herramienta que asiste en la selección de entre varias técnicas de verificación propuestas, una labor para la que contaron con análisis automáticos de los modelos y las propiedades de las entradas en el sistema. El consorcio del proyecto creó una metodología y herramientas personalizadas destinadas a lograr una representación formal de las convenciones de codificación y otra herramienta adicional con la que generar código personalizado que se atiene a las representaciones. Esta capacidad permite a los desarrolladores de software adquirir código fuente de calidad sin necesidad de volver a aplicar normas de codificación. Otra de las herramientas del proyecto dedicada a optimizar el rendimiento y compatible con varias plataformas facilita la introducción de mejoras en la complejidad de los algoritmos durante el diseño de software. El método ideado por el equipo y su combinación con las herramientas de generación de código programadas ofrece un modo sencillo de generar código fuente optimizado. En MODUS se produjeron por tanto herramientas de desarrollo que ofrecerán a las pymes europeas competir con grandes empresas en el campo del software para sistemas incorporados. Sus resultados, además, abren la puerta a nuevos mercados.
