Lösungen

Lösungen

Die Axivion Suite bietet Ihnen Lösungen abhängig von Ihrer Branche, Ihren Interessen und Anforderungen:

Architekturprüfung

Die Architekturprüfung zielt darauf, Ihre Software-Architektur und Ihren Entwurf in Übereinstimmung mit Ihrem Code zu bringen.

Nur so können Sie sicher sein, dass Sie die Software-Architektur als Richtschnur und Leitlinie für die Diskussion über die Auswirkung neuer Features nutzen können. Erst dadurch wird die zielgerichtete und geplante Entwicklung Ihrer Produkte langfristig möglich. Genau dafür ist Software-Architektur gedacht.

Architektureinhaltung ist auf lange Sicht der Schlüssel zum Erfolg.

Mehr lesen

AUTOSAR C++14

Die AUTOSAR C++14 Regeln zielen darauf ab, sicherheitskritische Systeme sicherer zu machen, indem sie potentielle Probleme im Code markieren. Dadurch können Entwickler solche inherent unsicheren Verwendungen der Sprachmittel von C und C++ leicht auffinden und vermeiden.

Der AUTOSAR C++14 Checker von Axivion deckt die automatisiert prüfbaren Regeln von AUTOSAR C++14 (17.03, 17.10, 18.03, 18.10 und 19.03) ab.

Mehr lesen

MISRA

Die MISRA Regeln zielen darauf ab, sicherheitskritische Systeme sicherer zu machen, indem sie potentielle Probleme im Code markieren. Dadurch können Entwickler solche inherent unsicheren Verwendungen der Sprachmittel von C und C++ leicht auffinden und vermeiden.

Der MISRA Checker von Axivion deckt 100 Prozent der automatisiert prüfbaren Regeln von MISRA C:2004, MISRA C:2012 (einschließlich Amendment 1 Security Rules und Amendment 2) und MISRA C++:2008 ab.

Die Ergebnisse des MISRA Checkers von Axivion integrieren sich in IDEs und CI-Umgebungen, so dass eine einfache Integration in Ihre Prozesse von lokalen Prüfungen bis hin zu voll ausgebauten automatisierten Prüfungen in der CI mit derselben Konfiguration und denselben Ergebnissen möglich ist.

Mehr lesen

Arbeitsplatz- und DevOps-Integration

Software-Erosion passiert jeden Tag.  Um die Software-Erosion effektiv zu stoppen, muss eine enge und einfache Integration der Schutzmaßnahmen in die Build-Umgebung und -Prozesse stattfinden. Und zwar sowohl am Arbeitsplatz des Entwicklers als auch in den DevOps-Toolketten.

Deshalb unterstützt die Axivion Suite sowohl zentralisierte Server-Infrastrukturen als auch dezentrale lokale Analysen.

Die Axivion Suite liefert Ergebnisse aus der CI-Umgebung direkt in Ihre IDEs. Für kurze Reaktionszeiten können Änderungen am Code und ihre Auswirkungen lokal mit unterschiedlichen Härtegraden vor einer Code-Integration in die Upstream-Entwicklung analysiert werden. 

Mehr lesen

ISO 26262


Der ISO 26262 Standard ist die Adaption der IEC 61508 auf die spezifischen Bedürfnisse von elektrischen und elektronischen (E/E) Systemen in Straßenfahrzeugen.

Der Entwicklungsprozess beeinflusst direkt, ob die geforderte funktionale Sicherheit erreicht wird (z.B. durch Aktivitäten wie Anforderungsspezifikation, Entwurf, Implementierung, Verifikation, Validierung und Konfiguration).

Die Axivion Suite unterstützt speziell die Konformität nach ISO 26262-6:2018 - product development at the software level.

 

Mehr lesen

IEC 62304


Die Axivion Suite unterstützt Sie bei der Entwicklung von Software für medizinische Geräte für alle Sicherheitsklassen.

Im Entwicklungsprozess hilft die Axivion Suite Ihnen während des Software-Architektur-Designs und des detaillierten Designs mit der Architekturprüfung. Während der Software-Verifikation beim Testen auf Unit-, Integrations- und System-Level unterstützt Sie die Axivion Suite mit Checks für MISRA C, MISRA C++, AUTOSAR C++14, CERT, ISO/IEC TS 17961 oder kundenspezifischen Coding Rules speziell für Ihre Umgebung.

Die Axivion Suite kann in nahezu jedes CI-System integriert werden. Dies erlaubt wiederholbare und vergleichbare Analyseergebnisse für die Software.

Mehr lesen

CERT

Die CERT Regeln zielen darauf ab, sicherheitskritische Systeme sicherer zu machen, indem sie potentielle Sicherheitsprobleme im Code markieren. Dadurch können Entwickler solche inherent unsicheren Verwendungen der Sprachmittel von C und C++ leicht auffinden und vermeiden.

Der CERT C Checker deckt viele der entscheidbaren Regeln von CERT C ab und integriert sich in IDEs und CI-Umgebungen.

Mehr lesen