Advertisement

Evaluation of redundancy-based system: a model checking approach

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

Notes

Acknowledgements

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

References

  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