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’.
info_itis
About info_itis
Posts by :
- Actividad
- Aplicaciones de Tecnologías Software e Ingeniería del Software
- Ciberseguridad
- Ciencia e Ingeniería de Datos e Inteligencia Artificial
- Congresos
- Convocatoria vigente
- Eventos
- Ingeniería de Software Automatizada
- Inicio
- Máster Universitario
- Noticias
- Publicaciones
- Redes y Servicios Inteligentes
- Webinars
El grupo NEO aplica algoritmos bioinspirados para ubicar las estaciones de bicicletas en la ciudad
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 […]
El grupo NEO diseña contenedores inteligentes para reducir y reutilizar los residuos plásticos en los hoteles
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 […]
Latencia y fiabilidad de aplicaciones críticas sobre redes móviles 5G y posteriores
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
Técnicas automáticas para el análisis y mejora de la fiabilidad y del rendimiento de software crítico y complejo
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
Redes neuronales profundas y distribuidas sobre Edge, Fog y Cloud Computing
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
Seguridad para la Internet de los Vehiculos (IoV)
La Internet de los Vehículos (IoV) es un nuevo paradigma que nace de la confluencia de nuevas tecnologías, entre las que se encuentran la Computación Edge y la quinta generación de redes, 5G. Debido a la característica intrínsecamente dinámica de la IoV, el gran número de vehículos no siempre distribuidos de forma uniforme, la heterogeneidad de tecnologías de conectividad y sensorización, la movilidad, etc., los requisitos de seguridad y privacidad de estos escenarios superan con creces a los de otros contextos tecnológicos.
Gestión y despliegue eficiente de aplicaciones en el borde: eHealth, Smart Environments
Recientes avances y mejoras en la conectividad a Internet, como las tecnologías 5G, están facilitando el desarrollo de aplicaciones cada vez más sofisticadas. Las aplicaciones inteligentes requieren cada vez más recursos computacionales y conexión con una gran variedad de dispositivos de la IoT (ej: prendas/dispositivos inteligentes, de salud, sensores, etc.).
Ingeniería del Software e IA en Ordenadores Cuánticos
We here implement and run Artificial Intelligence (AI) techniques on Quantum Computers (QC’s) like IBM QE, DWAVE, Fujitsu DA2, and also on simulators of these computers running on classical machines