A5038310179- Formal Methods in Verification
- Software Testing and Debugging Techniques
- Software-Defined Networks and 5G
- Wireless Networks and Protocols
- Advanced MIMO Systems Optimization
- Software Reliability and Analysis Research
- IPv6, Mobility, Handover, Networks, Security
- IoT and Edge/Fog Computing
- Advanced Software Engineering Methodologies
- Multimedia Communication and Technology
- Real-Time Systems Scheduling
- Software System Performance and Reliability
- Wireless Communication Networks Research
- IoT Networks and Protocols
- Green IT and Sustainability
- Embedded Systems Design Techniques
- Model-Driven Software Engineering Techniques
- Network Traffic and Congestion Control
- Advanced Wireless Network Optimization
- Wireless Body Area Networks
- Bluetooth and Wireless Communication Technologies
- Logic, programming, and type systems
- Caching and Content Delivery
- Experimental Learning in Engineering
- Telecommunications and Broadcasting Technologies
Universidad de Málaga
2015-2024
Software (Spain)
2020-2024
Indra (Spain)
2011
Universidad de Burgos
2011
Universidad Carlos III de Madrid
2010
The first version of the 3GPP NarrowBand-IoT (NB-IoT) standards has been finalized in June 2016 as part Release 13. NB-IoT is a promising new radio access technology which can coexist with existing GSM, UMTS and LTE deployments. In fact, specifications have integrated into standards. goes step further than MTC [3] (Machine Type Communication) specification, focusing on extremely low cost devices, massive deployments reduced data rates carrier bandwidth just 200 kHz (hence its name). this...
This paper describes the pathway towards realisation of a 5G Facility that will allow validation major Key Performance Indicators (KPIs). It reflects approach 5GENESIS consortium adopt in this direction. More precisely, it key design principles such as well targeted use cases for KPIs validation. The adopted includes common implementation blueprint be instantiated five Platforms distributed across Europe. To maximise diversity and efficiency Facility, complementary performance objectives...
The SymPA (Symbian Protocol Analyzer) tool correlates traffic information, radio-access-technology measurements, and location data to help developers evaluate mobile applications in the field.
Nowadays, the maturity of IoT applications, networking technologies and manufacturers "things" have caused an explosion in number connected devices. There are several reports which calculate that things will reach 50 billion near future. This paper focuses on provision wide area efficient connectivity to Internet Things(IoT), a key factor such explosion, through usage LTE. LTE MTC (Machine Type Communication), M2M or just LTE-M coined terms refer this issue. provides detailed analysis...
Abstract The changes in new mobile networks toward a full Internet protocol–based architecture have led to opportunities for service‐oriented optimizations based on emergent technologies like fog computing, software‐defined networking, or network function virtualization. This paper explores 2 ways of using these reduce the latency Long‐Term Evolution (LTE) networks. Both solutions path that data packets should follow from base station (evolved Node B [eNB]) components connect servers. first...
The Global System for Mobile Communications-Railways (GSM-R) is a radio telecommunication network and the bearer technology European Train Control (ETCS). Both GSM-R ETCS constitute Rail Traffic Management (ERTMS). GSM was adopted by International Union of Railways (UIC) because it only system in commercial operation with great potential to fulfill requirements transport railway services, although some features had be added standard. However, as time has passed, proven have capacity...
Very low latency and high reliability are two of the main requirements for new applications exploiting 5G networks. This is case remote operation robots or vehicles, autonomous interaction equipment in a factory, driving tactile internet applications. Although TCP/IP stack has been sufficient as end-to-end solution most history Internet, number surveys have appeared recently presenting many different methods managing communication to meet various technologies such that In this paper, we...
The high heterogeneity of 5G use cases requires the extension traditional per-component testing procedures provided by certification organizations, in order to devise and incorporate methodologies that cover requirements from vertical applications services. In this paper, we introduce an experimentation methodology is defined context 5GENESIS project, which aims at enabling both network components validation E2E KPIs. most important contributions are its modularity flexibility, as well...
Model Checking is currently one of the most exciting techniques to improve quality complex software systems.It a computer aided verification method that, in many cases, has discovered design bugs early development steps, thus saving time and costs produce final code.Although this technique successfully applied formal description techniques, it not commonly used by object oriented programming community, general, nor UML developers, particular.In paper, we provide comprehensive overview rules...
The upcoming 5G technologies promise to enable ultra low latency services such as remote robotics, augmented reality or vehicle communications. Fog and MEC computing can for many different scenarios by moving the cloud some network functions closer user. In case of mobile networks this improvement is traditionally introduced in reference point that defines limit operator domain. paper we explore introduction an intermediate component LTE standard architecture, describing its functionality...
The proliferation of mobile Internet services for smartphones makes it more necessary than ever to use measurement tools in devices monitor their connectivity performance. In this paper we introduce TestelDroid, a software tool Android which provides advanced monitoring functionalities analyzing multimedia and applications specifically designed smartphones. beneficiaries are operators, service providers developers, as TestelDroid offers unified independent methodology analyze performance...
The behavior of mobile devices is highly non deterministic and barely predictable due to the interaction user with its applications. In consequence, analyzing correctness applications running on a smartphone involves dealing complexity environment. this paper, we propose use model-based testing describe potential behaviors users interacting These are modeled by composing specially-designed state machines. composed machines can be exhaustively explored using model checking tool automatically...
Abstract Software model checking consists in applying the most powerful results formal verification research to programming languages such as C. One general technique implement this approach is producing a reduced of software order employ existing and efficient tools, SPIN . This paper focusses on application avionics constructed top Application Executive ( APEX ) Interface, which widely employed by manufacturers industry. It presents method automatically extract PROMELA models from C source...
In this paper we address the support of wearable mHealth applications in LTE and future 5G networks following a holistic approach that spans across elements mobile network. The communication requirements change from one application to another so propose measurement methodology facilitate selection user equipment fulfil these requirements. We also discuss new network architecture traffic prioritization, RAN programmability, low latency group communications over-the-top applications. Our...
Connected mobile applications will be a dominant software component in the 5G domain. Ensuring correct and efficient behavior of devices becomes critical factor for communications market to meet expectations final users. The EU project TRIANGLE is building framework help app developers device manufacturers evolving sector test benchmark new applications, devices, services utilizing existing extended FIRE testbeds. This evaluate Quality Experience enable certification devices.
This paper presents an approach for the automated debugging of reactive and concurrent Java programs, combining model checking runtime monitoring. Runtime monitoring is used to transform execution traces into input checker, purpose which twofold. First, it checks these against properties written in linear temporal logic (LTL), represent desirable or undesirable behaviors. Second, produces several a single program by generating test inputs exploring different schedulings multithreaded...
We introduce a real-time experimentation testbed in this paper which enables more realistic analysis of quality service (QoS) LTE networks. This is envisioned for the improvement QoS and experience (QoE) through with real devices, services, radio configurations. Radio configurations suggested literature typically arise from simulations; provides controlled testing environment where such can be validated. The added value goes long way not only provision results but also QoE cross-layer...