微信服务号

微信订阅号

2025-5-15- 14
Home > Archive>Volume 22, Issue 6, 2011 >1123-1139. DOI:10.3724/SP.J.1001.2011.04026
PDF HTML XML Export Cite reminder
Strategy Driven Modeling and Analysis of Reliable Embedded Systems
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference [19]
    • |
  • Related [20]
    • | | |
  • Comments
    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.

    Reference
    [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]
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

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

Copy
Share
Article Metrics
  • Abstract:8008
  • PDF: 9470
  • HTML: 0
  • Cited by: 0
History
  • Received:July 10,2010
  • Revised:March 29,2011
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2044656Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063