Redundancy system design for an aircraft door management system

The door management system (DMS) is a safety-critical system in an aircraft which checks if all doors are properly closed and the cabin has the correct pressure. As for every safety-critical system in an aircraft, it has to meet some safety regulations and it should be designed optimally in terms of weight, cost or power consumption. This paper studies the problem of designing a DMS optimally as per the previous objectives while guaranteeing that the system is k-redundant. We call this new problem the DMS design problem with redundancy. First, we propose a new MILP model for the DMS problem which includes redundancy. Because the model is too difficult to be solved efficiently by standard MILP solvers, we introduce specialized branching rules and a new heuristic. Computational tests are run for example instances of the DMS problem by implementing these new rule in CPLEX. It is shown that the solving time is significantly reduced through the new branching rules and heuristic.