Hidden Markov Model Approach for Software Reliability Estimation with Logic Error

来源 :国际自动化与计算杂志(英文版) | 被引量 : 0次 | 上传用户:zjk130
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
To ensure the safe operation of any software controlled critical systems,quality factors like reliability and safety are given utmost importance.In this paper,we have chosen to analyze the impact of logic error that is one of the contributors to the above factors.In view of this,we propose a novel framework based on a data driven approach known as software failure estimation with logic error (SFELE).Here,the probabilistic nature of software error is explored by observing the operation of a safety critical system by injecting logic fault.The occurrence of error,its propagations and transformations are analyzed from its inception to end of its execution cycle through the hidden Markov model (HMM) technique.We found that the proposed framework SFELE supports in labeling and quantifying the behavioral properties of selected errors in a safety critical system while traversing across its system components in addition to reliability estimation of the system.Our attempt at the design level can help the design engineers to improve their system quality in a costeffective manner.
其他文献
The aim of this work is to model and analyze the behavior of a new smart nano force sensor.To do so,the carbon nanotube has been used as a suspended gate of a m
近些年由于传统能源的大量消耗和严峻的环境形势,可再生能源的应用与发展得到了极大的重视,当前分布式电源的并网规模在不断扩大,这给电网的控制与运行造成了较大的影响,其中对继
Based on compressive sensing and fractional discrete cosine transform (DCT) via polynomial interpolation (PI-FrDCT),an image encryption algorithm is proposed,in
关山月被认为是一位以创作大幅山水画和梅花闻名于世的艺术家。纵观其一生,这位艺术家都在不停地到各地写生,甚至在他晚年将近九旬高龄时仍然坚持到云南等地写生。关山月一直
成吉思汗统一蒙古部落后,不但对金、西夏发动攻击,还发动了数次大规模的西征.他凭借着人数较少的军队,以及漫长的后勤供应线,几乎战无不胜.蒙古铁骑何以横扫天下呢?
随着各区域电力系统的互联,电网的规模不断的扩大。电力系统的动态稳定性问题变得越来越重要。励磁控制是提高电力系统动态稳定性的重要手段,电力系统稳定器(PSS)结构简单、物
Hyperspectral images in remote sensing include hundreds of spectral bands that provide valuable information for accurately identify objects.In this paper,a new
电力企业分布广泛,人员流动性大,在日常工作中需要能够在固定或移动状态下便捷地获取办公信息和处理办公事务。短消息技术是移动通信领域的一项极具发展前景的数据通信应用技术,它可以短消息的形式在移动终端之间、移动终端与固定终端之间和固定终端与固定终端之间提供低成本的数据通信和交互。本文提出的基于UML的短信息开放式平台,能够解决现有短信息服务开发中的重复开发、成本高和开发周期长的问题,具有较强的应用价值和
本文提出基于潮流分布因子的元件脆弱性辨识方法,从结构上识别系统脆弱线路,其克服了假设母线间潮流只沿最短路径流动的不足,本文仅利用电抗矩阵得出有功介数指标,其仅与网络结构
近年来,带电检测的设备和技术越来越成熟,带电检测采用有效的检测手段和分析诊断技术,及时准确地掌握设备运行状态,在供电企业得到了广泛应用,其优越性与重要性日益彰显.