Secure and Dependable Parallel Embedded Computation