We investigate dependable technologies for a high-performance parallel embedded computer platform with multi-core/ multiprocessor systems. We develop a reliable software distributed memory system with ...