Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Journal of Electronic Testing
Erschienen in: Journal of Electronic Testing 2/2013

01.04.2013

Detailed Analysis of Compilation Options for Robust Software-based Embedded Systems

verfasst von: S. Bergaoui, A. Wecxsteen, R. Leveugle

Erschienen in: Journal of Electronic Testing | Ausgabe 2/2013

Einloggen

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

search-config
loading …

Abstract

Several criteria can be used to evaluate the criticality of registers and memory locations at compile time. This evaluation is useful to guide optimizations with respect to robustness constraints and soft error mitigation. In this paper, we analyze in detail the impact of compilation optimizations on the system dependability, using four different criteria. We show that optimizations enabled by default lead to criticality increase. However, selectively picking optimizations may increase the robustness of a system even if the consequences of a given optimization option may vary from a program to another. We also identify some optimizations that induce a significant increase in criticality and must be used with care.
Vorheriger Artikel Secure JTAG Implementation Using Schnorr Protocol
Nächster Artikel Manipulation of Training Sets for Improving Data Mining Coverage-Driven Verification

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Weitere Produktempfehlungen anzeigen
Anhänge
Nur mit Berechtigung zugänglich
Literatur
1.
Benso A, Chiusano S, Prinetto P, Tagliaferri L (2000) A C/C++ source to source compiler for dependable applications, IEEE International Conference on Dependable Systems and Networks (DSN), June 25–28, pp. 71–78
2.
Benso A, Di Carlo S, Di Natale G, Prinetto P (2003) A watchdog processor to detect data and control flow errors, 9th IEEE International On-Line Testing symposium, Kos, Greece, July, pp. 144–148
3.
Bergaoui S, Leveugle R (2010) Impact of compilation options on the criticality of registers in a microprocessor-based system, 1st IEEE Latin American Symposium on Circuits and Systems (LASCAS), Iguaçu Falls, Brazil, February 24–26, pp. 216–219
4.
Bergaoui S, Leveugle R (2011) Impact of software optimization on variable lifetimes in a microprocessor-based system, IEEE International Symposium on Electronic Design, Test and Applications (DELTA), Queenstown, New Zealand, January 17–19, pp. 56–61
5.
Bergaoui S, Vanhauwaert P, Leveugle R (2010) A new critical variable analysis in processor-based systems. IEEE Trans Nucl Sci 57(no. 4, part 1):1992–1999CrossRef
6.
7.
Guthaus M et al (2001) Mibench: a free, commercially representative embedded benchmark suite, IWWC
8.
Jones TM, O’Boyle MFP, Ergin O (2008) Evaluating the effects of compiler optimisations on AVF, Workshop on interaction between compilers and computer architecture (INTERACT-12)
9.
Lee J, Shrivastava A (2009) Static analysis to mitigate soft errors in register files, Design, Automation and Test in Europe Conference (DATE), pp. 1367–1372
10.
Lee J, Shrivastava A (2010) A compiler-microarchitecture hybrid approach to soft error reduction for register files. IEEE Trans Comput-Aided Des Integr Circ Syst 29(7):1018–1027CrossRef
11.
Mukherjee SS, Weaver C, Emer J, Reinhardt SK, Austin T (2003) A systematic methodology to compute the architectural vulnerability factors for a high-performance microprocessor, 36th Annual IEEE/ACM International Symposium on Microarchitecture, pp. 29–40
12.
Pattabiraman K, Kalbarczyk Z, Iyer RK (2005) Application-based metrics for strategic placement of detectors, Pacific Rim Dependable Computing (PRDC)
13.
Peronnard P, Velazco R, Foucard G (2008) Impact of the software optimization on the soft error rate: a case study, 23rd International Conference on Design of Circuits and Integrated Systems (DCIS’08)
Metadaten
Titel
Detailed Analysis of Compilation Options for Robust Software-based Embedded Systems
verfasst von
S. Bergaoui
A. Wecxsteen
R. Leveugle
Publikationsdatum
01.04.2013
Verlag
Springer US
Erschienen in
Journal of Electronic Testing / Ausgabe 2/2013
Print ISSN: 0923-8174
Elektronische ISSN: 1573-0727
DOI
https://doi.org/10.1007/s10836-013-5371-2

Weitere Artikel der Ausgabe 2/2013

Journal of Electronic Testing 2/2013 Zur Ausgabe

OriginalPaper

A Bulk Built-In Voltage Sensor to Detect Physical Location of Single-Event Transients

OriginalPaper

Novel Self-Timed, Pipelined Clock Scan Architecture

OriginalPaper

Self-Adaptive Fault Tolerance in Multi-/Many-Core Systems

EditorialNotes

Guest Editorial

OriginalPaper

Soft Fault Classification of Analog Circuits Using Network Parameters and Neural Networks

OriginalPaper

Circuit Level Concurrent Error Detection in FSMs

Neuer Inhalt

    Bildnachweise