Strategies for Analysis against Redundant Reused Codes in Safety-Critical Software

Software that applied in the industrial safety-critical systems are usually developed from reused components. The redundant parts of the safety-critical software introduced by such approach shall therefore be considered from the perspective of avoidance and protection from systematic failure. The large scale and high complexity of modern safety-critical software increase the difficulty on conducting safety analysis against it. A series of strategy for safety analysis against the redundant reused codes with detailed procedures are proposed. It is based on the application of systematic safety analysis approach on the activation model of redundant reused codes modeled by the patterns that such codes take effect in the system. The proposed approach provides methodological reference for the developer and analyzer in the fields of industrial safety-critical software/system on conducting highly focused safety analysis.