Evaluation of redundancy-based system: a model checking approach

  • Ling Fang
  • Chunyan Mu
  • Zhuo Cheng
  • Guoqiang Li



This work was supported by National Natural Science Foundation of China (Grant Nos. 61472240, 61672340, 61472238).


  1. 1.
    Pham H. Handbook of Reliability Engineering. Berlin: Springer, 2003CrossRefGoogle Scholar
  2. 2.
    Birolini A. Reliability Engineering: Theory and Practice. Berlin: Springer, 2010CrossRefzbMATHGoogle Scholar
  3. 3.
    Carzaniga A, Mattevelli A, Pezze M. Measuring software redundancy. In: Proceedings of International Conference on Software Engineering (ICSE15), Florence, 2015. 156–166Google Scholar
  4. 4.
    Baier C, Katoen J. Principles of Model Checking. Cambridge: MIT Press, 2008zbMATHGoogle Scholar
  5. 5.
    PRISM website. www.prismmodelchecker.orgGoogle Scholar
  6. 6.
    Wolter K, Avritzer A, Vieira M, et al. Resilience Assessment and Evaluation of Computing Systems. Berlin: Springer, 2012CrossRefGoogle Scholar
  7. 7.
    Yiu J. The Definitive Guide to the ARM Cortex-M3. Amsterdam: Elsevier, 2009Google Scholar
  8. 8.
    FUJIMI website. www.letech.jpGoogle Scholar
  9. 9.
    Kanekawa N, Ibe H, Suga T, et al. Dependability in Electronic Systems: Mitigation of Hardware Failures, Soft Errors, and Electromagnetic Disturbances. Berlin: Springer, 2010Google Scholar

Copyright information

© Science China Press and Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  • Ling Fang
    • 1
  • Chunyan Mu
    • 2
  • Zhuo Cheng
    • 3
  • Guoqiang Li
    • 4
  1. 1.Institute of Technology Innovation, Hefei Institutes of Physical ScienceChinese Academy of SciencesHefeiChina
  2. 2.School of ComputingTeesside UniversityMiddlesbroughUnited Kingdom
  3. 3.State International S&T Cooperation Base of Networked Supporting SoftwareJiangxi Normal UniversityNanchangChina
  4. 4.School of SoftwareShanghai Jiao Tong UniversityShanghaiChina

Personalised recommendations