Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems.

Toni Mancini Igor Melatti Enrico Tronci

Published in: IEEE Trans. Software Eng. (2023)

Keyphrases

highly parallel
cyber physical systems
cyber physical
parallel architectures
efficient implementation
cyber security
single pass
physical world
computing systems
single chip
real time
graphics processing units
parallel programming
embedded systems
general purpose
security issues
graphical models
low cost