文献类型：期刊文章

作　　者：郭荣佐[1] 黄君[2]

机构地区：[1]四川师范大学计算机科学学院,成都610068 [2]四川工商职业技术学院基础部,四川都江堰611830

出　　处：《计算机应用》

基　　金：四川省教育厅自然科学基金重点项目(10ZA008)

年　　份：2013

卷　　号：33

期　　号：2

起止页码：575-578

语　　种：中文

收录情况：AJ、BDHX、BDHX2011、CSA、CSA-PROQEUST、CSCD、CSCD2013_2014、IC、INSPEC、JST、RCCSE、ZGKJHX、ZMATH、核心刊

摘　　要：嵌入式实时控制系统(ERCS)广泛应用于各种控制系统中,其软件不同于普通软件,除满足实时性要求外,可靠性也是相当重要的。首先对嵌入式实时控制系统软件进行形式化抽象定义,然后对不可再分的软件模块进行可靠性建模,并应用Copula函数对软件系统进行建模,最后应用建立的模型,对具体的系统进行了软件可靠性计算。通过实例计算可知,用Copula函数建立的嵌入式实时控制系统软件可靠性模型,考虑了软件各个模块的相依性,进而得到嵌入式实时控制系统软件模块相依的可靠度较各模块独立时有所提高。

关 键 词：嵌入式实时控制系统  软件可靠性  COPULA函数 建模  

分 类 号：TP302.7] TP202.1[计算机类]