El hombre que ideó cómo detectar ‘aceitunas envenenadas’ en los programas informáticos
Edmund E. Clarke fue uno de los padres de la técnica de la verificación de modelos, usado en la titánica tarea de encontrar errores en el ‘software’.
Edmund E. Clarke fue uno de los padres de la técnica de la verificación de modelos, usado en la titánica tarea de encontrar errores en el ‘software’.
El grupo de investigación NEO, del Instituto ITIS Software de la Universidad de Málaga (UMA), ha desarrollado un sistema de inteligencia artificial para configurar un mapa que ayuda a los ayuntamientos y gestores de la movilidad en las ciudades a identificar las mejores ubicaciones para los nuevos puntos de su red de estaciones de depósito y recogida de bicicletas. Como queda […]
SECRET se centra en la protección de elementos de control críticos de sistemas de red eléctricas, y, particularmente, en controladores. Esta necesidad se debe a la evolución de su arquitectura y a la necesidad de romper con los sistemas de control tradicionales, los cuales se basan principalmente en redes aisladas, compuestas por componentes propietarios y […]
Desde el año 2006, el grupo NICS ha colaborado con la multinacional Siemens en diversos proyectos a nivel europeo en el campo de la seguridad y la Internet de las Cosas. Las primeras colaboraciones se englobaron en la integración segura de redes de sensores en entornos industriales. A esto le siguieron cooperaciones en el ámbito […]
El grupo MORSE participó en el proyecto FP7 Smart Water Management with Integrated Decision support systems (SAID) coordinado por la empresa Abengoa. El objetivo del proyecto era el diseño e implementación de sistemas de ayuda a la decisión (DSS) relacionados con el riesgo de inundaciones, la calidad del agua y la energía con el fin […]
El grupo de NEO del ITIS participa el proyecto ‘Eco-Iot’, que trabaja para el desarrollo de contenedores inteligentes capaces de reducir y reutilizar los residuos plásticos que se generan en los hoteles.Se trata de un consorcio entre empresas, universidad y centro de investigación que busca optimizar el proceso de recogida de plásticos en hoteles, mediante […]
Las comunicaciones de baja latencia y alta fiabilidad sobre redes móviles, como las que se requieren en áreas como Internet táctil, industria 4.0, coche conectado, entre otras requieren el avance y coordinación en varios niveles
La construcción software crítico y complejo puede beneficiarse del uso de técnicas formales que proporcionan lenguajes y herramientas para su modelado y las posteriores tareas de análisis
Las redes neuronales profundas han sido ampliamente utilizadas en aplicaciones como el reconocimiento y clasificación de imágenes y videos y la detección de anomalías, generalmente diseñadas para ser utilizadas en grandes sistemas de procesamiento como soluciones Cloud