embedded world | ECLAIR

Halle 4 / Standnummer 4-548

ECLAIR

Logo BUGSENG

von BUGSENG

Key Facts

  • Der schwierigste Teil der Konfiguration, nämlich die Anpassung an die Compiler-Toolchain und den spezifischen Sprachdialekt(e), die im Projekt verwendet werden, erfolgt vollständig automatisch. Tatsächlich interagiert ECLAIR automatisch mit der Toolchain, um zuverlässige Ergebnisse zu erhalten und Ihre Zeit zu sparen. Die gängigsten C/C++-Compiler und Cross-Compiler werden unterstützt.
  • Detaillierte Berichte sind interaktiv und enthalten hochwertige Nachrichten (Verfolgung der Makro-Erweiterung, Einbindung von Header-Dateien, Ansicht der Quellen vor/nach der Verarbeitung, dynamische Auswahl von Aufgaben...). Die Qualität ist so hoch, dass ECLAIR ODF-Berichte direkt mit der auftraggebenden Organisation geteilt werden können, um die MISRA-Konformität nachzuweisen.
  • Unser technisches Support-Team besteht aus Produkt- und Technologie-Experten mit umfangreicher Erfahrung in Codierungsstandards und Entwicklungsumgebungen. BUGSENG bietet Online- und Selbsthilfe-Support sowie Tools zur Fehlerverfolgung für die Einreichung, Überwachung und Aktualisierung von Fällen.

Kategorien

  • Statische- & Laufzeit-Analysetools

Key Facts

  • Der schwierigste Teil der Konfiguration, nämlich die Anpassung an die Compiler-Toolchain und den spezifischen Sprachdialekt(e), die im Projekt verwendet werden, erfolgt vollständig automatisch. Tatsächlich interagiert ECLAIR automatisch mit der Toolchain, um zuverlässige Ergebnisse zu erhalten und Ihre Zeit zu sparen. Die gängigsten C/C++-Compiler und Cross-Compiler werden unterstützt.
  • Detaillierte Berichte sind interaktiv und enthalten hochwertige Nachrichten (Verfolgung der Makro-Erweiterung, Einbindung von Header-Dateien, Ansicht der Quellen vor/nach der Verarbeitung, dynamische Auswahl von Aufgaben...). Die Qualität ist so hoch, dass ECLAIR ODF-Berichte direkt mit der auftraggebenden Organisation geteilt werden können, um die MISRA-Konformität nachzuweisen.
  • Unser technisches Support-Team besteht aus Produkt- und Technologie-Experten mit umfangreicher Erfahrung in Codierungsstandards und Entwicklungsumgebungen. BUGSENG bietet Online- und Selbsthilfe-Support sowie Tools zur Fehlerverfolgung für die Einreichung, Überwachung und Aktualisierung von Fällen.

Kategorien

  • Statische- & Laufzeit-Analysetools
Mehr anzeigen

Produktbeschreibung

ECLAIR ist eine leistungsstarke Plattform für die automatische Analyse und Verifikation von C- und C++-Programmen. Hier ist eine Auswahl der wichtigsten Funktionen:

  • Ständige Einhaltung von Codierungsstandards
  • Automatische Toolchain-Konfiguration
  • Nutzung über GUI, Kommandozeile, IDE, CI/CD-Systeme
  • Automatische Überprüfung der Unabhängigkeit und Störungsfreiheit
  • Integriertes Anforderungen-Management-Tool
  • Zertifiziert und qualifizierbar für die wichtigsten funktionalen Sicherheitsstandards
  • Erweiterte Nutzung in Docker-Containern
... mehr lesen