Abstract: Components have multi-states in complex network environment, and binary logic （BL） is very limited to de-scribe this situation. So, multi-valued logic （MVL） is adopted to analyze component state in this paper. Further, k- out-of-n： S system model is empha

Key words: K-out-of-n： S system, Survivability, Binary logic, Multi-valued logic