Predictable Sharing of Last-level Cache Partitions for Multi-core Safety-critical Systems.

Zhuanhao Wu Hiren D. Patel

Published in: CoRR (2022)

Keyphrases

safety critical
formal methods
fault tolerant
safety analysis
embedded systems
agent architecture
nuclear power plant
distributed systems
support systems
real time
adaptive systems
data mining
artificial intelligence
cooperative
expert systems
management system