Testing Resource Isolation for System-on-Chip Architectures

arXiv:2403.18720v1 Announce Type: cross
Abstract: Ensuring resource isolation at the hardware level is a crucial step towards more security inside the Internet of Things. Even though there is still no generally accepted technique to generate appropriate tests, it became clear that tests should be generated at the system level. In this paper, we illustrate the modeling aspects in test generation for resource isolation, namely modeling the behavior and expressing the intended test scenario. We present both aspects using the industrial …

architectures arxiv chip clear cs.ar cs.cr cs.se generated hardware internet internet of things isolation resource security system testing tests things