Evaluation of redundancy-based system: a model checking approach
Letter
First Online:
Received:
Revised:
Accepted:
- 22 Downloads
Notes
Acknowledgements
This work was supported by National Natural Science Foundation of China (Grant Nos. 61472240, 61672340, 61472238).
References
- 1.Pham H. Handbook of Reliability Engineering. Berlin: Springer, 2003CrossRefGoogle Scholar
- 2.Birolini A. Reliability Engineering: Theory and Practice. Berlin: Springer, 2010CrossRefMATHGoogle Scholar
- 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.Baier C, Katoen J. Principles of Model Checking. Cambridge: MIT Press, 2008MATHGoogle Scholar
- 5.PRISM website. www.prismmodelchecker.orgGoogle Scholar
- 6.Wolter K, Avritzer A, Vieira M, et al. Resilience Assessment and Evaluation of Computing Systems. Berlin: Springer, 2012CrossRefGoogle Scholar
- 7.Yiu J. The Definitive Guide to the ARM Cortex-M3. Amsterdam: Elsevier, 2009Google Scholar
- 8.FUJIMI website. www.letech.jpGoogle 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, 2010Google Scholar
Copyright information
© Science China Press and Springer-Verlag GmbH Germany, part of Springer Nature 2018