nach oben
Meine Merkliste
Ihre Merklisteneinträge speichern
Wenn Sie weitere Inhalte zu Ihrer Merkliste hinzufügen möchten, melden Sie sich bitte an. Wenn Sie noch kein Benutzerkonto haben, registrieren Sie sich bitte im Hanser Kundencenter.

» Sie haben schon ein Benutzerkonto? Melden Sie sich bitte hier an.
» Noch kein Benutzerkonto? Registrieren Sie sich bitte hier.
Ihre Merklisten
Wenn Sie Ihre Merklisten bei Ihrem nächsten Besuch wieder verwenden möchten, melden Sie sich bitte an oder registrieren Sie sich im Hanser Kundencenter.
» Sie haben schon ein Benutzerkonto? Melden Sie sich bitte hier an.
» Noch kein Benutzerkonto? Registrieren Sie sich bitte hier.

« Zurück

Ihre Vorteile im Überblick

  • Ein Login für alle Hanser Fachportale
  • Individuelle Startseite und damit schneller Zugriff auf bevorzugte Inhalte
  • Exklusiver Zugriff auf ausgewählte Inhalte
  • Persönliche Merklisten über alle Hanser Fachportale
  • Zentrale Verwaltung Ihrer persönlichen Daten und Newsletter-Abonnements

Jetzt registrieren
Merken Gemerkt
HANSER automotive 03-04/2013

ISO 26262 Korrektes Timing, keine Stacküberläufe, keine Laufzeitfehler!

Statische Analysen im Sicherheitsnachweis

ISO 26262 Korrektes Timing, keine Stacküberläufe, keine Laufzeitfehler!

Die Norm ISO-26262 fordert den Nachweis, dass die funktionalen Software-Anforderungen erfüllt werden und dass bestimmte schwerwiegende Softwarefehler niemals auftreten können. Hierzu zählen Timing-Fehler, Stacküberläufe und Laufzeitfehler. Dies kann durch statische Analysen auf Basis der Abstrakten Interpretation nachgewiesen werden, wie dieser Artikel zeigt.

Dokument downloaden
Literaturhinweis

1 ISO 26262. Road vehicles – Functional safety, 2011.

2 Christian Ferdinand and Reinhold Heckmann. Static Memory and Execution Time Analysis of Embedded Code. SAE 2006 Transactions Journal of Passenger Cars - Electronic and Electrical Systems 9, 2007.

3 D. Kästner, S. Wilhelm, S. Nenova, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, X. Rival. Astrée: Proving the Absence of Runtime Errors. Embedded Real Time Software and Systems Congress ERTS, Toulouse, 2010.

4 AbsInt GmbH. StackAnalyzer Website. http://www.absint.com/stackanalyzer.

5 AbsInt GmbH. aiT Website. http://www.absint.com/ait.

6 AbsInt GmbH. Astrée Website. http://www.astree.de.

Service

Ihre Ansprechpartnerin

Frau Kristin Franke
Tel.: +49 89 99830-111
Fax: +49 89 984809
abo-service@hanser.de


Lieferadresse ändern

Sie möchten die Zeitschrift HANSER Automotive oder die Rechnung an eine andere Adresse geschickt bekommen?

Teilen Sie uns Ihre neue Anschrift mit

Kurzcharakteristik
HANSER automotive

HANSER automotive ist die praxisorientierte Informationsquelle für alle Einsatzgebiete der Automobilelektronik. Die Leser sind namentlich bekannte Entwicklungs-, Projekt- und Applikationsingenieure mit direktem Produkt- und Beschaffungsinteresse sowie Führungskräfte, die sich einen Überblick über Produkte, Komponenten und Systeme verschaffen wollen. Die Zeitschrift berichtet deshalb in Form von Fachartikeln, Interviews und Kurzbeiträgen über Produkte, Systeme, Trends und das aktuelle Geschehen in der Kfz-Elektronik sowie über Produkte und Lösungen aus Branchen wie Telecom/Datacom, Consumer und Industrial, die für den Einsatz im Automobil geeignet sind. Darüber hinaus ergänzen Beiträge über Elektromobilität und Elektronik in Mobilen Maschinen das Informationsangebot.