Análisis basado en modelos marte para la validación de rendimiento de líneas de productos de sistemas embebidos

Zusammenfassung

En una era donde las tecnologías están integradas en la vida coti- diana y se espera un mayor crecimiento en los próximos años, es crucial su diseño y evaluación para las empresas, ya que pueden afectar a su competitividad además de generar valor. En este contexto, los sistemas embebidos desempeñan un papel cada vez más importante y tienen como reto el dirigir un producto a un segmento de mercado al menor coste y tiempo de entrega posible. Y eso implica un diseño óptimo, una integración perfecta con el entorno físico y electrónico, respetando las limitaciones del entorno, tales como los deadlines, disponibilidad, consumo de energía, y el coste. Por lo tanto, el diseño de los sistemas embebidos plantea retos y desafíos a investigar. Es posible constatar que la enorme complejidad de los futuros dispositibos embebido desafía seriamente a los ingenieros software; principalmente, a la hora de desarrollar dicho software y asegurar su calidad. Dado que normalmente, son sistemas con aspectos temporales críticos a los que se debe dar respuesta, entre otros atributos de calidad, su verificación y validación en fases tempranas del desarrollo es crucial. La presente tesis tiene como objetivo la definición de un proceso de análisis basado en modelos para líneas e producto software embebidas, especificando guías de modelado y anotación con el perfil MARTE y gestionando la variabilidad requerida en la fase de análisis de dichos sistemas. Este entorno permite integrar la variabilidad en el análisis y representar diferentes tipos de la misma dentro del proceso de desarrollo facilitando la gestión sistemática. También facilita la gestión de relaciones entre los elementos variables del análisis, ayuda en la priorización de escenarios críticos, permite la reutilización de las anotaciones de rendimiento realizadas y facilita la generación automática de modelos de análisis.