摘要
嵌入式实时控制系统(ERCS)广泛应用于各种控制系统中,其软件不同于普通软件,除满足实时性要求外,可靠性也是相当重要的。首先对嵌入式实时控制系统软件进行形式化抽象定义,然后对不可再分的软件模块进行可靠性建模,并应用Copula函数对软件系统进行建模,最后应用建立的模型,对具体的系统进行了软件可靠性计算。通过实例计算可知,用Copula函数建立的嵌入式实时控制系统软件可靠性模型,考虑了软件各个模块的相依性,进而得到嵌入式实时控制系统软件模块相依的可靠度较各模块独立时有所提高。
Embedded Real-time Control System （ERCS） is widely used in all kinds of control systems. Its software is different from other common software. Besides to meet the real-time requirements, the software needs to be reliable. At first, abstract formalization for the software of embedded real-time control system was defined. Then, reliability modeling was given for software modules which can not be subdivided, and the reliability modeling for software of embedded real-time control system was also provided by applying Copula function. The reliability of specific system software was calculated by using the model. The results show that the reliability model established with Copula function takes account of the correlation between software modules, therefore the reliability of software modules of embedded real-time control system was improved compared with the independent modules.
出处
《计算机应用》
CSCD
北大核心
2013年第2期575-578,共4页
journal of Computer Applications
基金
四川省教育厅自然科学基金重点项目(10ZA008)
