Architecture Optimization Based on Incremental Approach for Airplane Digital Distributed Flight Control System
basic concepts and taxonomy of dependable and secure computing .