Skip to main content
Top
Published in: Journal of Electronic Testing 1/2017

09-01-2017

On the Consolidation of Mixed Criticalities Applications on Multicore Architectures

Authors: Stefano Esposito, Massimo Violante

Published in: Journal of Electronic Testing | Issue 1/2017

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

In this paper we propose a hybrid solution to ensure results correctness when deploying several applications with different safety requirements on a single multi-core-based system. The proposed solution is based on lightweight hardware redundancy, implemented using smart watchdogs and voter logic, combined with software redundancy. Two techniques of software redundancy are used: the first one is software temporal triple modular redundancy, used for those tasks with low criticality and no real-time requirement. The second software redundancy technique is triple module redundancy for tasks with high criticality and real-time requirements, assisted by a hardware voter. A hypervisor is used to separate each task in the system in an independent resource partition, thus ensuring that no functional interference is occurring. The proposed solution has been evaluated through hardware and software fault injection on two hardware platforms, featuring a dual-core processor and a quad-core processor respectively. Results show a high fault tolerance achieved using the proposed architecture.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

Show more products
Literature
1.
go back to reference Avramenko S, Esposito S, Violante M, Sozzi M, Traversone M, Binello M, Terrone M (2015) An hybrid architecture for consolidating mixed criticality applications on multicore systems. 2015 I.E. 21st Int On-Line Test Symp: 26–29 Avramenko S, Esposito S, Violante M, Sozzi M, Traversone M, Binello M, Terrone M (2015) An hybrid architecture for consolidating mixed criticality applications on multicore systems. 2015 I.E. 21st Int On-Line Test Symp: 26–29
2.
go back to reference Czajkowski DR, Pagey MP, Samudrala PK, Goksel M, Viehman MJ (2005) Low power, high-speed radiation hardened computer & flight experiment. IEEE Aerosp Conf Proc 2005, no. October 2004 Czajkowski DR, Pagey MP, Samudrala PK, Goksel M, Viehman MJ (2005) Low power, high-speed radiation hardened computer & flight experiment. IEEE Aerosp Conf Proc 2005, no. October 2004
3.
go back to reference Echtle K, Hinz B, Nikolov T On hardware fault detection by diverse software. Proc 13th Int Conf Fault-Tolerant Syst Diagnos Echtle K, Hinz B, Nikolov T On hardware fault detection by diverse software. Proc 13th Int Conf Fault-Tolerant Syst Diagnos
4.
go back to reference Engel H (1996) Data flow transformations to detect results which are corrupted by hardware faults. Proc High-Assurance Syst Eng Workshop, 1996, IEEE: 279-285, IEEE Engel H (1996) Data flow transformations to detect results which are corrupted by hardware faults. Proc High-Assurance Syst Eng Workshop, 1996, IEEE: 279-285, IEEE
5.
go back to reference Esposito S, Avramenko S, Violante M (2016) On the consolidation of mixed criticalities applications on multicore architectures. 2016 17th IEEE Latin Am Test Symp: 57–62 Esposito S, Avramenko S, Violante M (2016) On the consolidation of mixed criticalities applications on multicore architectures. 2016 17th IEEE Latin Am Test Symp: 57–62
6.
go back to reference Esposito S, Violante M (2015) Mitigating soft errors in processors cores embedded in system-on programmable-chips. In: Kastensmidt FL, Rech P (eds) FPGA and parallel architectures for aerospace architecture. Springer, Zug Esposito S, Violante M (2015) Mitigating soft errors in processors cores embedded in system-on programmable-chips. In: Kastensmidt FL, Rech P (eds) FPGA and parallel architectures for aerospace architecture. Springer, Zug
7.
go back to reference Goloubeva O, Rebaudengo M, Sonza Reorda M, Violante M (2006) Software-Implemented Hardware Fault Tolerance. Springer Science and Business Media Goloubeva O, Rebaudengo M, Sonza Reorda M, Violante M (2006) Software-Implemented Hardware Fault Tolerance. Springer Science and Business Media
8.
go back to reference Hillman R, Swift G, Layton P, Conrad M, Thibodeau C, Irom F (2004) Space processor radiation mitigation and validation techniques for an 1, 800 MIPS processor board. Eur Sp Agency, (Special Publ ESA SP 2003(536):347–352 Hillman R, Swift G, Layton P, Conrad M, Thibodeau C, Irom F (2004) Space processor radiation mitigation and validation techniques for an 1, 800 MIPS processor board. Eur Sp Agency, (Special Publ ESA SP 2003(536):347–352
9.
10.
go back to reference Mahmood A, McCluskey EJ (1988) Concurrent error detection using watchdog processors-a survey. IEEE Trans Comput 37(2):160–174CrossRef Mahmood A, McCluskey EJ (1988) Concurrent error detection using watchdog processors-a survey. IEEE Trans Comput 37(2):160–174CrossRef
11.
go back to reference Namjoo M, McCluskey EJ (1995) Watchdog processors and capability checking. Twenty-Fifth Int. Symp. Fault-Tolerant Comput 1995. Highlights Twenty-Five Years III:245–248 Namjoo M, McCluskey EJ (1995) Watchdog processors and capability checking. Twenty-Fifth Int. Symp. Fault-Tolerant Comput 1995. Highlights Twenty-Five Years III:245–248
12.
go back to reference Pignol M (2006) DMT and DT2: two fault-tolerant architectures developerd by CNES for COTS-based spacecraft supercomputers. Symp A Q J Mod Foreign Lit Pignol M (2006) DMT and DT2: two fault-tolerant architectures developerd by CNES for COTS-based spacecraft supercomputers. Symp A Q J Mod Foreign Lit
13.
go back to reference Reinhardt SK, Mukherjee SS (2000) Transient fault detection via simultaneous multithreading. Proc 27th Int Symp Comput Architect: 25–36 Reinhardt SK, Mukherjee SS (2000) Transient fault detection via simultaneous multithreading. Proc 27th Int Symp Comput Architect: 25–36
14.
go back to reference Shin KG, Ramanathan P (1994) Real-time computing: a new discipline of computer science and engineering. Proc IEEE 82(1):6–24CrossRef Shin KG, Ramanathan P (1994) Real-time computing: a new discipline of computer science and engineering. Proc IEEE 82(1):6–24CrossRef
Metadata
Title
On the Consolidation of Mixed Criticalities Applications on Multicore Architectures
Authors
Stefano Esposito
Massimo Violante
Publication date
09-01-2017
Publisher
Springer US
Published in
Journal of Electronic Testing / Issue 1/2017
Print ISSN: 0923-8174
Electronic ISSN: 1573-0727
DOI
https://doi.org/10.1007/s10836-016-5636-7

Other articles of this Issue 1/2017

Journal of Electronic Testing 1/2017 Go to the issue

EditorialNotes

Editorial