可靠性与抗干扰技术.pptVIP

时间模型可靠性增长模型假设：一个软件中的故障数目在t=0时是常数，随着故障被纠正，故障数目逐渐减少。软件经过一段时间调试后，剩余故障的数目用下式来估计τ为调试时间I为软件中的指令数Er(τ)为在时刻τ软件中剩余的故障数；E0为在τ=0时软件中的故障数Ec(τ)为在[0，τ]内纠正的故障数；时间模型由故障数Er(τ)可以得出软件的风险函数（失效率）式中，C是比例常数软件的可靠度为（利用公式6-5）软件的平均无故障时间为（利用公式6-7）时间模型（2）公理模型对于软件故障，可以凭经验假定它服从某种分布规律，这就是公理模型著名的公理模型是“软件科学”模型此模型假设软件中的故障数B可由下式确定式中，K为比例常数；V为软件的模型。V可以进一步表示为n1为操作码的种类数n2为操作数的种类数；N1为操作码的总数N2为操作数的总数；E0为程序员出现失误之前，平均可以做出的正确判断次数数据模型01040203导致软件故障的所有输入的集合为Ee，即软件运行一次出现故障的概率为一次运行正常的概率为假设软件设计的功能为F，程序实现的功能为F，预先确定的输入集为对一预先确定的输入环境，可靠度定义为n次连续运行中软件完成指定任务的概率。数据模型假设了所有输入出现的概率相等，如果不相等，且ei出现的概率为Pi(i=1，2，…，n)则软件运行一次出现故障的概率为01式中02软件的可靠度(n次运行不出现故障的概率)为03由于程序的合法输入集通常很大，预先确定一个适当大小的输入集E是必要的。不同的用户总是根据自己的要求来确定E，这就可能使同一个软件时不同的用户表现出不同的可靠度。04提高软件可靠性的方法避错和容错也是软件可靠性设计的两种主要方法1、认真地进行规范设计即编制程序设计规范，各部门严格执行。（数据类型、变量命名等都术语规范内容）2、可靠的程序设计方法●可靠的程序设计方法包括递归程序设计和结构化程序设计等常用技术。●模块化设计思想，结构化设计思想要贯彻在设计的始终。●顺序型、条件型和循环型。要避免goto语句的使用。3、程序验证技术程序正确性证明、程序的自动证明和程序测试技术。4、提高软件设计人员的素质技术素质和思想素质两个方面。5、消除干扰软件中加入抗干扰措施（硬件方面）。6、增加试运行时间软件抗干扰技术CPU抗干扰技术：防止因干扰造成的程序“跑飞”。输入/输出的抗干扰技术：消除信号中的干扰以提高系统精度。“看门狗”技术就是不断监视程序循环运行时间硬件看门狗是一个特殊的定时器，当定时时间到时，发出溢出脉冲。勿忘喂狗1．硬件看门狗技术“看门狗”技术既可以用硬件实现，也可以用软件实现，也可以把两者结合。测控系统的应用程序通常以循环方式运行，且循环的时间基本固定。常用集成看门狗电路MAX705～708、MAX791、MAX813L、X5043～5045等器件名称复位门限（V）备份电池切换功能看门狗定时器门限值检测器手动复位复位脉冲输出波形复位脉冲宽度MAX7034.65√√√负脉冲200msMAX7044.40√√√负脉冲200msMAX7054.65√√√负脉冲200msMAX7064.40√√√负脉冲200msMAX7074.65√√正、负脉冲200msMAX7084.40√√正、负脉冲200msMAX709*4.65/4.40/3.08/2.93/2.63负脉冲280msMAX813L4.65√√√正脉冲200ms*分别对应于MAX709L/MAX709M/MAX709T/MAX709S/MAX709R的复位门限X5045是XICOR公司的产品，它是一种可编程的专用看门狗定时器，定时时间可通过软件进行选择(200ms、600ms、114s)，内部包含看门狗电路、电压监控电路和4kBE2PROM等。TCST是定时器触发脉冲(负脉冲)的宽度，TWD0是定时器的溢出周期(可编程)，TRST是定时器溢出脉冲的宽度。12程序中，每隔一定的时间间隔放置一条“喂狗”指令(即在P1.0输出一个下降沿)，该时间间隔应小于X5045预制的定时时间，以保证程序正常运行时X5045不会溢出；而一旦程序出现异常，X5