27. Februar - 1. März 2018 // Nürnberg, Germany

Druckansicht einstellen

Welche Informationen sollen in der Druckansicht angezeigt werden?

Druckansicht erstellen
Aussteller & Produkte embedded world 2018

KERCI

Infos anfordern Infos anfordern

Kontaktieren Sie uns

Bitte geben Sie Ihre persönlichen Informationen und Ihren Terminwunsch an. Gerne können Sie uns auch eine Nachricht hinterlassen.

Ihre persönlichen Informationen

Ihre Nachricht an uns

Ihr Terminwunsch während der Messe

* Pflichtfelder, die von Ihnen eingegeben werden müssen.
Senden
Ihre Nachricht wurde erfolgreich versendet.

Sie haben noch keine Anmeldedaten? Registrieren Sie sich jetzt und nutzen Sie alle Vorteile der Aussteller-Plattform.

Es ist ein Fehler aufgetreten.

KERCI (Konzept Enhanced RuleChecker Integration) ist ein Plugin für die Eclipse (CDT) IDE, das Kodier-Regel-Prüfungen mit AbsInt Astrée in die IDE integriert. KERCI bietet ein schnelles und einfach zu verwendendes Interface um einen Astrée Lauf zu starten und zeigt Alarme und Fehler direkt in Eclipse als "Problem Marker" an.           

Funktionsweise und Integrierte Astrée Funktionen

KERCI integriert eine Startoption für den Astréelauf in das Rechts-Click Kontextmenü des Eclipse Project Explorers. Um einen Lauf zu starten wird eine temporäre Astrée Projektdatei auf Basis eines vorgegebenen Astrée Projektfiles (.dax) erstellt, erweitert um Selektionen und Include-Pfade aus Eclipse. Astrée Alarm- und Fehlermeldungen werden nach Abschluß des Laufs in Eclipse "Problem Marker" umgewandelt und somit direkt im Editor angezeigt.

Dank dieses flexiblen Ansatzes kann jede statische Astrée Konfiguration für KERCI verwendet werden.

KERCI ist für den Einsatz mit Astrée Checks entworfen, die während Astrées "Parse" und "Source" Phasen geprüft werden. Es ist nicht als Ersatz für die Astrée GUI bei einer vollständigen Laufzeitfehleranalyse geeignet.

Anforderungen an Eclipse Projekte

KERCI benötigt konfigurierte Eclipse Projekte. Im Besonderen muss ein Eclipse Projekt folgenden Anforderungen genügen:

  • c/c++ Projekt
  • Include-Pfade sind gesetzt

PERIGEE

LOGO_PERIGEE

Stromregler

LOGO_Stromregler
top

Der gewählte Eintrag wurde auf Ihre Merkliste gesetzt!

Wenn Sie sich registrieren, sichern Sie Ihre Merkliste dauerhaft und können alle Einträge selbst unterwegs via Laptop oder Tablett abrufen.

Hier registrieren Sie sich, um Daten der Aussteller- und Produkt-Plattform sowie des Rahmenprogramms dauerhaft zu speichern. Die Registrierung gilt nicht für den Ticket- und Aussteller-Shop.

Jetzt registrieren

Ihre Vorteile auf einen Blick

  • Vorteil Sichern Sie Ihre Merkliste dauerhaft. Nutzen Sie den sofortigen Zugriff auf gespeicherte Aussteller oder Produkte: egal wann und wo - inkl. Notizfunktion.
  • Vorteil Erhalten Sie auf Wunsch via Newsletter regelmäßig aktuelle Informationen zu neuen Ausstellern und Produkten - abgestimmt auf Ihre Interessen.
  • Vorteil Rufen Sie Ihre Merkliste auch mobil ab: Einfach einloggen und jederzeit darauf zugreifen.