Security audit for embedded avionics systems

摘要: We present an abstract model, the domain-partition model, of fault-tolerant systems (FTSs) in order to solve the reliability maximization problem under given redundancy. The domain-partition model is an abstraction of a reconfigurable device with several versions of circuit configuration. Unlike existing models that deal with specific FTSs, our model isgeneral,'so that many types of FTSs are formulated into this model. Therefore, with our domain-partition model, we can easily compare different types of FTSs. In addition, the model enables us to …