本发明提出一种可计算的高可靠架构设计方法和系统。所述架构包含若干提供系统功能的组件，互为冗余的组件属于同一功能域。在所述方法中，两两计算各个功能域的交集，获取多组交集不为空的功能域对，将每一组所述交集不为空的功能域，并在所述新的功能域中分别添加虚拟节点，同时向连接关系集合中添加虚拟连接；将互不相交的功能域中的每一个聚集为一个超节点，构建以超节点表征的架构表示，以获取包含所有最小生成树的集合，并进行连通性判断；最后计算每一种架构组件配置的可靠性，从多种架构组件配置中选取一种架构组件配置，以提供相关服务。