Direkt zum Inhalt

Beratung

Lassen Sie sich beraten, nutzen Sie unser Formular, wir melden uns umgehend bei Ihnen zurück. Oder rufen Sie an:
+49 251 98729-0

M32

Displaying 1 - 6 of 6

M32C/80
M32R
R32C/100

Wind River Compiler ISO26262 IEC61508 Qualifizierungspaket

Sicherheitsrelevante Märkte und Functional Safety sind ein Schwerpunkt der DIAB Compiler Kunden. Der  Wind River Diab Compiler wird in Projekten verwendet die vom TÜV NORD für Automotive Functional Safety überprüft wurden. Die Entwicklung erfolgt nach automotive SPICE Level 2.

Wind River ist eine Partnerschaft mit dem TÜV eingegangen, um Compiler-Qualifizierungen für ausgewählte Sicherheitsstandards und Anwendungsfälle durchführen zu lassen.


CasePlayer2

CasePlayer2 führt eine Überprüfung des Quellcodes auf Einhaltung der MISRA-C Regeln durch, nach dem MISRA-C Standard 1998 oder 2004. Eine Auswahl der einzelnen MISRA-C Regeln steht komfortabel zur Verfügung.

CasePlayer2 analysiert weiterhin den C/C++ Quellcode und erstellt umfassende Dokumente zur Dokumentation, z.B. Flussdiagramme, Strukturdiagramme, hirarchische Aufruflisten, globale Variablenlisten und vieles mehr.
Die Dokumente können als HTML oder MS-Word Datei exportiert werden und lassen sich über den Dokumentenbrowser in CasePlayer2 gut verwalten.

GAIO
MISRA-C

CoverageMaster

Das C/C++ Embedded Software Unit Test Werkzeug CoverageMaster winAMS erzeugt mit dem CasePlayer2 Tool automatisch Test Daten für Units-Tests und ermittelt auch die Code Coverage für C0, C1 und MC/DC.

Der C/C++ Programmcode wird dabei nicht instrumentiert, sondern der vom Cross-Compiler erzeugte Target-Code wird im Instruction-Set-Simulator (ISS) von GAIO ausgeführt, so dass auch keine Hardware-Emulatoren nötig sind. Sollten Stub-Funktionen erforderlich sein, so werden diese nur im ISS ausgeführt und der Code wird nicht verändert.

Hierdurch ist das Werkzeug, verglichen mit den bisherigen Vorgehensweisen, sehr zeitsparend einzusetzen.

GAIO
Unit-Test

Wind River Diab Compiler V5

Der Wind River Diab C/C++ Compiler ist eine ultra high Performance C und C++ Compilersuite für moderne Embedded Systeme.

Der Compiler unterstützt führende CPU Architekturen für Embedded Systeme: NXP STM PowerPC, Infineon TriCore, Renesas RH850 sowie ColdFire und MIPS.

Diab Compiler Toolchain Architektur

Aufgrund diese CPU-Bandbreite, der vielen speziellen Features für Embedded Systeme und seiner Reife durch den langjährigen weltweiten Einsatzes in Geräten aller Marktsegmente stellt er die "State of the Art" C/C++ Cross-Compiler Lösung für Embedded Systeme schlechthin dar.

Die Version 5.9.6.3 wurde gemäß ISO 26262/ASIL-D TCL3 und IEC 61508 vom TÜV überprüft und qualifiziert. SIe steht zusammen mit Informationen über die qualifizierung in einem Paket als Netzwerklizenz zur Verfügung.


MC-Verifier

MC-Checker wurde zusammen mit CoverageMaster in dem Werkzeug MC-Verifier zur vollständigen B2B Test-Lösung integriert.

Es führt die verschiedenen Model/Code back-to-back Tests und Coverage-Messungen in einem Schritt durch.

  • Back-to-Back (B2B) Test Tool,
    berücksichtigt die ISO 26262 Anforderungen
  • Model-to-Model, Model-to-Software, Model-to-Target-Code B2B Tests
  • erkennt die Fehlerstelle (Subsystem) im Simulink Model
  • Verfolgt Test Fehler im Simulink Model über die Zeit
  • Code Coverage (Statement, Branch, MC/DC)
GAIO
Back-To-Back Test

Wind River Diab Compiler

Der Wind River Diab C/C++ Compiler ist eine ultra high Performance C und C++ Compilersuite für moderne Embedded Systeme.

Der Compiler unterstützt führende CPU Architekturen für Embedded Systeme: NXP STM PowerPC, Infineon TriCore, Renesas RH850 sowie alle ARM Cortex und MIPS.

Diab Compiler Toolchain Architektur

Aufgrund diese CPU-Bandbreite, der vielen speziellen Features für Embedded Systeme und seiner Reife durch den langjährigen weltweiten Einsatzes in Geräten aller Marktsegmente stellt er die "State of the Art" C/C++ Cross-Compiler Lösung für Embedded Systeme schlechthin dar.

Die Version 5.9.6.3 wurde gemäß ISO 26262/ASIL-D TCL3 und IEC 61508 vom TÜV überprüft und qualifiziert. SIe steht zusammen mit Informationen über die qualifizierung in einem Paket als Netzwerklizenz zur Verfügung.


© Embedded Tools GmbH | Willy-Brandt-Weg 33 | 48155 Münster | Germany/Deutschland | Datenschutzerklärung | Impressum