Formal Verification of a Programmable Hypersurface

@article{Kouvaros2018FormalVO,
  title={Formal Verification of a Programmable Hypersurface},
  author={Panagiotis Kouvaros and Dimitrios Kouzapas and Anna Philippou and Julius Georgiou and Loukas P. Petrou and Andreas Pitsillides},
  journal={ArXiv},
  year={2018},
  volume={abs/1807.09339}
}
A metasurface is a surface that consists of artificial material, called metamaterial, with configurable electromagnetic properties. This paper presents work in progress on the design and formal verification of a programmable metasurface, the Hypersurface, as part of the requirements of the VISORSURF research program (HORIZON 2020 FET-OPEN). The Hypersurface design is concerned with the development of a network of switch controllers that are responsible for configuring the metamaterial. The… 

Fault Tolerance in Programmable Metasurfaces: The Beam Steering Case

Examining the reliability problem in programmable metamaterials by proposing an error model and a general methodology for error analysis shows that performance degradation depends on the type of error and its spatial distribution and that, in beam steering, error rates over 10% can still be considered acceptable.

Fault Adaptive Routing in Metasurface Controller Networks

This paper presents two XY-based approaches which have been developed aiming to offer reliable data delivery in the presence of faults, and aims to avoid loops while the second one attempts to maximize the success delivery probabilities.

Fault Adaptive Routing in Metasurface Controller Networks ( Invited Paper )

This paper presents two XYbased approaches which have been developed aiming to offer reliable data delivery in the presence of faults, and aims to avoid loops while the second one attempts to maximize the success delivery probabilities.

Towards fault adaptive routing in metasurface controller networks

Smart Radio Environments Empowered by AI Reconfigurable Meta-Surfaces: An Idea Whose Time Has Come

This paper is focused on discussing how the availability of intelligent reconfigurable meta-surfaces will allow wireless network operators to redesign common and well-known network communication paradigms.

Smart radio environments empowered by reconfigurable AI meta-surfaces: an idea whose time has come

This paper overviews the current research efforts on smart radio environments, the enabling technologies to realize them in practice, the need of new communication-theoretic models for their analysis and design, and the long-term and open research issues to be solved towards their massive deployment.

Toward Smart Wireless Communications via Intelligent Reflecting Surfaces: A Contemporary Survey

A literature review on recent applications and design aspects of the intelligent reflecting surface (IRS) in the future wireless networks, and the joint optimization of the IRS’s phase control and the transceivers’ transmission control in different network design problems, e.g., rate maximization and power minimization problems.

A Promising Technology for 6G Wireless Networks: Intelligent Reflecting Surface

A blueprint of the next 6G networks including the vision, typical scenarios, and key performance indicators (KPIs) is given and an overview of intelligent reflecting surface with wireless environment control capability including the new signal model, hardware architecture, and competitive advantages in 6G Networks is provided.

Intelligent Reflective Surfaces for Wireless Networks: An Overview of Applications, Approached Issues, and Open Problems

This paper provides a comprehensive literature overview on IRS technology, including its basic concepts and reconfiguration, as well as its design aspects and applications for wireless communication systems.

Towards Smart Radio Environment for Wireless Communications via Intelligent Reflecting Surfaces: A Comprehensive Survey

A comprehensive literature review on applications and design aspects of the intelligent reflecting surface (IRS) in the future wireless networks, and discusses the joint optimization of the IRS’s phase control and the transceivers’ transmission control in different network design problems.

References

SHOWING 1-10 OF 20 REFERENCES

Networks on Chips: A New SoC Paradigm

Focusing on using probabilistic metrics such as average values or variance to quantify design objectives such as performance and power will lead to a major change in SoC design methodologies.

A Fault-Tolerant and Deadlock-Free Routing Protocol in 2D Meshes Based on Odd-Even Turn Model

  • Jie Wu
  • Computer Science
    IEEE Trans. Computers
  • 2003
A deterministic fault-tolerant and deadlock-free routing protocol in two-dimensional meshes based on dimension-order routing and the odd-even turn model is proposed, called extended X-Y routing.

Parameterised verification for multi-agent systems

Decidability of Parameterized Verification

This book considers the important case of M(n) being a concurrent system, where the number of replicated processes depends on the parameter n but each process is independent of n.

Regular mesh topologies in local and metropolitan area networks

A class of mesh networks is described that increases the throughput of conventional local area networks by decreasing the fraction of the network capacity needed to transmit information between a source and a destination.

Route packets, not wires: on-chip interconnection networks

  • W. DallyB. Towles
  • Computer Science
    Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232)
  • 2001
The concept of on-chip networks is introduced, a simple network is sketched, and some challenges in the architecture and design of these networks are discussed.

Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks

It is shown by probabilistic model checking that wireless token-passing systems can benefit tremendously from the considered fault-tolerant methods, and even provide reasonable bounds for experimental results obtained from a real-world implementation.

XYX: A Power & Performance Efficient Fault-Tolerant Routing Algorithm for Network on Chip

  • A. PatooghyS. Miremadi
  • Computer Science, Engineering
    2009 17th Euromicro International Conference on Parallel, Distributed and Network-based Processing
  • 2009
Experimental results show that the XYX routing algorithm imposes negligible performance and power consumption overheads while providing almost the same reliability in comparison with flood-based routing algorithms.

Automated Analysis of AODV Using UPPAAL

An automated, formal and rigorous analysis of the Ad hoc On-Demand Distance Vector routing protocol, a popular protocol used in wireless mesh networks, using the UPPAAL model checker to automatically locate problematic and undesirable behaviours.

Review of XY Routing Algorithm for Network-on-Chip Architecture

This paper basically review of XY routing algorithm in which it is shown that IX/Y routing algorithm is for less collision in network, for deadlock- free and livelock-free DyXY is used, for fault-tolerant XYX routing algorithm was proposed and Adaptive XY routinggorithm is used for fully utilization of network resource.