Testing Resource Isolation for System-on-Chip Architectures

Autor:	Ledent, Philippe, Mateescu, Radu, Serwe, Wendelin
Rok vydání:	2024
Předmět:	Computer Science - Hardware Architecture Computer Science - Cryptography and Security Computer Science - Software Engineering
Zdroj:	EPTCS 399, 2024, pp. 129-168
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.399.7
Popis:	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 standard PSS and an academic approach based on conformance testing. Comment: In Proceedings MARS 2024, arXiv:2403.17862
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2403.18720 Zobrazit plný text záznamu View this record from Arxiv