Skip to main content

2017 | OriginalPaper | Buchkapitel

Masking Signature Data Errors of Software-Based Control Flow Checking Techniques Employing Redundancy Signature

verfasst von : Liping Liu, Linlin Ci, Wei Liu

Erschienen in: Cloud Computing and Security

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

With technology scaling, transient faults are becoming an increasing threat to hardware reliability. Commodity systems must be made resilient to these in-field faults through very low-cost resiliency solutions. Up to 77% of the transient faults cause Control Flow Errors (CFEs). Software-based control-flow checking techniques have emerged as promising low-cost and effective solutions. The signature monitoring method is the foundation of most of these control flow checking techniques. Some CFEs cannot be detected by previous control flow checking techniques when transient fault hit the software signature. A technique, masking signature data errors of software-based control flow checking techniques employing redundancy signature (CFCRS), with the ability to mask these CFEs is proposed in this paper. In CFCRS, these errors can be detected and corrected by triple redundancy signature. The experimental results demonstrated that CFCRS is able to mask all 2,000 injected faults in software signatures; It is reasonable and feasible to apply this technique on the former software-based control flow checking techniques due to its perfect correction coverage of CFEs caused by incorrect-signature and low overheads.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Bhattacharya, K., Ranganathan, N.: RADJAM: a novel approach for reduction of soft errors in logic circuits. In: International Conference on VLSI Design, pp. 453–458 (2009) Bhattacharya, K., Ranganathan, N.: RADJAM: a novel approach for reduction of soft errors in logic circuits. In: International Conference on VLSI Design, pp. 453–458 (2009)
2.
Zurück zum Zitat Zhu, D., Aydin, H.: Reliability effects of process and thread redundancy on chip multiprocessors. In: Dependable Systems and Networks (2006) Zhu, D., Aydin, H.: Reliability effects of process and thread redundancy on chip multiprocessors. In: Dependable Systems and Networks (2006)
3.
Zurück zum Zitat Jafari-Nodoushan, M., Miremadi, S.G., Ejlali, A.: Control-flow checking using branch instructions. In: International Conference on Embedded and Ubiquitous Computing, pp. 66–72. IEEE Press, Shanghai (2008) Jafari-Nodoushan, M., Miremadi, S.G., Ejlali, A.: Control-flow checking using branch instructions. In: International Conference on Embedded and Ubiquitous Computing, pp. 66–72. IEEE Press, Shanghai (2008)
4.
Zurück zum Zitat Asghari, S.A., Abdi, A., Taheri, H., et al.: SEDSR: soft error detection using software redundancy. J. IJSEA 5, 664–670 (2012) Asghari, S.A., Abdi, A., Taheri, H., et al.: SEDSR: soft error detection using software redundancy. J. IJSEA 5, 664–670 (2012)
5.
Zurück zum Zitat Asghari, S.A., Abdi, A., Taheri, H., et al.: I2BCFC: an effective intra-inter block control flow checking method against single event upsets. J. Res. J. Appl. Sci. Eng. Tech. 4, 4367–4379 (2012) Asghari, S.A., Abdi, A., Taheri, H., et al.: I2BCFC: an effective intra-inter block control flow checking method against single event upsets. J. Res. J. Appl. Sci. Eng. Tech. 4, 4367–4379 (2012)
6.
Zurück zum Zitat Oh, N., Shirvani, P.P., Mccluskey, E.J.: Control-flow checking by software signatures. J. IEEE T Reliab. 51, 111–122 (2002)CrossRef Oh, N., Shirvani, P.P., Mccluskey, E.J.: Control-flow checking by software signatures. J. IEEE T Reliab. 51, 111–122 (2002)CrossRef
7.
Zurück zum Zitat Li, A., Hong, B.: On-line control flow error detection using relationship signatures among basic blocks. J. Comput. Electr. Eng. 36, 132–141 (2010)CrossRefMATH Li, A., Hong, B.: On-line control flow error detection using relationship signatures among basic blocks. J. Comput. Electr. Eng. 36, 132–141 (2010)CrossRefMATH
8.
Zurück zum Zitat Mu, Y., Hao, W., Zheng, Y., et al.: Graph-tree-based software control flow checking for COTS processors on pico-satellites. J. CJA 26, 413–422 (2013) Mu, Y., Hao, W., Zheng, Y., et al.: Graph-tree-based software control flow checking for COTS processors on pico-satellites. J. CJA 26, 413–422 (2013)
9.
Zurück zum Zitat Rajabzadeh, A., Miremadi, S.G.: CFCET: a hardware-based control flow checking technique in COTS processors using execution tracing. J. Microelectron. Reliab. 46, 959–972 (2006)CrossRef Rajabzadeh, A., Miremadi, S.G.: CFCET: a hardware-based control flow checking technique in COTS processors using execution tracing. J. Microelectron. Reliab. 46, 959–972 (2006)CrossRef
10.
Zurück zum Zitat Wang, N.J., Patel, S.J.: ReStore: symptom-based soft error detection in microprocessors. In: 35th Dependable Systems and Networks, pp. 188–201. IEEE Press, Yokohama (2005) Wang, N.J., Patel, S.J.: ReStore: symptom-based soft error detection in microprocessors. In: 35th Dependable Systems and Networks, pp. 188–201. IEEE Press, Yokohama (2005)
11.
Zurück zum Zitat Qureshi, M.K., Mutlu, O., Patt, Y.N.: Microarchitecture-based introspection: a technique for transient-fault tolerance in microprocessors. In: 35th Dependable Systems and Networks, pp. 434–443. IEEE Press, Yokohama (2005) Qureshi, M.K., Mutlu, O., Patt, Y.N.: Microarchitecture-based introspection: a technique for transient-fault tolerance in microprocessors. In: 35th Dependable Systems and Networks, pp. 434–443. IEEE Press, Yokohama (2005)
12.
Zurück zum Zitat Yu, J., Garzaran, M.J., Snir, M.: ESoftCheck: removal of non-vital checks for fault tolerance. In 2009 International Symposium on Code Generation and Optimization, pp. 35–46. IEEE, Seattle (2009) Yu, J., Garzaran, M.J., Snir, M.: ESoftCheck: removal of non-vital checks for fault tolerance. In 2009 International Symposium on Code Generation and Optimization, pp. 35–46. IEEE, Seattle (2009)
Metadaten
Titel
Masking Signature Data Errors of Software-Based Control Flow Checking Techniques Employing Redundancy Signature
verfasst von
Liping Liu
Linlin Ci
Wei Liu
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-68542-7_73