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
N1 - Publisher Copyright:
© 2018, Springer Nature Switzerland AG.
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 - http://www.scopus.com/inward/record.url?scp=85053598788&partnerID=8YFLogxK
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 -