Integration von RuleChecker in Ihre Entwicklungsumgebung

TargetLink

dSPACE-Logo

RuleChecker unterstützt eine enge Integration mit TargetLink, dem Seriencode-Generator von dSPACE.

TargetLink erzeugt automatisch Seriencode für grafisch spezifizierte Modelle direkt aus Math­Works’ MATLAB/Simulink/Stateflow. Dadurch wird die Entwicklungszeit dras­tisch reduziert und die Qualität des Seriencodes deutlich verbessert.

Der automatisierte Austausch zwischen TargetLink und RuleChecker ermöglicht eine nahtlose Integra­tion in Ihre Entwicklungsumgebung. Für jede TargetLink-Rootfunktion können Alarme über mögliche Regelverletzungen unmittelbar in TargetLink einge­sehen werden. Fehler und Bugs können bereits in einem frühen Entwicklungs­stadium erkannt und spätere Inte­gra­tionsprobleme vermieden werden. Dank der statischen Analyse benötigen Sie keinen Hardwareprototypen, auf dem Sie das Sys­tem erst laufen lassen. Die Ergebnisse sind schnell verfügbar, keine Hardware ist vonnöten.

Die Analysen können automatisiert laufen, z. B. nach jeder Modelländerung.

Die TargetLink-Integration wird von RuleChecker unmittelbar ermöglicht. Es muß keine Zusatzsoftware installiert werden. Sie können RuleChecker 30 Tage lang kostenlos und unverbindlich an Ihren eigenen Anwendungen testen.

ARM Keil µVision

ARM-Keil-Logo

Das Installationspaket für RuleChecker beinhaltet auch ein Plugin für ARM Keil µVision.

Eine Kurzanleitung zur Installation und Benutzung finden Sie auf unserem YouTube-Kanal.

Eclipse

Eclipse-Logo

Wir bieten ein Plugin, mit dem Sie RuleChecker-Analysen auf Ihren C- und C++-Projekten in Eclipse laufen lassen können.

Die Analyseergebnisse werden direkt in Eclipse angezeigt. Für jeden Fehler wird ein Eclipse-Marker erzeugt und zur entsprechenden Stelle in der Quelldatei verlinkt. Bei Bedarf kann zur näheren Untersuchung eines Fehlers der RuleChecker-Klient direkt aus Eclipse heraus geöffnet werden.

Jenkins

Wir stellen auch ein Plugin zur automatischen Integration von RuleChecker in Jenkins kostenlos zur Verfügung.

Jenkins-Logo

Das Plugin kann von jenkins.io oder GitHub kostenlos heruntergeladen werden.