Axivion auf der embedded world 2016, Halle 4, Stand 4-448

100 Prozent Regelabdeckung: Axivion überzeugt ZF mit umfassendem MISRA-Checker

Stuttgart, 12. Januar 2016 – Die Axivion Bauhaus Suite unterstützt in Zukunft die ZF Friedrichshafen AG bei der Qualitätssicherung der Embedded Software im Bereich der PKW-Antriebstechnik. In erster Linie überprüft die Toolsuite von Axivion die Einhaltung der Vorschriften der Programmierstandards MISRA C++:2008 und MISRA C:2012 im Code. Darüber hinaus verifiziert die Bauhaus Suite die korrekte Umsetzung der Architektur in der Programmierung und unterzieht den Code einer automatisierten statischen Analyse. Größte MISRA-Regelabdeckung Für die Auswahl des optimalen MISRA-Tools hat ZF verschiedene am Markt verfügbare MISRA-Checker einem ausführlichen technischen Benchmark-Test unterzogen. Das Ergebnis: Die Axivion Bauhaus Suite liefert beste Resultate und deckt zudem 100 Prozent der automatisiert prüfbaren MISRA-Regeln ab. Sie bietet damit die größte Regelabdeckung aller evaluierten Tools. Alleinstellungsmerkmal Architekturprüfung und statische Code-Analyse Weitere Pluspunkte sammelt die Axivion Bauhaus Suite im Vergleich zu anderen MISRA-Checkern mit ihren bedienerfreundlichen und konkurrenzlosen Funktionen für die automatisierte Architekturverifikation und die statische Code-Analyse. Die Toolsuite führt eine umfassende Architekturprüfung der Software durch und identifiziert verdeckte Abhängigkeiten sowie weitere potentiell problematische Stellen im Code, wie zum Beispiel Stilverstöße, geklonten oder toten Code sowie zyklische Abhängigkeiten. Neues Plug-In für Eclipse Die nahtlose Integration der Bauhaus Suite in den Entwicklungsprozess von ZF mit individuellen Anpassungen übernimmt Axivion. Ein von Axivion neu entwickeltes Eclipse-Plugin, dank dem die Analyseergebnisse in der gewohnten integrierten Entwicklungsumgebung (IDE) angezeigt werden, sowie persönliche Schulungen sichern eine hohe Akzeptanz auf Seiten der ZF-Entwickler und sorgen für schnelle produktive Ergebnisse. „In der Evaluation wurden hohe Maßstäbe angelegt und die Axivion Bauhaus Suite war ganz klar erste Wahl“, sagt Sebastian Rummler, Geschäftsführer von Axivion. „Die Toolsuite erfüllt alle Ansprüche des Kunden an einen MISRA-Checker und dient mit ihren automatisierten Code- und Architekturprüfungen der effizienten Qualitätssicherung der Embedded Software unseres Kunden.“ Mehr Informationen zur Axivion Bauhaus Suite unter www.axivion.com/bauhaus-suite.

Über Axivion Axivion, Stuttgart, ist ein Anbieter von Komplettlösungen zum Schutz vor Software-Erosion. Axivion entwickelt innovative Software-Werkzeuge – unter anderem Tools für statische Code-Analyse, Architekturverifikation und Klonmanagement –, erarbeitet Methoden und Schulungskonzepten und bietet umfassenden Service und Beratung bei der Umsetzung der Maßnahmen. Kernprodukt von Axivion ist die Axivion Bauhaus Suite, eine Toolsuite zur Verbesserung der Software-Qualität und Wartbarkeit von Systemen, die mit den Programmiersprachen Ada, C, C++, C# und Java entwickelt werden. Der MISRA-Checker von Axivion deckt 100 Prozent der automatisiert prüfbaren MISRA-Regeln der Programmierstandards MISRA C:2004, MISRA C:2012 und MISRA C++:2008 ab. Die Kunden von Axivion sind Entwickler technischer Software u.a. aus der Automatisierungstechnik, Automobilindustrie, Bahntechnik, Elektronik, Informations- und Kommunikationstechnologie, Luft- und Raumfahrt, Medizintechnik, Maschinenbau sowie Mess-, Steuer- und Regelungstechnik. Axivion unterhält seit seiner Gründung 2006 enge Forschungskooperationen mit den Universitäten Stuttgart und Bremen für die fundierte Weiterentwicklung seiner Konzepte und Tools. Mehr Informationen zu Axivion unter www.axivion.com