287 research outputs found
Writing Medicine at University
No full textCoordination: Virgínia Castillo, Andreu Pulido, Enric Serra; Author: Andreu Ayats; Advisor: Dr. Lluís Ramió i Torrentà; Adaptation to English: Peter Redmond and Assessment: David OwenPublishing date: December 2015Second edition (adapted to accessibility criteria): July 2023User guide to written communication in academic disciplines (in this case medicine) for teachers and studentsGuia que ajuda els destinataris (professorat i alumnat) a comunicar-se amb eficàcia dins l'àmbit de la medicinaAquest projecte ha rebut un ajut Interlingua de la Generalitat de Cataluny
Special Session: Security and RAS in the Computing Continuum
No full textSecurity and RAS are two non-functional requirements under focus for current systems developed for the computing continuum. Due to the increased number of interconnected computer systems across the continuum, security becomes especially pervasive at all levels, from the smallest edge device to the high-performance cloud at the other end. Similarly, RAS (Reliability, Availability, and Serviceability) ensures the robustness of a system towards hardware defects. Namely, making them reliable, with high availability and design for easy service. In this paper and as a result of the Vitamin-V Eu project, the authors detail the comprehensive approach to malware and hardware attack detection; as well as, the RAS features envisioned for future systems across the computing continuum
Validation, Verification, and Testing (VVT) of future RISC-V powered cloud infrastructures: the Vitamin-V Horizon Europe Project perspective
No full textVitamin-V is a project funded under the Horizon Europe program for the period 2023-2025. The project aims to create a complete open-source software stack for RISC-V that can be used for cloud services. This software stack is intended to have the same level of performance as the x86 architecture, which is currently dominant in the cloud computing industry. In addition, the project aims to create a powerful virtual execution environment that can be used for software development, validation, verification, and testing. The virtual environment will consider the relevant RISC-V ISA extensions required for cloud deployment. Commercial cloud systems use hardware features currently unavailable in RISC-V virtual environments, including virtualization, cryptography, and vectorization. To address this, Vitamin-V will support these features in three virtual environments: QEMU, gem5, and cloud-FPGA prototype platforms. The project will focus on providing support for EPI-based RISC-V designs for both the main CPUs and cloud-important accelerators, such as memory compression. The project will add the compiler (LLVM-based) and toolchain support for the ISA extensions. Moreover, Vitamin-V will develop novel approaches for validating, verifying, and testing software trustworthiness. This paper focuses on the plans and visions that the Vitamin-V project has to support validation, verification, and testing for cloud applications, particularly emphasizing the hardware support that will be provided
Writing Education at University
No full textCoordination: Virgínia Castillo, Enric Serra (UAB), Andreu Pulido (UdG); Author, Guide in Catalan: Enric Serra; English (Adaptation and Revision): Peter Redmond and Stuart DykePublishing date: December 2016Second edition (adapted to accessibility criteria): April 2023User guide to written communication in academic disciplines (in this case education) for teachers and studentsGuia que ajuda els destinataris (professorat i alumnat) a comunicar-se amb eficàcia dins l'àmbit de l'educacióAquest projecte ha rebut un ajut Interlingua de la Generalitat de Cataluny
Writing Chemistry at University
No full textCoordination: Virgínia Castillo, Enric Serra (UAB), Andreu Pulido (UdG); Author: Peter Redmond and Revision of English: Peter RedmondPublishing date: December 2016Second Edition (adapted to accessibility criteria): September 2023User guide to written communication in academic disciplines (in this case chemistry) for teachers and studentsGuia que ajuda els destinataris (professorat i alumnat) a comunicar-se, sobretot per escrit, en la seva disciplina acadèmica; química en aquest casAquest projecte ha rebut un ajut Interlingua de la Generalitat de Cataluny
CERNphone automated testing
No full textThis document describes the automatization of CERNphone testing. Tests are based on the VOLTS project. Tests are executed each hour, and the state is sent to MONIT, to keep track of the service's status. All tests are running in a virtual machine on top of OpenStack and managed by Puppet. The architecture of the project is composed of four docker containers i.e. prepare, database, vp, and report. In addition, a work environment for developing the tests locally before deploying is provided
Writing Economics at University
No full textCoordination: Virgínia Castillo, Enric Serra (UAB), Andreu Pulido (UdG); Author: Peter Redmond; Consultants: Rosa Ros Massana, José Ignacio Silva Becerra and Revision of English: David OwenPublishing date: December 2015Second edition (adapted to accessibility criteria): April 2023User guide to written communication in academic disciplines (in this case economics) for teachers and studentsGuia que ajuda els destinataris (professorat i alumnat) a comunicar-se, sobretot per escrit, en la seva disciplina acadèmica; economia en aquest casAquest projecte ha rebut un ajut Interlingua de la Generalitat de Cataluny
Writing Biology at University
No full textCoordination: Virgínia Castillo, Enric Serra (UAB), Andreu Pulido (UdG); Author, Guide in Catalan: Mariona Ferrandiz, Ares Llop, Anselm Rodrigo, Anna Soler; English (Adaptation and Revision): Peter Redmond, Fiona KelsoPublishing date: December 2017Second edition (adapted to accessibility criteria): May 2023User guide to written communication in academic disciplines (in this case biology) for teachers and studentsGuia que ajuda els destinataris (professorat i alumnat) a comunicar-se, sobretot per escrit, en la seva disciplina acadèmica; biologia en aquest casAquest projecte ha rebut un ajut Interlingua de la Generalitat de Cataluny
Evaluació de la seguretat de la capa física basada en la generació de claus en LoRaWAN
No full textThis work analyzes the behavior of physical layer security in a LoRaWAN. For this purpose, a testbed is designed and implemented. The testbed had two main participants, Alice and Bob. Each one was transmitting over the LoRa protocol. For the generation of the symmetric keys, based on the channel perceived by Alice and Bob, the RSSI measure was chosen as the channel parameter to be quantized. For the quantization process, two different quantizers were used. Those are the threshold-based quantizer and the difference-based quantizer. Furthermore, when the results are discussed, its performance is compared. Also, we analyze how the performance of both quantizers is when the key generation was based on samples that present different correlations between Alice?s and Bob?s measures.Este trabajo analiza el comportamiento de la seguridad de la capa física en un LoRaWAN. Para ello, se diseñó e implementó un banco de pruebas. El banco de pruebas tuvo dos participantes principales, Alice y Bob. Cada uno de ellos transmitía a través del protocolo LoRa. Para la generación de las claves simétricas, basadas en el canal percibido por Alice y Bob, se eligió la medida RSSI como parámetro del canal a cuantificar. Para el proceso de cuantificación se utilizaron dos cuantificadores diferentes. Estos son el cuantificador basado en un umbral y el cuantificador basado en la diferencia. Además, cuando se discuten los resultados, se compara su rendimiento. También analizamos cómo fué el rendimiento de ambos cuantificadores cuando la generación clave se basó en muestras que presentan diferentes correlaciones entre las medidas de Alice y Bob.Aquest treball analitza el comportament de la seguretat de la capa física en una LoRaWAN. Amb aquest propòsit, es va dissenyar i va implementar un banc de proves. El banc de proves va tenir dos participants principals, Alice i Bob. Cadascun d'ells transmetia a través del protocol LoRa. Per a la generació de les claus simètriques, basades en el canal percebut per Alice i Bob, es va triar la mesura RSSI com a paràmetre del canal a quantificar. Per al procés de quantificació es van utilitzar dos quantificadors diferents. Aquests són el quantificador basat en un llindar i el quantificador basat en la diferència. A més, quan es discuteixen els resultats, es compara el rendiment d'aquests. També analitzem com va anar el rendiment de tots dos quantificadors quan la generació de les claus es van basar en mostres que presentaven diferents correlacions entre les mesures d'Alice i Bob
Evaluació de la seguretat de la capa física basada en la generació de claus en LoRaWAN
No full textThis work analyzes the behavior of physical layer security in a LoRaWAN. For this purpose, a testbed is designed and implemented. The testbed had two main participants, Alice and Bob. Each one was transmitting over the LoRa protocol. For the generation of the symmetric keys, based on the channel perceived by Alice and Bob, the RSSI measure was chosen as the channel parameter to be quantized. For the quantization process, two different quantizers were used. Those are the threshold-based quantizer and the difference-based quantizer. Furthermore, when the results are discussed, its performance is compared. Also, we analyze how the performance of both quantizers is when the key generation was based on samples that present different correlations between Alice?s and Bob?s measures.Este trabajo analiza el comportamiento de la seguridad de la capa física en un LoRaWAN. Para ello, se diseñó e implementó un banco de pruebas. El banco de pruebas tuvo dos participantes principales, Alice y Bob. Cada uno de ellos transmitía a través del protocolo LoRa. Para la generación de las claves simétricas, basadas en el canal percibido por Alice y Bob, se eligió la medida RSSI como parámetro del canal a cuantificar. Para el proceso de cuantificación se utilizaron dos cuantificadores diferentes. Estos son el cuantificador basado en un umbral y el cuantificador basado en la diferencia. Además, cuando se discuten los resultados, se compara su rendimiento. También analizamos cómo fué el rendimiento de ambos cuantificadores cuando la generación clave se basó en muestras que presentan diferentes correlaciones entre las medidas de Alice y Bob.Aquest treball analitza el comportament de la seguretat de la capa física en una LoRaWAN. Amb aquest propòsit, es va dissenyar i va implementar un banc de proves. El banc de proves va tenir dos participants principals, Alice i Bob. Cadascun d'ells transmetia a través del protocol LoRa. Per a la generació de les claus simètriques, basades en el canal percebut per Alice i Bob, es va triar la mesura RSSI com a paràmetre del canal a quantificar. Per al procés de quantificació es van utilitzar dos quantificadors diferents. Aquests són el quantificador basat en un llindar i el quantificador basat en la diferència. A més, quan es discuteixen els resultats, es compara el rendiment d'aquests. També analitzem com va anar el rendiment de tots dos quantificadors quan la generació de les claus es van basar en mostres que presentaven diferents correlacions entre les mesures d'Alice i Bob
- …
