Ditty: Directory-based Cache Coherence for Multicore Safety-critical Systems.

Zhuanhao Wu Marat Bekmyrza Nachiket Kapre Hiren Patel

Published in: DATE (2023)

Keyphrases

safety critical
safety analysis
formal methods
embedded systems
support systems
fault tolerant
agent architecture
nuclear power plant
adaptive systems
management system
knowledge acquisition