航天飞控软件可靠性度量方法研讨.pdfVIP

航天飞控软件可靠性度量方法研究 张卫民1，2 (1．北京航空航天大学·北京·100083) (2．北京航天指挥控制中心·北京·100094) 摘要首先介绍了软件可靠性的一些基本概念。然后讨论了三种不同的软件可 靠性度量方法，即基于时钟时间的度量方法、基于执行时间的度量方法、和基于 自然单位的度量方法。最后，以一个简化的航天飞控软件为例，分析了三种可靠 性度量指标及其相互关系。 关键词航天飞控；软件可靠性；可靠性度量 1 己I 吉 1 丁I 嗣 在航天测控系统中，航天飞控中心的测控应用软件是一种具有高可靠性要求的软件系 统。但是，目前对航天飞控软件的可靠性需求大多为一些定性的要求，很少给出具体的、 定量的可靠性指标要求。对个别系统，尽管也有一些定量的可靠性指标，但这些指标一般 也是对整个系统提一个总的可靠性要求，然后将该指标简单地分配给硬件、系统软件、以 及应用软件。对提出的可靠性指标，特别是软件的可靠性指标，也缺乏必要的验证和确认 手段。本文讨论了航天飞控中心应用软件系统可靠性的几种度量方法，以及各种度量方法 之间的相互转换关系。 2软件可靠性、可用性和失效密度 这里首先给出和软件可靠性相关的几种度量指标，即可靠性、失效密度、和可用性。 2．1软件可靠性 软件可靠性是指软件在给定时间内、在指定环境下无失效运行的概率。这里的失效是 指程序的功能性在某些方面不满足用户需求。所谓功能性是指和程序运行相关的所有特性， 包括正确性、安全性、可操作性、用户友好性等。 2．2软件失效密度 失效密度是指软件在单位时间内的失效次数。 设R为软件可靠性、入为软件失效密度、t为任务时间，则软件失效密度和可靠性之间 关系为： 505 净(一lnR)／t或R=exp(一№ 2．3可用性 可用性是系统令人可接受地发挥作用的时间部分。设A代表可用性，tu是运行时间， tD是瘫痪时间，则有：A--tu／(tu+tD) 如果入为软件失效密度，tm为每次失效的瘫痪时间，则软件可用性与失效密度之间的 关系如下： 或 净(1-A)／Atm A=I／0+t．,x) 由于软件可靠性、失效密度和可用性相互之间具有上述转换关系，因此这三种度量指 标可以用来等价地刻画软件的可靠性。所以，我们可以在实际应用中根据其方便性选择其 中的任一种指标来度量软件可靠性。 另外，我们通常可以采用如下四种方法来刻画软件失效随着时间的发生情况，即失效 发生时间、失效间隔时间、到指定时间为止失效累计发生数、某时间间隔内的失效数。这 里对此不再详细叙述。 3基于时钟时间的软件可靠性度量 传统的软件可靠性采用与硬件可靠性相同的定义。即，软件可靠性是指软件在一定时 间内无故障(或失效，下同)工作的概率。这里的时间是指自然的日历或时钟时间。软件 可靠性的度量也和硬件一样，或者直接用可靠性R度量，或者用平均无故障工作时间、平 均故障间隔时间等指标度量。 采用与硬件相同的可靠性度量符合人们的习惯，很容易被接受，同时也有利于度量同 时包括硬件和软件的整个系统的可靠性。但是，由于软件具有与硬件不同的运行特性，采 用与硬件相同的度量方法，并不能准确反映软件的真实可靠程度。 一个硬件一旦加电运行就一直处于工作状态，而软件不是这样。比如航天飞控软件中 的遥测处理软件，只有在测控弧段内收到遥测数据时才运行，在测控弧段外或者没有遥测 数据的情况下它并不处于运行状态。即使在测控弧段内，并且连续收到遥测数据，遥测处 理软件也不是一直处于运行状态，在这个过程中它仅在部分时间占用CPU处于运行状态。 对于其它的测控软件，也是如此，比如精密定轨软件和控制计算软件，仅在测控弧段结束 后才进行计算，而且即使在计算过程中也并不是一直占用CPU处于运行状态。所以，对于 ～个测控应用软件来说，在大部分时间它并不处于运行状态，而是只占用很少一部分CPU 时间来完成其相应的功能。