Formal Verification of a Programmable Hypersurface

Panagiotis Kouvaros; Dimitrios Kouzapas; Anna Philippou; Julius Georgiou; Loukas Petrou; Andreas Pitsillides

doi:10.1007/978-3-030-00244-2_6

Formal Verification of a Programmable Hypersurface

Panagiotis Kouvaros
, Dimitrios Kouzapas
, Anna Philippou
, Julius Georgiou
, Loukas Petrou
, Andreas Pitsillides

University of Cyprus

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

9 Citations (Scopus)

Abstract

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 design of the Hypersurface, however, has demanding requirements that need to be delivered within a context of limited resources. This paper shares the experience of a rigorous design procedure for the Hypersurface network, that involves iterations between designing a network and its protocols and the formal evaluation of each design. Formal evaluation has provided results that, so far, drive the development team in a more robust design and overall aid in reducing the cost of the Hypersurface manufacturing.

Original language	English
Title of host publication	Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings
Editors	Falk Howar, Jiří Barnat
Publisher	Springer Verlag
Pages	83-97
Number of pages	15
ISBN (Print)	9783030002435
DOIs	https://doi.org/10.1007/978-3-030-00244-2_6
Publication status	Published - 2018
Externally published	Yes
Event	23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018 - Maynooth, Ireland Duration: 3 Sept 2018 → 4 Sept 2018

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11119 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018
Country/Territory	Ireland
City	Maynooth
Period	3/09/18 → 4/09/18

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-030-00244-2_6

Cite this

Kouvaros, P., Kouzapas, D., Philippou, A., Georgiou, J., Petrou, L., & Pitsillides, A. (2018). Formal Verification of a Programmable Hypersurface. In F. Howar, & J. Barnat (Eds.), Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings (pp. 83-97). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11119 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-030-00244-2_6

Kouvaros, Panagiotis ; Kouzapas, Dimitrios ; Philippou, Anna et al. / Formal Verification of a Programmable Hypersurface. Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings. editor / Falk Howar ; Jiří Barnat. Springer Verlag, 2018. pp. 83-97 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{a34a88996f604761bdf21423d0fd2b97,

title = "Formal Verification of a Programmable Hypersurface",

abstract = "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 design of the Hypersurface, however, has demanding requirements that need to be delivered within a context of limited resources. This paper shares the experience of a rigorous design procedure for the Hypersurface network, that involves iterations between designing a network and its protocols and the formal evaluation of each design. Formal evaluation has provided results that, so far, drive the development team in a more robust design and overall aid in reducing the cost of the Hypersurface manufacturing.",

author = "Panagiotis Kouvaros and Dimitrios Kouzapas and Anna Philippou and Julius Georgiou and Loukas Petrou and Andreas Pitsillides",

note = "Publisher Copyright: {\textcopyright} 2018, Springer Nature Switzerland AG.; 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018 ; Conference date: 03-09-2018 Through 04-09-2018",

year = "2018",

doi = "10.1007/978-3-030-00244-2\_6",

language = "English",

isbn = "9783030002435",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "83--97",

editor = "Falk Howar and Ji{\v r}{\'i} Barnat",

booktitle = "Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings",

address = "Germany",

}

Kouvaros, P, Kouzapas, D, Philippou, A, Georgiou, J, Petrou, L & Pitsillides, A 2018, Formal Verification of a Programmable Hypersurface. in F Howar & J Barnat (eds), Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11119 LNCS, Springer Verlag, pp. 83-97, 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, Maynooth, Ireland, 3/09/18. https://doi.org/10.1007/978-3-030-00244-2_6

Formal Verification of a Programmable Hypersurface. / Kouvaros, Panagiotis; Kouzapas, Dimitrios; Philippou, Anna et al.
Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings. ed. / Falk Howar; Jiří Barnat. Springer Verlag, 2018. p. 83-97 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11119 LNCS).

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

TY - GEN

T1 - Formal Verification of a Programmable Hypersurface

AU - Kouvaros, Panagiotis

AU - Kouzapas, Dimitrios

AU - Philippou, Anna

AU - Georgiou, Julius

AU - Petrou, Loukas

AU - Pitsillides, Andreas

PY - 2018

Y1 - 2018

N2 - 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 design of the Hypersurface, however, has demanding requirements that need to be delivered within a context of limited resources. This paper shares the experience of a rigorous design procedure for the Hypersurface network, that involves iterations between designing a network and its protocols and the formal evaluation of each design. Formal evaluation has provided results that, so far, drive the development team in a more robust design and overall aid in reducing the cost of the Hypersurface manufacturing.

AB - 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 design of the Hypersurface, however, has demanding requirements that need to be delivered within a context of limited resources. This paper shares the experience of a rigorous design procedure for the Hypersurface network, that involves iterations between designing a network and its protocols and the formal evaluation of each design. Formal evaluation has provided results that, so far, drive the development team in a more robust design and overall aid in reducing the cost of the Hypersurface manufacturing.

UR - https://www.scopus.com/pages/publications/85053598788

U2 - 10.1007/978-3-030-00244-2_6

DO - 10.1007/978-3-030-00244-2_6

M3 - Conference contribution

AN - SCOPUS:85053598788

SN - 9783030002435

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 83

EP - 97

BT - Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings

A2 - Howar, Falk

A2 - Barnat, Jiří

PB - Springer Verlag

T2 - 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018

Y2 - 3 September 2018 through 4 September 2018

ER -

Kouvaros P, Kouzapas D, Philippou A, Georgiou J, Petrou L, Pitsillides A. Formal Verification of a Programmable Hypersurface. In Howar F, Barnat J, editors, Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Proceedings. Springer Verlag. 2018. p. 83-97. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-00244-2_6

Formal Verification of a Programmable Hypersurface

Abstract

Publication series

Conference

UN SDGs

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this