Artículo:

Entorno de Validación Configurable para Software Embebido Refactorizado y su Aplicación en Ascensores

Los ascensores son sistemas complejos que integran además de software, componentes eléctricos, mecánicos, etc. La complejidad de estos sistemas es aumentada además al tener en cuenta la variabilidad: un ascensor puede ser instalado en edificios de más o menos pisos, puede tener diferente puertas, los actuadores y sensores pueden variar, etc. La validación del software de estos sistemas es compleja en diferentes aspectos. Este artículo presenta un trabajo industrial para la validación de software embebido congurable refactorizado en el contexto del sector del transporte vertical.