期刊文献+

某信号指示嵌入式软件的安全性分析

Safety Analysis of a Kind of Embedded Software Working in a Signal Indicating System
下载PDF
导出
摘要 讨论了某信号指示预处理嵌入式软件的安全性问题。以有限状态机和马尔可夫链为理论基础,建立了该类软件的安全性模型。以灰熵定义为基础,定义了系统安全度的概念,量化系统安全性,给出了一种量化分析方法。预测了软件的安全性。最后借助数值仿真工具,讨论了估计参数对系统安全性的影响,得到了量化指标,根据仿真曲线给出了提高安全性的方法。 The safety problem of a kind of embedded software is discussed in this paper.The safety model of this kind of software is established based on the FSM and Markov chain theories.The safety degree of the system is defined according to gray entropy.It offers a way to quantify the safety of the system.It also gives a way to get the values of the equations.Finally,numerical simulation is applied to study the influence of the parameter of the equations on system safety,and shows the way to enhance the safety of the system.
出处 《计算机工程与科学》 CSCD 北大核心 2012年第4期102-107,共6页 Computer Engineering & Science
关键词 有限状态机 马尔可夫链 嵌入式软件 安全性 FSM Markov chain embedded software safety
  • 相关文献

参考文献9

  • 1Hachtel G D, Macii E, Pardo A, et al. Markovian Analysis of Large Finite State Machines [J].IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1996, 15(12):1479- 1493.
  • 2Yang Shaohua, Kavcic A, Tatikonda S. Feedback Capacity of Finite-State Machine Channels[J]. IEEE Transactions on Information Theory, 2005, 51(3) :799-810.
  • 3Athanasopoulou E, I.i Lingxi, Hadjicostis C N. Maximum Likelihood Failure Diagnosis in Finite State Machines Under Unreliable Observations[J]. IEEE Transactions on Automatic Control, 2010,55(3) :579-593.
  • 4Wagner F, Schmuki R, Wagner T, et al. Modeling Software with Finite State Machines A Praetieal Approach[M]. Taylor & Francis Group, LLC ,2006.
  • 5Haehtel G D, Macii E, Pardo A, et al. Markovian Analysis of Large Finite State Machines[J]. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1996,15 (12) : 1479-1493.
  • 6Arapostathis A, Kumar R, Tangirala S. Controlled Markov Chains and Safety Criteria[C]//Proc of the 40th IEEE Conference on Decision and Control Orlando, 2001..1675-1680.
  • 7Vidal E, Thollard F, de la Higuera C, et al. Probabilistic Finite-State Machines--Part I[J]. IEEE Transactions on Pat tern Analysis and Machine Intellignece, 2005, 27 (7) : 1013 1025.
  • 8Vidal E, Thollard F, de la Higuera C, et al. Probabilistic Finite-State Machines--Part II[J]. IEEE Transactions on Pattern Analysis and Machine Intelligence, 2005,27 (7): 1026-1039.
  • 9郭跃华.概率与数理统计[M].北京:科学出版社,2009.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部