Modem Design in the Era of 5G and Beyond: The Need for a Formal Approach

Robert Wittig; Andrés Goens; Christian Menard; Emil Matus; Gerhard P. Fettweis; Jeronimo Castrillon

doi:10.1109/ICT49546.2020.9239539

Modem Design in the Era of 5G and Beyond: The Need for a Formal Approach

Robert Wittig, Andrés Goens, Christian Menard, Emil Matus, Gerhard P. Fettweis, Jeronimo Castrillon

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

In the era of 5G and beyond, adaptive workloads and the need for energy efficiency drive are becoming increasingly vital. Changes in parameters of the physical layer algorithm can cascade throughout the algorithm, requiring additional changes to keep a correct functionality within the timing bounds. These factors drive the process of designing systems for mobile communication towards reconfigurability. In this paper we analyze the trade-offs involved in changing algorithmic parameters and show how reconfigurable systems can be used to produce energy-efficient systems. We argue that we ought to resort to formal models to tame this reconfigurability and examine where existing formal models fall short.

Original language	English
Title of host publication	2020 27th International Conference on Telecommunications (ICT)
Publisher	Institute of Electrical and Electronics Engineers
Number of pages	5
ISBN (Electronic)	978-1-7281-6587-5
ISBN (Print)	978-1-7281-6588-2
DOIs	https://doi.org/10.1109/ICT49546.2020.9239539
Publication status	Published - 30 Oct 2020
Event	27th International Conference on Telecommunications (ICT) - Bali, Indonesia Duration: 5 Oct 2020 → 7 Oct 2020

Conference

Conference	27th International Conference on Telecommunications (ICT)
Abbreviated title	ICT 2020
Country/Territory	Indonesia
City	Bali
Period	5/10/20 → 7/10/20

Keywords / Materials (for Non-textual outputs)

5G
modem design
base station
formal model

Access to Document

10.1109/ICT49546.2020.9239539Licence: All Rights Reserved

https://ieeexplore.ieee.org/abstract/document/9239539Licence: All Rights Reserved

Cite this

@inproceedings{bbc726f74bde4fadb845751117ec57d7,

title = "Modem Design in the Era of 5G and Beyond: The Need for a Formal Approach",

abstract = "In the era of 5G and beyond, adaptive workloads and the need for energy efficiency drive are becoming increasingly vital. Changes in parameters of the physical layer algorithm can cascade throughout the algorithm, requiring additional changes to keep a correct functionality within the timing bounds. These factors drive the process of designing systems for mobile communication towards reconfigurability. In this paper we analyze the trade-offs involved in changing algorithmic parameters and show how reconfigurable systems can be used to produce energy-efficient systems. We argue that we ought to resort to formal models to tame this reconfigurability and examine where existing formal models fall short.",

keywords = "5G, modem design, base station, formal model",

author = "Robert Wittig and Andr{\'e}s Goens and Christian Menard and Emil Matus and Fettweis, \{Gerhard P.\} and Jeronimo Castrillon",

year = "2020",

month = oct,

day = "30",

doi = "10.1109/ICT49546.2020.9239539",

language = "English",

isbn = "978-1-7281-6588-2",

booktitle = "2020 27th International Conference on Telecommunications (ICT)",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

note = "27th International Conference on Telecommunications (ICT), ICT 2020 ; Conference date: 05-10-2020 Through 07-10-2020",

}

Wittig, R, Goens, A, Menard, C, Matus, E, Fettweis, GP & Castrillon, J 2020, Modem Design in the Era of 5G and Beyond: The Need for a Formal Approach. in 2020 27th International Conference on Telecommunications (ICT). Institute of Electrical and Electronics Engineers, 27th International Conference on Telecommunications (ICT), Bali, Indonesia, 5/10/20. https://doi.org/10.1109/ICT49546.2020.9239539

TY - GEN

T1 - Modem Design in the Era of 5G and Beyond: The Need for a Formal Approach

AU - Wittig, Robert

AU - Goens, Andrés

AU - Menard, Christian

AU - Matus, Emil

AU - Fettweis, Gerhard P.

AU - Castrillon, Jeronimo

PY - 2020/10/30

Y1 - 2020/10/30

N2 - In the era of 5G and beyond, adaptive workloads and the need for energy efficiency drive are becoming increasingly vital. Changes in parameters of the physical layer algorithm can cascade throughout the algorithm, requiring additional changes to keep a correct functionality within the timing bounds. These factors drive the process of designing systems for mobile communication towards reconfigurability. In this paper we analyze the trade-offs involved in changing algorithmic parameters and show how reconfigurable systems can be used to produce energy-efficient systems. We argue that we ought to resort to formal models to tame this reconfigurability and examine where existing formal models fall short.

AB - In the era of 5G and beyond, adaptive workloads and the need for energy efficiency drive are becoming increasingly vital. Changes in parameters of the physical layer algorithm can cascade throughout the algorithm, requiring additional changes to keep a correct functionality within the timing bounds. These factors drive the process of designing systems for mobile communication towards reconfigurability. In this paper we analyze the trade-offs involved in changing algorithmic parameters and show how reconfigurable systems can be used to produce energy-efficient systems. We argue that we ought to resort to formal models to tame this reconfigurability and examine where existing formal models fall short.

KW - 5G

KW - modem design

KW - base station

KW - formal model

U2 - 10.1109/ICT49546.2020.9239539

DO - 10.1109/ICT49546.2020.9239539

M3 - Conference contribution

SN - 978-1-7281-6588-2

BT - 2020 27th International Conference on Telecommunications (ICT)

PB - Institute of Electrical and Electronics Engineers

T2 - 27th International Conference on Telecommunications (ICT)

Y2 - 5 October 2020 through 7 October 2020

ER -

Modem Design in the Era of 5G and Beyond: The Need for a Formal Approach

Abstract

Conference

Keywords / Materials (for Non-textual outputs)

Access to Document

Fingerprint

Cite this