如何在复杂的混合关键性和混合合规性软件系统中为故障传播建模