【摘要】在国民经济与国防现代化建设中,计算机软件在日常生活中的应用越来越普及,软件可靠性问题日趋受到人们的重视,尤其对于一些安全关键领域,如载人航天、高速轨道交通等。应用于这些领域的系统通常是实时控制系统,这类系统不仅要求系统做出正确的响应,且要求系统的响应满足相应的时间约束。系统一旦发生失效,将会给国家安全乃至人员生命带来极大损失,因此如何提高这类系统的可靠性成为目前计算机领域的一个非常重要的研 […]