On the MC/DC code coverage of Vulkan SC GPU code

Next generation avionics systems require high performance, which can be provided by graphics processing units (GPUs). The newly introduced API Vulkan SC, enables the development of safety critical GPU software with complex control flow, whose certification is subject to DO-178C certifiability objectives, such as MC/DC code coverage.In this paper we explain for the first time how MC/DC coverage can be applied in Vulkan SC code as well as the type of potential development errors which can arise in GPU programming. We show how GPU code can be converted in equivalent sequential CPU code and how both versions can achieve 100% MC/DC code coverage.This work was performed within the Airbus TANIAGPU Project ADS (E/200). It was also partially supported by the European Space Agency (ESA) through the GPU4S (GPU for Space) activity, the Spanish Ministry of Economy and Competitiveness under grants PID2019- 107255GB-C21 and IJC-2020-045931-I ( Spanish State Research Agency / Agencia Espanola de Investigación (AEI) / http://dx.doi.org/10.13039/501100011033 ) and the HiPEAC Network of ExcellencePeer ReviewedPostprint (author's final draft

El caso de DIGIHUB

Se expone el caso de éxito que supone el protocolo OAI-PMH. Se ilustra con la iniciativa Hispana, agregador nacional español de metadatos de Europeana. Se discute la visión del catálogo colectivo del Grupo de Trabajo de Patrimonio Bibliográfico de las universidades españolas. Se menciona el proyecto ENUMERATE, estadísticas de la digitalización del patrimonio cultural digital europeo. Se valora el uso de tecnologías Linked Open Data en el entorno del Patrimonio Bibliográfico, Archivístico y Museológico. Se propone la creación de un sistema digital basado en el modelo de recolección de metadatos y se aboga por la implantación de un agregador de metadatos conforme a la tecnología Linked Open DataThe success case of the OAI-PMH protocol is described. It is illustrated with the initiative of Hispana, the national aggregator of metadata. The vision of the Collective Catalogue of the Working Group on Bibliographic Heritage of the Spanish universities is discussed. ENUMERATE statistics digital cultural heritage project is mentioned. The use of Linked Open Data technologies in the context of Archival and Museum Bibliographic Heritage is valued. The creation of a digital system based on the metadata harvesting model is proposed and the implementation of a metadata aggregator according to Linked Open Data technology is advocate

LA AGREGACIÓN DE METADATOS COMO MODELO DE CONTROL, VISIBILIDAD Y DISEMINACIÓN DE INFORMACIÓN DIGITAL DE BIBLIOTECAS, ARCHIVOS Y MUSEOS PATRIMONIALES: EL CASO DE DIGIHUB

Se expone el caso de éxito que supone el protocolo OAI-PMH. Se ilustra con la iniciativa Hispana, agregador nacional español de metadatos de Europeana. Se discute la visión del catálogo colectivo del Grupo de Trabajo de Patrimonio Bibliográfico de las universidades españolas. Se menciona el proyecto ENUMERATE, estadísticas de la digitalización del patrimonio cultural digital europeo. Se valora el uso de tecnologías Linked Open Data en el entorno del Patrimonio Bibliográfico, Archivístico y Museológico. Se propone la creación de un sistema digital basado en el modelo de recolección de metadatos y se aboga por la implantación de un agregador de metadatos conforme a la tecnología Linked Open Data. The success case of the OAI-PMH protocol is described. It is illustrated with the initiative of Hispana, the national aggregator of metadata. The vision of the Collective Catalogue of the Working Group on Bibliographic Heritage of the Spanish universities is discussed. ENUMERATE statistics digital cultural heritage project is mentioned.  The use of Linked Open Data technologies in the context of Archival and Museum Bibliographic Heritage is valued. The creation of a digital system based on the metadata harvesting model is proposed and the implementation of a metadata aggregator according to Linked Open Data technology is advocated

University bibliographic heritage: renovation proposal

Bloque de comunicaciones I: Biblioteca digitalEsta comunicación se basa en la experiencia de fusión del Catálogo Colectivo del Patrimonio Bibliográfico de Galicia y la Biblioteca Digital de Galicia para analizar las ventajas de esta fusión y realizar una propuesta análoga para el patrimonio bibliográfico de las universidades españolas de modo que se pueda superar la visión de los catálogos colectivos de patrimonio como acumulación de descripciones bibliográficas y ejemplares. La Ley de Patrimonio Histórico de 1985 marcó el camino para la formación del catálogo colectivo, pero la tecnología ha progresado lo suficiente como para hacernos pensar en este catálogo como un proyecto abierto al que es necesario incorporar muchos otros datosThis paper is based on the fusion experience of the Union Catalog of the Bibliographic Heritage of Galicia and the Digital Library of Galicia to analyze the advantages of this fusion and to make an analogous proposal for the bibliographic heritage of the Spanish universities to review the vision of the union catalogs as an accumulation of bibliographic and holdings descriptions. Technology has progressed enough to make us think of this union catalog as an open project to which it is necessary to incorporate many other dat

Otro título: ¿Qué es la Biblioteca Virtual de la ciencia y la técnica en la empresa americana?

El descubrimiento de América, su exploración minuciosa, el análisis de las lenguas que hablaban los nativos americanos, su estudio etnográfico, probó la alta cualificación intelectual, científica y técnica de españoles y portugueses. Pronto se sumarían los propios americanos, criollos e indígenas. La exploración abarcó también, la fauna y la flora del Nuevo Mundo, tan distinta, y permitió un fecundo estudio comparado. Además, se pudo completar la circunnavegación del globo, gracias a la pericia y los conocimientos cosmográficos y náuticos de los pueblos hispánicos, y se extendió el primer ciclo global —el Galeón de Manila es paradigmático— compartiéndose saberes entre América, Asia y Europa. La Biblioteca Virtual la Ciencia y la Técnica en la Empresa Americana, un proyecto de la Fundación Mapfre y de la Fundación Ignacio Larramendi, constituye el contrapunto de la consagrada a la Escuela de Salamanca, dedicada al derecho, la economía y el pensamiento filosófico, sacudido también por el descubrimiento colombino.Todos los derechos reservados Fundación Mapfre

Otro título: Presentación de la Biblioteca Virtual de la Ciencia y la Técnica en la Empresa Americana: 20 enero 2015

Resumen: El descubrimiento de América, su exploración minuciosa, el análisis de las lenguas que hablaban los nativos americanos, su estudio etnográfico, probó la alta cualificación intelectual, científica y técnica de españoles y portugueses. Pronto se sumarían los propios americanos, criollos e indígenas. La exploración abarcó también, la fauna y la flora del Nuevo Mundo, tan distinta, y permitió un fecundo estudio comparado. Además, se pudo completar la circunnavegación del globo, gracias a la pericia y los conocimientos cosmográficos y náuticos de los pueblos hispánicos, y se extendió el primer ciclo global —el Galeón de Manila es paradigmático— compartiéndose saberes entre América, Asia y Europa. La Biblioteca Virtual la Ciencia y la Técnica en la Empresa Americana, un proyecto de la Fundación Mapfre y de la Fundación Ignacio Larramendi, constituye el contrapunto de la consagrada a la Escuela de Salamanca, dedicada al derecho, la economía y el pensamiento filosófico, sacudido también por el descubrimiento colombino. Participantes: -José Manuel García-Margallo, ministro de Asuntos Exteriores y de Cooperación. -Antonio Huertas, presidente de la FUNDACIÓN MAPFRE. -Luis Hernando de Larramendi, vicepresidente ejecutivo de la Fundación Ignacio Larramendi. -Xavier Agenjo Bullón, director de la Biblioteca Virtual de Polígrafos, Polymath Virtual Library. -Tomás Poveda, director general de la Casa de América