微信服务号

微信订阅号

2025年3月24日 10:44 星期一
首页 > 过刊浏览>2011年第22卷第6期 >1123-1139. DOI:10.3724/SP.J.1001.2011.04026
PDF HTML阅读 XML下载 导出引用 引用提醒
策略驱动的可靠嵌入式系统建模及分析方法
作者:
基金项目:

国家自然科学基金(60903020, 60773094); 国家科技支撑计划(2009BAH46B01); 上海市曙光计划(07SG32); 上海市科委重点实验室基金(09DZ2272600); 中央高校基本科研业务费专项基金(WH0913009)


Strategy Driven Modeling and Analysis of Reliable Embedded Systems
Author:
  • 摘要
    • | |
  • 访问统计
    • |
  • 参考文献 [19]
    • |
  • 相似文献
    • |
  • 引证文献
    • | |
  • 文章评论
    摘要:

    针对嵌入式系统的特点,提出一种策略驱动的可靠嵌入式系统建模与分析方法.基于Petri 网建立嵌入式系统的形式化描述语言,并对设备、计算与物理交互、组件及通信过程等要素进行建模.分析嵌入式系统的主要故障类型和特征,探索嵌入式系统的可靠性保障策略.采用面向方面思想提取可靠性保障策略相关关注点.通过构造关注点模型,并利用编织机制,将关注点模型动态地集成为一个完整的嵌入式系统可靠模型.利用Petri 网相关理论分析嵌入式系统可靠性保障策略的有效性.具体实例表明,该方法能够简化嵌入式系统的设计与分析过程,有效地提高嵌入式系统的设计质量.

    Abstract:

    This paper proposes a strategy driven approach to modeling and analyzing reliable embedded systems according to their characteristics. Petri nets are used as the formal description language for embedded systems, which formally specify embedded system’s elements such as equipment, computing, physical interaction, components, and communication processes. This research studies reliability assurance strategies for embedded systems by analyzing various fault types and their characteristics. An aspect-oriented method is used to extract reliability related concerns. A complete embedded system model is obtained by constructing reliability aspect models and then applying the weaving mechanism to dynamically combining components and aspects. The effectiveness of reliability assurance strategies is analyzed based on the theories of Petri nets. A case study demonstrates that the approach can simplify design and modeling processes of embedded systems and contribute to improving its quality.

    参考文献
    [1] Lee EA. Cyber physical systems: Design challenges. Technical Report, UCB/EECS-2008-8, Berkeley: EECS Department, University of California, 2008.
    [2] Adler R, Schaefer I, Trapp M, Poetzsch-Heffter A. Component-Based modeling and verification of dynamic adaptation in safetycritical embedded systems. ACM Trans. on Embedded Computing Systems, 2010,10(2):20.1?20.39. [doi: 10.1145/1880050.1880056]
    [3] Zhao F, Bailey-Kellogg C, Fromherz MPJ. Physics-Based encapsulation in embedded software for distributed sensing and control applications. Proc. of the IEEE, 2003,91(1):40?63. [doi: 10.1109/JPROC.2002.805819]
    [4] Kiczales G, Lamping J, Mendhekar A, Maeda C, Lopes C, Loingtier JM, Irwin J. Aspect-Oriented programming. In: Aksit M, Matsuoka S, eds. Proc. of the European Conf. on Object-Oriented Programming. LNCS 12412, Heidelberg: Springer-Verlag, 1997. 220?242. [doi: 10.1007/BFb0053381]
    [5] Girault C, Valk R. Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Berlin: Springer-Verlag, 2003.
    [6] Ma JG, Huang T, Wang JL, Xu G, Ye D. Underlying techniques for large-scale distributed computing oriented publish/subscribe system. Journal of Software, 2006,17(1):134?147 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/17/134.htm [doi: 10.1360/jos170134]
    [7] Shooman ML. Reliability of Computer Systems and Networks: Fault Tolerance, Analysis, and Design. New York: John Wiley & Sons, Inc., 2002.
    [8] Musa JD. Software Reliability Engineering. New York: Osborne/McGraw-Hill, 1998.
    [9] Cortés LA, Eles P, Peng ZB. Modeling and formal verification of embedded systems based on a Petri net representation. Journal of Systems Architecture, 2003,49(12-15):571?598. [doi: 10.1016/S1383-7621(03)00096-1]
    [10] Verhoef M, Larsen PG, Hooman J. Modeling and validating distributed embedded real-time systems with VDM++. In: Misra J, Nipkow T, Sekerinski E, eds. Proc. of the Formal Methods. LNCS 4085, Heidelberg: Springer-Verlag, 2006. 147?162. [doi: 10.1007/11813040_11]
    [11] Zhang LL, Ying S, Ni YC, Zhao K, Wen J. An analysis approach for software architectural concerns. Chinese Journal of Computers, 2009,32(9):1782?1791 (in Chinese with English abstract).
    [12] Trung PT, Thang HQ. Building the reliability prediction model of component-based software architectures. Int’l Journal of Information Technology, 2009,5(1):18?25.
    [13] Wang WL, Pan D, Chen MH. Architecture based software reliability modeling. Journal of Systems and Software, 2006,79(1): 132?146. [doi: 10.1016/j.jss.2005.09.004]
    [14] Li YM, Ye LN, Dague P, Melliti T. A decentralized model-based diagnosis for BPEL services. In: Proc. of the 21st IEEE Int’l Conf. on Tools with Artificial Intelligence. Arras: IEEE Computer Society, 2009. 609?616. [doi: 10.1109/ICTAI.2009.77]
    [15] Ardissono L, Furnari R, Goy A, Petrone G, Segnan M. Fault tolerant Web service orchestration by means of diagnosis. In: Proc. of the 3rd European Workshop on Software Architecture. LNCS 4344, Nantes: Springer-Verlag, 2006. 2?16. [doi: 10.1007/11966104_2]
    [16] Yu HQ, Liu DM, He XD, Yang L, Gao S. Secure software architectures design by aspect orientation. In: Proc. of the 10th IEEE Int’l Conf. on Engineering of Complex Computer Systems. Washington: IEEE Computer Society, 2005. 47?55. [doi: 10.1109/ICECCS.2005.75]
    [17] Zhang J, Goldsby HJ, Cheng BHC. Modular verification of dynamically adaptive systems. In: Proc. of the 8th ACM Int’l Conf. on Aspect-Oriented Software Development. New York: ACM Press, 2009. 161?172. [doi: 10.1145/1509239.1509262]
    [18] Thacker RA, Jones KR, Myers CJ, Zheng H. Automatic abstraction for verification of cyber-physical systems. In: Proc. of the Int’l Conf. on Cyber-Physical Systems. New York: ACM Press, 2010. 12?21. [doi: 10.1145/1795194.1795197]
    [19] Bujorianu MC, Barringer H. An integrated specification logic for cyber-physical systems. In: Proc. of the 14th IEEE Int’l Conf. on Engineering of Complex Computer Systems. Washington: IEEE Computer Society, 2009. 291?300. [doi: 10.1109/ICECCS.2009.36]
    相似文献
    引证文献
引用本文

范贵生,虞慧群,陈丽琼,刘冬梅.策略驱动的可靠嵌入式系统建模及分析方法.软件学报,2011,22(6):1123-1139

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2010-07-10
  • 最后修改日期:2011-03-29
文章二维码
友情链接:中国科学院软件研究所中国计算机学会中国科学院国家自然科学基金委员会CCF数字图书馆Int'l J of Softw Info计算机系统应用
您是第位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司

京公网安备 11040202500063号