Industria

En la ultima década el crecimiento de los sistemas embebidos de tiempo real ha sido vertiginoso . Sumado al contexto crítico en algunos casos, ha sido causa de nuevos y profundos estudios en las actividades de verificación y testing de software. En los sistemas de tiempo real no solo es importante el orden en como deben ocurrir los cambios de estado sino también los instantes y límites de tiempo. Las propiedades de estos sistemas son modeladas con lógicas temporales cuantitativas (MTL, TCTL, etc.), pero en la actualidad no hay herramientas de chequeo de modelos que soporten dichas lógicas como tal. A fin de corroborar la ausencia de ciertas fallas de software consideradas críticas, se propone investigar la generación de casos de prueba bajo la estrategia de mutación de modelos y de propiedades de sistemas. Además, se complementará con la definición de mecanismos de reparación automática de software. El desarrollo de técnicas de reparación de programas ha cobrado gran importancia en la última década.

Por otro lado, los dispositivos móviles con plataforma Android siguen en constante evolución, una falla en el sistema de seguridad permite filtrar información confidencial de los usuarios. Los modelos de seguridad  deben ser verificados y testeados a fin de eliminar vulnerabilidades. Se propone investigar técnicas de seguridad para aplicar a las versiones recientes de dicha plataforma

La investigación es una continuación del proyecto anterior el cual tiene resultados alentadores con varias publicaciones en congresos y revistas internacionales.