Statische Softwareanalyse

Kostenbeispiel
auf Anfrage

Unverbindliches Angebot

Teilen

Hinweis: Kostenbeispiele beziehen sich auf vergangene vergleichbare Projekte im angegebenen Umfang. Ein aktuelles Angebot im konkreten Anwendungsfall kann entsprechend abweichen. Für das Angebot und die Inhalte auf dieser Seite verantwortlich ist die anbietende Partnerorganisation FZI Forschungszentrum Informatik, Haid-und-Neu-Str. 10–14, DE-76131 Karlsruhe bzw. der angegebene Kontakt.

Kontakt: Sebastian Reiter

Beschreibung

Statische Analysen ermöglichen es, Fehler in Software zu finden und schwer testbare Fehler zu lokalisieren. Wir verfügen über langjährige Erfahrung in der Anwendung formaler Methoden, sowohl mit kommerziellen als auch mit frei verfügbaren Analysewerkzeugen.

Insbesondere im Umfeld automotiver Systeme spielt die Qualifizierung von eingebetteter Software, d.h. unter Berücksichtigung der Ausführungsplattform, eine entscheidende Rolle. Wir haben Ansätze zur Verifikation von kombinierten Hardware/Software-Systemen entwickelt [1,2].

Unsere Dienstleistungen für Sie:

  • Unterstützung bei der Auswahl statischer Analysemethoden und -werkzeuge
  • Durchführung von statischen Software-Analysen
  • Integration von statischen Analysen in ein übergeordnetes Testing-Konzept, bzw. zur Erhöhung der Cyber-Sicherheit

[1] https://www.edacentrum.de/scale4edge/success-story-scale4edge-hardware-verification-and-validation-ecosystem-risc-v-platforms
[2] https://github.com/fzi-forschungszentrum-informatik/chips-core

Kontakt

Für weitere Informationen, Rückfragen oder Hinweise setzen Sie sich gern mit unserer Ansprechperson in Verbindung.

Kontakt: Sebastian Reiter

Dieses Angebot wird hauptverantwortlich bereitgestellt durch:

FZI Forschungszentrum Informatik
Haid-und-Neu-Str. 10–14
DE-76131 Karlsruhe

Die auf dieser Seite stehenden Hinweise werden von der genannten Partnerorganisation verantwortet.