http://iet.metastore.ingenta.com
1887

Dependability analysis of cyber physical systems

Dependability analysis of cyber physical systems

For access to this article, please select a purchase option:

Buy article PDF
£12.50
(plus tax if applicable)
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
IET Computers & Digital Techniques — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

As cyber physical system (CPS) is often used in safety critical areas, dependability of the system is an important issue that needs to be analysed. Any failure on the components of the CPS could result in a degradation of the physical state, which then causes major harm to life and/or property. Since the concept of dependence leads to that of trust, the subsystems of the CPS should be dependable to each other to deliver the requested services as specified without failing during its operation. In this study, the authors apply Markov chain to model and analyse the component dependability of CPSs and propose the recovery techniques to guarantee a high level of dependability so as to take care of assuring the continuity of system operation.

References

    1. 1)
      • G. Denker , N. Dutt , S. Mehrotra .
        1. Denker, G., Dutt, N., Mehrotra, S., et al: ‘Resilient dependable cyber-physical systems: a middleware perspective’, J. Internet Serv. Appl,, 2012, 3, (1), pp. 4149.
        . J. Internet Serv. Appl , 1 , 41 - 49
    2. 2)
      • R. Poovendran .
        2. Poovendran, R.: ‘Cyber-physical systems: close encounters between two parallel worlds’, Proc. IEEE, 2010, 98, (8), pp. 13631366.
        . Proc. IEEE , 8 , 1363 - 1366
    3. 3)
      • E.A. Lee .
        3. Lee, E.A.: ‘Cyber physical systems, design challenges’. 11th IEEE Int. Symp. Object Oriented Real-Time Distributed Computing (ISORC), 2008, pp. 363369.
        . 11th IEEE Int. Symp. Object Oriented Real-Time Distributed Computing (ISORC) , 363 - 369
    4. 4)
      • L. Miclea , T. Sanislav .
        4. Miclea, L., Sanislav, T.: ‘About dependability in cyber-physical systems’. IEEE Design & Test Symp. (EWDTS), 2011, pp. 1721.
        . IEEE Design & Test Symp. (EWDTS) , 17 - 21
    5. 5)
      • R. Zeng , Y. Jiang , C. Lin .
        5. Zeng, R., Jiang, Y., Lin, C., et al: ‘Dependability analysis of control center networks in smart grid using stochastic petri nets’, IEEE Trans. Parallel Distrib. Syst., 2012, 23, pp. 17211730.
        . IEEE Trans. Parallel Distrib. Syst. , 1721 - 1730
    6. 6)
      • J. Henkel , L. Bauer , N. Dutt .
        6. Henkel, J., Bauer, L., Dutt, N., et al: ‘Reliable on-chip systems in the nano-era: lessons learnt and future trends’. IEEE DAC, 2013, pp. 110.
        . IEEE DAC , 1 - 10
    7. 7)
      • J. Henkel , L. Bauer , H. Zhang .
        7. Henkel, J., Bauer, L., Zhang, H., et al: ‘Multi-layer dependability: from microarchitecture to application level’. Proc. Design Automation Conf., 2014, pp. 16.
        . Proc. Design Automation Conf. , 1 - 6
    8. 8)
      • S. Rehman , F. Kriebel , D. Sun .
        8. Rehman, S., Kriebel, F., Sun, D., et al: ‘Dtune: leveraging reliable code generation for adaptive dependability tuning under process variation and aging-induced effects’. DAC, 2014, pp. 16.
        . DAC , 1 - 6
    9. 9)
      • M. Shafique , S. Rehman , P.V. Aceituno .
        9. Shafique, M., Rehman, S., Aceituno, P.V., et al: ‘Exploiting program-level masking and error propagation for constrained reliability optimization’. Proc. of the 50th Annual Design Automation Conf., 2013, pp. 19.
        . Proc. of the 50th Annual Design Automation Conf. , 1 - 9
    10. 10)
      • S. Rehman , K.-H. Chen , F. Kriebel .
        10. Rehman, S., Chen, K.-H., Kriebel, F., et al: ‘Cross-layer software dependability on unreliable hardware’, IEEE Trans. Comput., 2016, 65, (1), pp. 8094.
        . IEEE Trans. Comput. , 1 , 80 - 94
    11. 11)
      • S. Rehman , M. Shafique , F. Kriebel . (2011)
        11. Rehman, S., Shafique, M., Kriebel, F., et al: ‘Reliable software for unreliable hardware: embedded code generation aiming at reliability’. NY, USA, 2011, pp. 237246.
        .
    12. 12)
      • S. Rehman , F. Kriebel , M. Shafique .
        12. Rehman, S., Kriebel, F., Shafique, M., et al: ‘Reliability-driven software transformations for unreliable hardware’, IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst., 2014, 33, (11), pp. 15971610.
        . IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. , 11 , 1597 - 1610
    13. 13)
      • S. Rehman , A. Toma , F. Kriebel .
        13. Rehman, S., Toma, A., Kriebel, F., et al: ‘Reliable code generation and execution on unreliable hardware under joint functional and timing reliability considerations’, IEEE RTAS, 2013, pp. 273282.
        . IEEE RTAS , 273 - 282
    14. 14)
      • M. Shafique , P. Axer , C. Borchert .
        14. Shafique, M., Axer, P., Borchert, C., et al: ‘Multi-layer software reliability on unreliable hardware’, Inf. Technol., 2015, 2, p. 57.
        . Inf. Technol. , 57
    15. 15)
      • S. Rehman , M. Shafique , P.V. Aceituno .
        15. Rehman, S., Shafique, M., Aceituno, P.V., et al: ‘Leveraging variable function resilience for selective software reliability on unreliable hardware’. IEEE DATE, 2013, pp. 17591764.
        . IEEE DATE , 1759 - 1764
    16. 16)
      • K. Wan , V. Alagar .
        16. Wan, K., Alagar, V.: ‘Dependable context-sensitive services in cyber physical systems’. Int. Joint Conf. of IEEE TrustCom-11, ICESS-11/FCST-11, 2011, pp. 687694.
        . Int. Joint Conf. of IEEE TrustCom-11, ICESS-11/FCST-11 , 687 - 694
    17. 17)
      • J. Wäfler , P.E. Heegaard .
        17. Wäfler, J., Heegaard, P.E.: ‘A combined structural and dynamic modelling approach for dependability analysis in smart grid’. Proc. 28th ACM Symp. on Applied Computing (SAC), Coimbra, Portugal, 2013, pp. 660665.
        . Proc. 28th ACM Symp. on Applied Computing (SAC) , 660 - 665
    18. 18)
      • A. Kadav , M.J. Renzelmann , M.M. Swift . (2009)
        18. Kadav, A., Renzelmann, M.J., Swift, M.M.: ‘Tolerating hardware device failures in software’ (ACM, USA, 2009).
        .
    19. 19)
      • M. Clark , X. Koutsoukos , R. Kumar .
        19. Clark, M., Koutsoukos, X., Kumar, R., et al: ‘A study on run time assurance for complex cyber physical systems’. Technical Report 88ABW-2013-1876, U.S. Air Force Research Laboratory, 2013.
        .
    20. 20)
      • D. Pradhan . (1996)
        20. Pradhan, D.: ‘Fault-tolerant computer system design’ (Prentice Hall, Inc., Upper Saddle River, NJ, 1996, 1st edn.), pp. 514.
        .
    21. 21)
      • G. Matos , E. White .
        21. Matos, G., White, E.: ‘Application of dynamic reconfiguration in the design of fault-tolerant production cell’. 4th Int. Conf. Configurable Distribution Systems, Maryland, USA, 1998, pp. 29.
        . 4th Int. Conf. Configurable Distribution Systems , 2 - 9
http://iet.metastore.ingenta.com/content/journals/10.1049/iet-cdt.2016.0164
Loading

Related content

content/journals/10.1049/iet-cdt.2016.0164
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address