Abstract

Abstract
This paper presents the results of field trials performed with the EVA autonomous underwater vehicle in the protection of critical infrastructures. The trials were conducted in the context of the REPMUS23 naval exercise organized by the Portuguese Navy. EVA was successfully deployed in a mission of detailed inspection of a submarine cable and in the detection and localization of a possible hostile attack with explosive charges. Multibeam sonar and structured laser light systems were also used to locate and obtain a detailed model of the TURTLE robotic lander deployed on the sea bottom.

Abstract

Abstract
In a world that is in constant changing and where carbon neutrality becomes a common objective, it is necessary to implement European policies and targets to reduce greenhouse gas emissions. The maritime sector is one of the most polluting in the world, becoming mandatory to implement technologies in port area to reduce their footprint. Most of the good's transportation are made by sea, the maritime industry is growing, and the biggest chair of greenhouse gas emission comes from shipping. The seaport has the role to implement solutions to reduce the emissions in port area, allowing the ships to shutdown their engines while they are moored in port. Renewable energy production alongside with shore power supply systems are becoming a common solution in ports as some of the technologies that allows to reduce ships emissions in port area. This paper presents the state of the art of onshore power supply in ports and standards related to shore power supply and data requirements for load model built and emissions calculations.

Abstract

Abstract
Memory safety issues in C are the origin of various vulnerabilities that can compromise a program's correctness or safety from attacks. We propose a different approach to tackle memory safety, the replication of Rust's Mid-level Intermediate Representation (MIR) Borrow Checker, through the usage of static analysis and successive source-to-source code transformations, to be composed upstream of the compiler, thus ensuring maximal compatibility with most build systems. This allows us to approximate a subset of C to Rust's core concepts, applying the memory safety guarantees of the rustc compiler to C. In this work, we present a survey of Rust's efforts towards ensuring memory safety, and describe the theoretical basis for a C borrow checker, alongside a proof-of-concept that was developed to demonstrate its potential. This prototype correctly identified violations of the ownership and aliasing rules, and accurately reported each error with a level of detail comparable to that of the rustc compiler.