Reactis ist nach ISO 26262 zertifiziert
Der TÜV SÜD hat bescheinigt, dass Reactis für die sicherheitsrelevante
Entwicklung nach ISO 26262 bis ASIL D qualifiziert ist.
Mehr zur ISO-26262-Konformität →
ISO 26262 Softwaretests: Fragen und Antworten →
Finden Sie Fehler schneller, vereinfachen Sie Compliance-Aktivitäten und verkürzen Sie die Testzeit mit Reactis®
Reactis ist eine Werkzeugsammlung von Reactive Systems, Inc., die automatisch Testsuiten für Simulink®- und Stateflow®-Modelle sowie für C-Code erzeugt. Sie erfasst die Überdeckung (einschließlich MC/DC), meldet Laufzeitfehler, prüft Modelle gegen Anforderungen und vergleicht Code und Modell in Back-to-Back-Tests. TÜV SÜD hat bescheinigt, dass Reactis für die sicherheitsrelevante Entwicklung nach ISO 26262 bis ASIL D qualifiziert ist.
Teams in der Automobil-, Luft- und Raumfahrt- sowie der Medizintechnik nutzen Reactis, um Fehler früh zu finden und die Überdeckung für Normen wie ISO 26262 und DO-178C zu dokumentieren.
Reactis bietet durchgängige Werkzeuge zum Testen, Verifizieren und Validieren für die modellbasierte Entwicklung
Erzeugen Sie umfassende Testsuiten direkt aus Ihren Simulink-Modellen. Erreichen Sie eine hohe Modellüberdeckung und erkennen Sie Laufzeitfehler automatisch.
Mehr erfahren →Analysieren Sie C-Code auf Laufzeitfehler, erkennen Sie Überdeckungslücken und führen Sie White-Box-Tests durch. Unterstützt C-Caller-Blöcke und S-Functions in Simulink-Modellen sowie eigenständige C-Programme.
C-Tests entdecken →Vergleichen Sie das Verhalten des Modells automatisch mit dem generierten Code. Erkennen Sie Abweichungen frühzeitig und stellen Sie sicher, dass der Code der Spezifikation entspricht.
So funktioniert es →Verfolgung von Anweisungs-, Entscheidungs-, Bedingungs-, MC/DC- und MCC-Überdeckung. Erfüllen Sie regulatorische Anforderungen mit detaillierten Berichten. Was ist MC/DC?
Überdeckungsoptionen ansehen →Spielen Sie Ausführungsfolgen, die zu Fehlern führen, einfach erneut ab. Verstehen Sie die Ursachen schneller und verkürzen Sie Ihre Debugging-Zyklen.
Effektiv debuggen →Volle Unterstützung für Simulink, Stateflow®, C-Code und Embedded-MATLAB®-Code in derselben intuitiven Oberfläche. Testen Sie das gesamte Modell-Ökosystem.
Integration entdecken →„Im Gegensatz zu Werkzeugen mit einfacher statischer Analyse erreicht die dynamische Testgenerierung von Reactis oft sehr hohe Überdeckungsgrade, und zwar vollautomatisch.“
„Der anfängliche Aufwand für die Einführung von Reactis wird durch den Gewinn an Geschwindigkeit und Qualität bei Weitem übertroffen. Die Technologie ist ausgereift. Wir können Reactis uneingeschränkt empfehlen; für uns ist es der Maßstab für Produkte dieser Art, mit stetig wachsenden Vorteilen für die anspruchsvollen Anforderungen der Zukunft.“
Der TÜV SÜD hat bescheinigt, dass Reactis für die sicherheitsrelevante
Entwicklung nach ISO 26262 bis ASIL D qualifiziert ist.
Mehr zur ISO-26262-Konformität →
ISO 26262 Softwaretests: Fragen und Antworten →
Starten Sie noch heute mit Reactis. Laden Sie eine kostenlose Testversion herunter oder vereinbaren Sie eine Demo mit unseren Experten.