Software Quality Systems S.A.

Inicio ContactoEnglish

I+D - Spices

Objetivos del proyecto:

El objetivo general del proyecto es proponer una metodología 'conciliada', por medio de nuevos métodos y herramientas de desarrollo desde las descripciones extendidas en AADL, unas implementaciones predictivas basadas en componentes de sistemas embebidos de importancia crítica para la misión asociadas con asuntos de certificación. Extenderemos este ADL (lenguaje de descripción de arquitectura) para soportar limitaciones específicas embebidas no funcionales en tiempo real, y para proporcionar capacidades de ejecución en tiempo de funcionamiento.

SQS es coordinador español del Proyecto. Proporciona su experiencia en soluciones y servicios para el aseguramiento de la Calidad del software, y verificación y validación de sistemas, reflejando a través de su participación en el proyecto y su interés en la creación de soluciones de soporte al desarrollo de software embebido.

¿Por qué es necesario Spices?

Hoy en día varios dominios abordan el problema de desarrollar sistemas embebidos, de importancia critica para la misión, basados en computadores con complejidad en aumento, requerimientos de fiabilidad y presión económica (coste y tiempo al mercado). Hoy, estos  dominios (Ej., Espacio, Aviónica, Automoción, Comunicaciones….) están  bastante fraccionados y son propensos a estudiar y promover soluciones dedicadas, en casos donde la colaboración entre ellos podría ser beneficiosa.

Sin embargo, todos estos sistemas embebidos están caracterizados por el hecho de que su diseño no puede ser llevado a cabo sin tener en cuenta y evaluar en las primeras etapas, el uso de recursos por completo, y tienen que abordar el diseño de software tanto para plataformas tradicionales como para estructuras re-configurables en combinación.

Una tendencia importante en el desarrollo de software es hacia el desarrollo basado en el modelo.

Una mejor productividad y calidad sólo se pueden alcanzar con un desarrollo integrado basado en una representación consistente y formal del sistema y, hasta donde sea posible, generación automática de código. Sin embargo, para poder aplicarse en estos dominios, el modelo del sistema debe tener en cuenta las características específicas de los sistemas embebidos.
Además, cuanto mayor es la complejidad del sistema, más dificultoso es evaluar sobre el papel si está adecuadamente diseñado y si cumplirá con todos los requerimientos de diseño, tanto funcionales como no funcionales. Ya no se puede esperar su realización para descubrir que el diseño es pobre, por lo tanto la validación debe hacerse mucho antes en el proceso. Para que esto sea factible, se debe disponer de una descripción formal y no ambigua del futuro sistema con bastante información (en otras palabras, un modelo consistente).

Consorcio:

  • AIRBUS France
  • Axlog Ingénierie
  • BARCO Avionics
  • CEA-List
  • CETIC
  • DEIMOS Space
  • FéRIA
  • K.U Leuven
  • Israel Aircraft Industries LTD.
  • LESTER
  • Rhea System
  • SQS
  • THALES Avionics
  • THALES Communications
  • Universidad de Cantabria
  • Uni. Politecnica de Madrid
  • Verimag

Enlaces

Persona de contact en el proyecto: Rubén Rodríguez- rrodriguez@sqs.es

Más información acerca del proyecto: www.spices-itea.org/public/news.php