|
Descripción
|
|
|---|---|
| El objetivo global del proyecto es contribuir al avance en los fundamentos y tecnologías útiles para el desarrollo de sistemas de software con calidad y fiabilidad certificadas, típicamente basados en métodos formales y técnicas de programación declarativa. La propuesta de trabajo se organiza alrededor de las siguientes cuatro grandes líneas de investigación: ? Lenguajes: Estudia características que permitan mejorar la expresividad y seguridad de los lenguajes de especificación y programación, tales como el paralelismo, la distribución y la movilidad, la genericidad y los sistemas de tipos. ? Seguridad y fiabilidad: Se dedica a estudiar la seguridad tanto al nivel del diseño de sistemas de software como al nivel del código ejecutable, sin olvidar el estudio de políticas que garanticen los requisitos de seguridad. ? Verificación y validación: Continúa nuestra investigación anterior sobre propiedades de sistemas concurrentes, modelados por un lado como sistemas de redes y por el otro mediante álgebras de procesos, que ahora se generalizan a métodos coalgebraicos. Además, se introducen nuevas ideas en la investigación de verificación heterogénea y de verificación en tiempo de ejecución. ? Herramientas y aplicaciones: Aunque las anteriores líneas de investigación también incluyen el desarrollo de algunas herramientas, en esta línea se van a concentrar nuestros esfuerzos en la mejora de sistemas que ya han sido desarrollados previamente en el seno de los grupos participantes en el proyecto. El proyecto que se propone surge como evolución natural de nuestro proyecto coordinado anterior DESAFIOS (TIN2006?15660?C02), en el que participaban los grupos de investigación FADOSS de la UCM y BABEL de la UPM, con objetivos similares. Sin embargo, esta propuesta quiere hacer mayor hincapié en los aspectos de seguridad y fiabilidad, para lo cual se incorpora un tercer grupo, el grupo de investigación en seguridad del instituto de investigación de reciente creación IMDEA Software. Como en el proyecto anterior, nuestra intención es explotar las sinergias existentes entre los tres grupos de investigación involucrados, como se puede apreciar en el hecho de que en todas las sublíneas de investigación que se proponen colaboran investigadores de al menos dos de los grupos. | |
|
Internacional
|
No |
|
Tipo de proyecto
|
Proyectos y convenios en convocatorias públicas competitivas |
|
Entidad financiadora
|
MICINN |
|
Nacionalidad Entidad
|
ESPAÑA |
|
Tamaño de la entidad
|
Desconocido |
|
Fecha concesión
|
14/12/2009 |