如今计算机系统与我们生活各个方面的联系越来越紧密,但是在计算机技术给我们带来便利的同时,也对我们的生活存在威胁。因此计算机系统可靠性研究是目前人们比较重视的问题。本文主要研究了两类系统的可靠性分别是:混合系统的可靠性和远程医疗系统的可靠性。在军事、工业等领域广泛存在混合系统,因此在这类系统中如果出现错误,将造成威胁生命财产等人类无法承担的后果。混合系统可达性分析的目的就是检验系统能否在任何环境下安全运行;并且如今人们对身体健康理念的更新,越来越多的人选择远程医疗来辅助治疗,而穿戴设备是如今比较常见的与诊断系统结合的硬件设备,本文通过对穿戴设备传输的数据进行异常检测以保证诊断的正确性。本文在混合系统可达性分析部分首先介绍了混合系统的概念、应用场景及目前存在的几种混合系统模型,重点描述了混合自动机模型。然后介绍了形式化验证的两种基本方法,形式验证是保证混合系统可靠性的重要方法,而可达性分析是形式验证的基础。提出了混合区域用于表示可达集,并且用于矩形混合系统的可达性分析。混合区域是一个多面体区域,是由一系列的满足某种限制条件的线性不等式约束形成。最后提出了可达性分析算法,并且证明混合区域对于可达性操作的封闭性。在穿戴设备的错误检测部分本文首先介绍了异常产生的几种原因和几种传统异常检测方法。其次对基于距离的检测方法进行深入的研究,介绍了时间序列概念、核密度估计方法和隐马尔科夫模型,并在以上基础上提出了基于k-临近点距离的异常检测算法与带滑动窗口的距离异常检测算法。最后模拟实验验证本文提出算法的有效性,并与同样使用距离算法的马氏距离法进行比较。实验证明本文提出方法具有较高的检测效率。