DESAFIOS10

  • strict warning: Declaration of views_plugin_style_default::options() should be compatible with views_object::options() in /var/www/ines/sites/all/modules/contribute/views/plugins/views_plugin_style_default.inc on line 24.
  • strict warning: Declaration of views_handler_field_user_name::init() should be compatible with views_handler_field_user::init(&$view, $data) in /var/www/ines/sites/all/modules/contribute/views/modules/user/views_handler_field_user_name.inc on line 61.
  • strict warning: Declaration of views_handler_argument_many_to_one::init() should be compatible with views_handler_argument::init(&$view, $options) in /var/www/ines/sites/all/modules/contribute/views/handlers/views_handler_argument_many_to_one.inc on line 169.
Título proyecto: 
Desarrollo de software de alta calidad, fiable, distribuido y seguro.
Resumen del Proyecto: 

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. 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. 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.

Temas desarrollados de la Agenda Estratégica de INES: 

Las líneas de investigación en que se organiza nuestra propuesta tocan
varias de las tecnologías de la Agenda Estratégica INES (AEI).

La línea 3 ("Verificación y validación") se encuentra reflejada en el
Reto 1 del pilar "Software": Gestión de la complejidad > Ingeniería de
requisitos > Verificación y validación.
Esta línea comprende las siguientes sublíneas:
Behavioural properties of concurrent processes, Coalgebraic methods
for process semantics, Heterogeneous verification y Run-time verification.

La línea 2 ("Seguridad y fiabilidad") se corresponde con el Reto 3 de
los "Fundamentos clave": Seguridad y Confianza.
Esta línea comprende las siguientes sublíneas:
Model-driven security, Language-based security and formal methods for
cryptography, Evidence-based security.

Dentro de la línea 1 ("Lenguajes") la sublínea 1.2 "Mobile Maude"
corresponde a un lenguaje de especificación que se incluiría en el
Reto 1 del pilar "Software": Gestión de la complejidad > Ingeniería de
requisitos > Modelos para la especificación y traza de requisitos.

A caballo entre "Verificación y validación" y "Modelos para la
especificación y traza de requisitos" podemos ubicar la herramienta
"McErlang" (A model checker for Erlang) presente en la línea 4 ("Tools
and Applications").

Por supuesto, se pueden encontrar afinidades secundarias entre otras
partes de nuestro plan de trabajo y algunas de las demás tecnologías
de la AEI.

Coordinador: 
Universidad Politecnica de Madrid
Lista de participantes Miembros de INES: 
Instrumento: 
Cenit
Tipo: 
b1
Estado: 
Continuacion
Sello INES: 
Incubado
Contacto
Persona de contacto: 
Julio Mariño Carballo
E-mail: 
jmarino@fi.upm.es