|
Descripción
|
|
|---|---|
| La importancia del software en nuestros días no hace más que crecer y cada vez controla más aspectos esenciales de nuestras vidas. Como consecuencia, la fiabilidad, calidad y seguridad del mismo deben ser componentes fundamentales de una buena parte de los desarrollos de software. Sin embargo, es frecuente encontrarnos con fallos en los sistemas software que han causado un notable daño en los sistemas que controlan (como el fallo de la lanzadera Ariane o el caso ocurrido en Panamá donde el uso de software no fiable para un dispositivo de tratamiento de cáncer supuso, por su mal funcionamiento, que muchos pacientes murieran por sobreexposición a la radiación y que ha llevado a sus autores a ser condenados por los tribunales). Un control total de la calidad sólo puede obtenerse por un proceso riguroso que cubra todas las fases del desarrollo de software. El presente programa propone integrar la investigación que varios grupos de reconocido prestigio realizan en el área de la creación de sistemas de software dirigidos a permitir certificar ciertas condiciones de calidad (especialmente la fiabilidad y la seguridad, pero también las prestaciones) a través de mecanismos rigurosos, incluyendo métodos, lenguajes y herramientas. Los mecanismos a aunar cubren una amplia gama de técnicas (entornos de desarrollo de software, generación de código a partir de especificaciones, lenguajes de especificación, métodos formales, lenguajes de programación declarativos, seguridad mediante proof carrying code, interpretación abstracta, semántica de programas, etc.) El programa de trabajo propuesto incluye tanto actividades científicas en la línea descrita como acciones más globales de difusión, formación, incorporación de recursos humanos, transferencia de tecnología y el objetivo de lanzamiento de proyectos colaborativos tanto en el marco nacional como, principalmente, en el marco internacional (programa marco de la UE, plataformas tecnológicas, Eureka-ITEA, ESF, etc.) de forma conjunta con otros agentes. Aunque se plantea una intensa colaboración de los grupos científicos de la Comunidad de Madrid, se pretende tener también una fuerte interacción con otros actores, principalmente socios industriales y otros centros de investigación nacionales e internacionales con los que los proponentes tienen una amplia experiencia de cooperación. | |
|
Internacional
|
No |
|
Tipo de proyecto
|
Proyectos y convenios en convocatorias públicas competitivas |
|
Entidad financiadora
|
Comunidad de Madrid |
|
Nacionalidad Entidad
|
ESPAÑA |
|
Tamaño de la entidad
|
Desconocido |
|
Fecha concesión
|
20/12/2005 |