Automatische Überprüfung von MISRA-Regeln

RuleChecker überprüft Ihren C- oder C++-Code schnell und automatisch auf die Einhaltung von MISRA-Regeln und anderen Standards.

RuleChecker-Screenshot
RuleChecker-Screenshot

RuleChecker wird vorrangig zur Analyse von sicherheits­kritischen ein­gebetteten Anwendungen eingesetzt, insbe­sondere in den Be­reichen Automotive, Luft- und Raumfahrt, Medizin­technik und Nuklear­anlagen. Grundsätzlich kann es aber beliebige C-Programme analysieren, mit komplexer Speicher­nutzung, dyna­mischer Speicher­allokation und Rekursion, handgeschrieben oder automatisch erzeugt.

Unterstützte Standards


Features

Wer setzt RuleChecker ein?

Der Automobilzulieferer Helbako benutzt RuleChecker in der Entwicklung von Steuerungs­software.

MTU Friedrichshafen überprüft mit RuleChecker die Kontroll­software von Notstrom­aggregaten in Kraft­werken.

Die Bosch Automotive Steering (vormals ZF Lenksysteme) ersetzte ihre alte Software durch Astrée und RuleChecker und profitiert seitdem von den viel schnelleren Analysen, der deutlich höheren Zuverlässigkeit und den wesentlich geringeren Support-Kosten.

RuleChecker ist im täglichen Einsatz in der Medizintechnik-Entwicklung bei Distalmotion. Das Tool hilft dem Software-Team bei der Kontrolle und Verbesserung der Qualität und Regelkonformität des Codes ihrer sicherheitskritischen Plattform für Operationsroboter.

In Vorbereitung auf die Veröffentlichung des ersten MISRA-konformen eingebetteten Datenbank-Systems integrierte McObject den RuleChecker in seine Entwicklungsprozesse und berichtete von umgehenden Steigerungen in der Qualität und Stabilität seiner Software.

Bei Luxoft läuft RuleChecker als Teil eines ausgeklügelten Build-Prozesses, der sich unter anderem auf virtuelle Maschinen, einen Jenkins-CI-Server und mehrere Adaptive-AUTOSAR-Toolchains von verschiedenen Herstellern verläßt. Laut Luxoft ist RuleChecker das einzige Tool auf dem Markt, das in eine derart komplexe Entwicklungs­umgebung problemlos integriert werden konnte.

Jetzt kostenlos testen

Testen Sie RuleChecker kostenlos und unverbindlich an Ihren eigenen Anwendungen.