Pablo Vera-Soto

Mr. Pablo Vera-Soto

orcid

Research Focus & Metrics

Academic Career Length

4Years (2023-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
26 February 2025 in Aerospace
Verified
Journal Article
Open access
PDF file
LLLaura Castro Lara
Laura Castro Lara
PVPablo Vera-Soto
Pablo Vera-Soto
Sergio FortesSergio Fortes
Sergio Fortes
VEVicente Escaño
Vicente Escaño
RORafael Ortiz
Rafael Ortiz
Raquel Barco MorenoRaquel Barco Moreno
Raquel Barco Moreno
Time-Sensitive Networking (TSN) in avionics is being considered as a standard capable of providing more real-time and safety-critical capabilities than AFDX, the current standard in avionics communications. A TSN profile is therefore being developed for the aerospace domain by IEEE. Hence, this research outlines the deployment of a testbed aimed at validating TSN in avionics to ensure that this technology meets the stringent timing and latency requirements of avionics applications. To this end, a daisy chain or ring topology has been set up for the validation of the testbed, as this topology provides redundancy of paths without the need to add additional devices. This work presents latency and jitter measurements under different priority configurations and different channel saturation conditions, showing no packet loss and demonstrating the reliability of TSN for time-critical applications. A comparison with Avionics Full Duplex Ethernet (AFDX) simulations was also made, highlighting the weaknesses of AFDX. By providing a comprehensive platform for testing and validation, the testbed will contribute to the advancement of TSN technology in aerospace applications, ultimately improving the safety and efficiency of aircraft operations.

22 March 2024 in Aerospace
Verified
Journal Article
Open access
PDF file
PVPablo Vera-Soto
Pablo Vera-Soto
JVJavier Villegas
Javier Villegas
Sergio FortesSergio Fortes
Sergio Fortes
JPJosé Pulido
José Pulido
VEVicente Escaño
Vicente Escaño
Raquel Barco MorenoRaquel Barco Moreno
Raquel Barco Moreno
Aircraft are composed of many electronic systems: sensors, displays, navigation equipment, and communication elements. These elements require a reliable interconnection, which is a major challenge for communication networks since high reliability and predictability requirements must be verified for safe operation. In addition, their verification via hardware deployments is limited because these are costly and it is difficult to try different architectures and configurations, thus delaying design and development in this area. Therefore, verification at early stages in the design process is of great importance and must be supported with simulation. In this context, this work presents an event-driven link-level framework and simulator for the validation of avionics networks. The tool presented supports communication protocols commonly used in avionics, such as Avionics Full-Duplex Switched Ethernet (AFDX), as well as Ethernet, which is used with static routing. Also, the simulator provides accurate results by employing realistic models for various devices. The proposed platform was evaluated in the Clean Sky’s Disruptive Cockpit for Large Passenger Aircraft architecture scenario, showing the capabilities of the simulator. Verification speed is a key factor in its application, so the computational cost was analyzed, proving that the execution time is linearly dependent on the number of messages sent and that the increase in the number of nodes has few quadratic components.

23 November 2023 in IEEE Access
Verified
Journal Article
Open access
JCJuan Cantizani-Estepa
Juan Cantizani-Estepa
PVPablo Vera-Soto
Pablo Vera-Soto
CBCarlos Baena
Carlos Baena
Eduardo BaenaEduardo Baena
Eduardo Baena
Raquel Barco MorenoRaquel Barco Moreno
Raquel Barco Moreno
Sergio FortesSergio Fortes
Sergio Fortes
The purpose of this paper is to fill a gap in the existing literature about the general analysis of airport activities and detailed specifications for 5G implementation. The gap spans from overgeneralized studies to highly specific ones as will be mentioned in the paper. This research aims to bridge this gap by identifying the requirements of 5G implementation in various airport use cases, proposing detailed 5G solutions for these cases. As is well known, 5G is the Fifth Generation of cellular communications, aiming to provide high-throughput high-reliability connectivity to greatly diversified scenarios. With this objective, it shall act as a viable solution for environments as complex as an airport terminal, whose dynamic work cycle includes a wide range of diversified activities. As such, 5G capacities are assessed, identifying those airport processes that can benefit from its application as well as the general requirements of the network deployed for such scenarios. From the identified use cases, the streaming of high quality video for aircraft visual inspection as well as the monitoring of luggage trolleys via an IoT system are developed and evaluated, showing the capabilities of the approach.

1 January 2026 in IEEE Open Journal of the Communications Society
Verified
Journal Article
Open access
PVPablo Vera-Soto
Pablo Vera-Soto
Sergio FortesSergio Fortes
Sergio Fortes
JBJuan Bravo-Arrabal
Juan Bravo-Arrabal
JFJ. Jesús Fernández-Lozano
J. Jesús Fernández-Lozano
AGAlfonso García
Alfonso García
Raquel Barco MorenoRaquel Barco Moreno
Raquel Barco Moreno

1 January 2026 in IEEE Transactions on Aerospace and Electronic Systems
Verified
Journal Article
Open access
PVPablo Vera-Soto
Pablo Vera-Soto
JVJavier Villegas
Javier Villegas
JPJose Pulido
Jose Pulido
VEVicente Escano
Vicente Escano
RORafael Ortiz
Rafael Ortiz
Raquel Barco MorenoRaquel Barco Moreno
Raquel Barco Moreno

21 December 2023 in arXiv
Verified
Preprint
Open access
PDF file
PVPablo Vera-Soto
Pablo Vera-Soto
JVJavier Villegas
Javier Villegas
Sergio FortesSergio Fortes
Sergio Fortes
JPJosé Pulido
José Pulido
VEVicente Escaño
Vicente Escaño
RBRaquel Barco
Raquel Barco
Aircraft are composed of many electronic systems: sensors, displays, navigation equipment and communication elements. These elements require a reliable interconnection, which is a major challenge for communication networks as high reliability and predictability requirements must be verified for safe operation. In addition, their verification via hardware deployments is limited because these are costly and make difficult to try different architectures and configurations, thus delaying the design and development in this area. Therefore, verification at early stages in the design process is of great importance and must be supported by simulation. In this context, this work presents an event-driven link level framework and simulator for the validation of avionics networks. The presented tool supports communication protocols such as Avionics Full-Duplex Switched Ethernet (AFDX), which is a common protocol in avionics, as well as Ethernet, used with static routing. Alsa, accurate results are facilitated by the simulator through the utilization of realistic models for the different devices. The proposed platform is evaluated in Clean Sky's Disruptive Cockpit for Large Passenger Aircraft architecture scenario showing capabilities of the simulator. The speed of the verification is a key factor in its application, so the computational cost is analysed, proving that the execution time is linearly dependent on the number of messages sent.