El pasado 31 de agosto se celebró en Roma la reunión del Comité Ejecutivo de la Acción COST IC1201Behavioural Types for Reliable Large-Scale Software Systems (BETTY), en la que Rafael Mayo, investigador del CIEMAT, ostentó la representación española. Las acciones COST (European Cooperation in the field of Scientific and Technical Research, Cooperación europea en el ámbito de la investigación científica y técnica) son el resultado del acuerdo entre gobiernos de 35 países y permiten el desarrollo de actividades de investigación a escala internacional.
La reunión del Comité Ejecutivo trató sobre el avance del proyecto en los últimos doce meses y de cómo la European Science Foundation está evaluando el proyecto mediante los informes que a ella se remiten. Asimismo, el coordinador de la propuesta informó sobre el presupuesto de la Acción y se debatieron los pasos futuros.
La reunión tuvo lugar en Roma y participaron representantes de los países presentes en la Acción COST, formado el quorum necesario para la toma de decisiones.
La red COST está formada por los países de la Unión Europea y países asociados y su objetivo es coordinar las actividades de investigación y fortalecer la investigación científica y técnica en Europa, financiando el establecimiento de redes para favorecer la cooperación y la interacción entre investigadores europeos, contribuyendo así a la construcción del Espacio Europeo de Investigación. En concreto la Acción COST BETTY persigue utilizar la teoría de tipos de comportamientos, que abarca conceptos tales como interfaces, protocolos, etc., como base para nuevas fundaciones, lenguajes de programación y métodos de desarrollo de software para la comunicación intensiva de los sistemas distribuidos.
La Acción COST IC1201 está coordinada por el Dr. Simon Gay, de la Universidad de Glasgow, Reino Unido, y Rafael Mayo, investigador de la División de Tecnologías de la Información y las Comunicaciones del CIEMAT, ha sido designado por el Ministerio de Economía y Competitividad como representante español en el Comité de Gestión, cuya función es supervisar y coordinar la implantación de la Acción COST.
La División TIC del CIEMAT está trabajando además en el “Grupo de trabajo 4: Herramientas y aplicaciones”, con el objeto de desarrollar herramientas de software en computación de altas prestaciones que mejoren su seguridad, operación y eficiencia. Estas herramientas están principalmente enfocadas al desarrollo de protocolos seguros y escalables mediante métodos formales en tecnologías HTC.
