dc.contributor.author | Kouvaros, Panagiotis | en |
dc.contributor.author | Kouzapas, Dimitrios | en |
dc.contributor.author | Philippou, Anna | en |
dc.contributor.author | Georgiou, Julius | en |
dc.contributor.author | Petrou, Loukas | en |
dc.contributor.author | Pitsillides, Andreas | en |
dc.contributor.editor | Howar, Falk | en |
dc.contributor.editor | Barnat, Jiří | en |
dc.coverage.spatial | Cham | en |
dc.creator | Kouvaros, Panagiotis | en |
dc.creator | Kouzapas, Dimitrios | en |
dc.creator | Philippou, Anna | en |
dc.creator | Georgiou, Julius | en |
dc.creator | Petrou, Loukas | en |
dc.creator | Pitsillides, Andreas | en |
dc.date.accessioned | 2021-01-22T10:47:56Z | |
dc.date.available | 2021-01-22T10:47:56Z | |
dc.date.issued | 2018 | |
dc.identifier.isbn | 978-3-030-00244-2 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/62509 | |
dc.description.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. | en |
dc.language.iso | en | en |
dc.publisher | Springer International Publishing | en |
dc.source | Formal Methods for Industrial Critical Systems | en |
dc.title | Formal Verification of a Programmable Hypersurface | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.identifier.doi | 10.1007/978-3-030-00244-2_6 | |
dc.description.startingpage | 83 | |
dc.description.endingpage | 97 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Conference Object | en |
dc.contributor.orcid | Pitsillides, Andreas [0000-0001-5072-2851] | |
dc.contributor.orcid | Georgiou, Julius [0000-0002-7474-5449] | |
dc.contributor.orcid | Petrou, Loukas [0000-0003-1999-5733] | |
dc.gnosis.orcid | 0000-0001-5072-2851 | |
dc.gnosis.orcid | 0000-0002-7474-5449 | |
dc.gnosis.orcid | 0000-0003-1999-5733 | |