Dependable System Design for Reconfigurable Safety-Critical Applications