嵌入式实时控制系统软件可靠性建模与应用

doi:10.3724/SP.J.1087.2013.00575

计算机应用 ›› 2013, Vol. 33 ›› Issue (02): 575-578.DOI: 10.3724/SP.J.1087.2013.00575

嵌入式实时控制系统软件可靠性建模与应用

郭荣佐¹,黄君²

1. 四川师范大学计算机科学学院，成都 610068
2. 四川工商职业技术学院基础部，四川都江堰 611830

收稿日期:2012-08-20 修回日期:2012-10-10 出版日期:2013-02-01 发布日期:2013-02-25
通讯作者: 郭荣佐
作者简介:郭荣佐(1973-)，男，四川开江人，副教授，主要研究方向：嵌入式实时系统、物联网感知、计算机控制系统;
黄君(1974-)，女，重庆人，讲师，硕士，主要研究方向：应用数学。
基金资助:
四川省教育厅自然科学基金重点项目

Modeling and application for software reliability of embedded real-time control system

GUO Rongzuo¹,HUANG Jun²

1. College of Computer Science, Sichuan Normal University, Chengdu Sichuan 610068, China
2. Department of Grounding Instruction， Sichuan Technology and Business College, Dujiangyan Sichuan 611830, China

Received:2012-08-20 Revised:2012-10-10 Online:2013-02-01 Published:2013-02-25
Contact: GUO Rongzuo

摘要/Abstract

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

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

Abstract: 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.

Key words: Embedded Real-time Control System (ERCS), software reliability, Copula function, modeling

中图分类号:

郭荣佐黄君. 嵌入式实时控制系统软件可靠性建模与应用[J]. 计算机应用, 2013, 33(02): 575-578.

GUO Rongzuo HUANG Jun. Modeling and application for software reliability of embedded real-time control system[J]. Journal of Computer Applications, 2013, 33(02): 575-578.

[1]	罗明宇, 骆晓萌, 朱文敏, 张磊, 范秀敏. 船舶狭小空间虚拟人维修姿态建模技术[J]. 计算机应用, 2021, 41(8): 2466-2472.
[2]	孙鹤立, 徐统, 何亮, 贾晓琳. 融合用户历史行为与社交关系的个性化社交事件推荐方法[J]. 计算机应用, 2021, 41(2): 324-329.
[3]	曹策俊, 刘桔. 灾害运作管理中应急组织决策建模方法综述[J]. 计算机应用, 2020, 40(7): 2142-2149.
[4]	王舒漫, 李爱萍, 段利国, 付佳, 陈永乐. 基于BTM的物联网服务发现方法[J]. 计算机应用, 2020, 40(2): 459-464.
[5]	刘伟荣, 真虹. 基于区块链原理的集装箱共享模式下集装箱运输流程建模与仿真[J]. 计算机应用, 2019, 39(7): 2141-2147.
[6]	苏振宇, 宋桂香, 刘雁鸣, 赵媛. 服务器管理控制系统威胁建模与应用[J]. 计算机应用, 2019, 39(7): 1991-1996.
[7]	宁进, 陈雷霆, 周川, 张磊. 模型聚合解聚的智能触发机制[J]. 计算机应用, 2019, 39(6): 1614-1618.
[8]	李磊, 薛洋, 吕念玲, 冯敏. 基于李雅普诺夫优化的容器云队列在线任务和资源调度设计[J]. 计算机应用, 2019, 39(2): 494-500.
[9]	郭荣佐, 冯朝胜, 秦志光. 物联网智能物流系统容错服务组合建模与分析[J]. 计算机应用, 2019, 39(2): 589-597.
[10]	刘保成, 朴燕, 唐悦. 基于时空正则化的视频序列中行人的再识别[J]. 计算机应用, 2019, 39(11): 3216-3220.
[11]	许瀚, 罗亮, 孙鹏, 孟飒. 基于马尔可夫模型的云系统安全性与性能建模[J]. 计算机应用, 2019, 39(11): 3304-3309.
[12]	徐晓丹, 李秉杰, 李伯森, 吕舜. 基于一种形式化方法的3D虚拟祭祀场景建模语言与环境[J]. 计算机应用, 2018, 38(9): 2666-2672.
[13]	刘张虎, 程春玲. 面向大规模数据主题建模的方差减小的随机变分推理算法[J]. 计算机应用, 2018, 38(6): 1675-1681.
[14]	田昊, 张葛祥, 荣海娜, Mario J. PÉREZ-JIMÉNEZ, Luis VALENCIA-CABRERA, 陈鹏, 侯蓉, 齐敦武. 基于种群动态膜系统的大熊猫种群模型[J]. 计算机应用, 2018, 38(5): 1488-1493.
[15]	夏浩男, 戴胜华. 基于着色Petri网的无线闭塞中心安全加密[J]. 计算机应用, 2018, 38(12): 3476-3480.

嵌入式实时控制系统软件可靠性建模与应用

Modeling and application for software reliability of embedded real-time control system

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics