Pith. sign in

REVIEW 1 cited by

Testing Resource Isolation for System-on-Chip Architectures

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2403.18720 v1 pith:4ILJQ7SW submitted 2024-03-27 cs.AR cs.CRcs.SE

Testing Resource Isolation for System-on-Chip Architectures

classification cs.AR cs.CRcs.SE
keywords isolationresourceaspectslevelmodelingtesttestingtests
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original 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 standard PSS and an academic approach based on conformance testing.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Bridging the Semantic Gap in 6G: Tiny Language Models Under the Latency-Accuracy-Size Trilemma

    eess.SP 2026-07 conditional novelty 4.5

    A structured review shows model compression and split computing can shrink semantic encoders by orders of magnitude for 6G edge devices while largely preserving task quality, and supplies a taxonomy, SES metric, and 3...