SCIENCE CHINA Information Sciences, Volume 61, Issue 6: 069101(2018) https://doi.org/10.1007/s11432-016-9220-5

Evaluation of redundancy-based system: a model checking approach

More info
  • ReceivedDec 14, 2016
  • AcceptedJul 24, 2017
  • PublishedMar 28, 2018


There is no abstract available for this article.


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


[1] Pham H. Handbook of Reliability Engineering. Berlin: Springer, 2003. Google Scholar

[2] Birolini A. Reliability Engineering: Theory and Practice. Berlin: Springer, 2010. Google Scholar

[3] Carzaniga A, Mattevelli A, Pezze M. Measuring software redundancy. In: Proceedings of International Conference on Software Engineering (ICSE15), Florence, 2015. 156--166. Google Scholar

[4] Baier C, Katoen J. Principles of Model Checking. Cambridge: MIT Press, 2008. Google Scholar

[5] PRISM website. www.prismmodelchecker.org. Google Scholar

[6] Wolter K, Avritzer A, Vieira M, et al. Resilience Assessment and Evaluation of Computing Systems. Berlin: Springer, 2012. Google Scholar

[7] Yiu J. The Definitive Guide to the ARM Cortex-M3. Amsterdam: Elsevier, 2009. Google Scholar

[8] FUJIMI website. www.letech.jp. Google Scholar

[9] Kanekawa N, Ibe H, Suga T, et al. Dependability in Electronic Systems: Mitigation of Hardware Failures, Soft Errors, and Electromagnetic Disturbances. Berlin: Springer, 2010. Google Scholar

  • Figure 1

    (Color online) Redundancy strategy and evaluation of a running example. (a) The typical process of recovery; (b) the copy process on $D_1$–$D_n$; (c) the values of formula (3) for RB, NVP, and PFMV

Copyright 2020 Science China Press Co., Ltd. 《中国科学》杂志社有限责任公司 版权所有

京ICP备18024590号-1       京公网安备11010102003388号