Building a safe and secure embedded world

Expertenwissen zum Download

Die Norm DIN EN 61508 fordert statische Methoden zur Verifikation des Source-Codes – beispielsweise um zu prüfen, ob die geforderten Programmierrichtlinien eingehalten werden.

Statische Analyse kann prinzipiell durch Menschen (manuell) oder durch Werkzeuge (automatisiert) durchgeführt werden. Da manuelle Prüfung sehr aufwendig ist, werden üblicherweise Analysewerkzeuge eingesetzt.

In unserem White Paper erfahren Sie, welche Anforderungen aus der DIN EN 61508 automasiert zu testen sind und welche Eigenschaften ein Werkzeug aufweisen muss.

White Paper:
Statische Analyse gemäß DIN EN 61508

  • Wie lässt sich Softwarekomplexität messen und kontrollieren?
  • Wie lassen sich Anomalien aufdecken?
  • Welche Anforderungen lassen sich automatisiert prüfen?
  • Welche Eigenschaften muss ein Analysewerkzeug aufweisen?

Wir wünschen Ihnen spannende und interessante Lektüre und stehen für Ihre Fragen gerne zur Verfügung.

Bitte das Formular ausfüllen (Pflichfelder sind mit "*" markiert) - den Link zum Download erhalten Sie anschließend in einer separaten E-Mail.
 

Die Hitex-Datenschutzerklärung finden Sie hier!