logo

Verifysoft Technology GmbH
Newsletter 03/2023         Juni 2023
Verifysoft Technology GmbH
Testing Solutions for your Productivity and Software Quality
TÜV Süd Zertifikat für den Code Coverage Analyzer Testwell CTC++ und Safety-Package verfügbar

Das Testing Laboratory for Safety Components der TÜV SÜD Rail GmbH hat zertifiziert, dass Testwell CTC++

  • "suitable" für die Nutzung in der safety-related Entwicklung gemäß IEC 61508:2010
    (für alle SIL),
  • "qualified" für die Nutzung in "standard-compliant" Entwicklungsprozessen gemäß
    ISO 26262:2018 (für alle ASIL),
  • "suitable" für die Nutzung in der safety-related Entwicklung gemäß EN 50128:2011/A2:2020
    (für alle SIL),
  • und "suitable" für die Nutzung in der
    safety-related Entwicklung gemäß
    IEC 62304:2006+A1:2015 (für alle "software safety classes") ist.

Hier gelangen Sie zum Zertifikat.

Verifysoft bietet ab sofort ein Safety-Package für den Code Coverage Analyzer Testwell CTC++ an. Zusätzlich zum TÜV-Zertifikat erhalten Testwell CTC++-Kunden mit dem Safety-Package ergänzende Dokumente wie ein Safety Manual und Zugriff auf die Known-Bugs-Liste. Über ein Abonnement wird der Kunde über Aktualisierungen der enthaltenen Dokumente aktiv informiert.
Mit dem Safety-Package kann Testwell CTC++ ohne weitere Qualifizierungs-Maßnahmen für alle Sicherheitsstufen der Normen IEC 61508, ISO 26262, EN 50128 und IEC 62304 in der sicherheitskritischen Software-Entwicklung eingesetzt werden.

Für weitere Informationen zur Nutzung von Testwell CTC++ in der sicherheitskritischen Softwareentwicklung kontaktieren Sie uns.
Testwell CTC++ mit verbesserter IAR
Integration

Verifysofts Code Coverage Analyzer Testwell CTC++ enthält im Standard bereits zahlreiche Integrationen, Konfigurationen und Konverter für verschiedenste Kundenumgebungen. Mit der Version 6.12 ist nun ein Update der seit Jahren bewährten Integration zur IAR Embedded Workbench erschienen. Weiterhin werden damit auch Vorgängerversionen von Testwell CTC++ wie auch von IAR unterstützt. Neben der vollständigen Unterstützung des neuen HTML-Berichtsgenerators von Testwell CTC++, enthält das Update auch zahlreiche Verbesserungen in Verbindung mit den neuesten IAR Versionen.
Imagix 4D Version 10.5.1 verfügbar

Imagix hat die Version 10.5.1 von Imagix 4D veröffentlicht. Der Schwerpunkt dieser Version ist AUTOSAR-C++ 2014.

Imagix 10.5.1 bietet eine Checkliste für AUTOSAR-C++ 2014, die Codierrichtlinien für die Verwendung der Sprache C++14 gemäß ISO/IEC 14882:2014 in sicherheitsrelevanten und kritischen Systemen spezifiziert. Der Hauptanwendungsbereich ist die Automobilbranche, aber sie kann auch in anderen eingebetteten Anwendungsbereichen verwendet werden. Die Imagix-Checkliste enthält alle von AUTOSAR definierten Regeln.

Die Imagix-Review-Funktion unterstützt den Benutzer bei der Überprüfung der Regeln und automatisiert die meisten Berechnungen. Bei den Regeln, die eine Dokumentation durch den Benutzer erfordern, gibt es keine automatisierten Schritte, sondern der Benutzer wird aufgefordert, die Dokumentation beizufügen. Automatisierte Regeln listen alle Verstöße genau auf, solange das Projekt ohne Fehler analysiert wurde und der Code vollständig ist. Regeln, die teilweise oder nicht automatisiert sind, können immer noch alle potenziellen Stellen auflisten und erfordern eine menschliche Überprüfung, um über Bedenken und Verstöße zu entscheiden. Sehen Sie sich die vollständige Liste der Regeln und ihren Automatisierungsgrad an.

Die Verwendung von AUTOSAR-C++ in Imagix erfordert die MISRA-Lizenzerweiterung.

Imagix 10.5.1 bietet Unterstützung für die Ausführung einiger Operationen des Review-Tools über Batch-Modus-Befehle. Die neue Version bietet auch die Möglichkeit, Quellcode über die Microsoft Visual Studio Build Logfiles in das Tool zu laden.
Imagix 4D 10.5.1 vervollständigt die Unterstützung für C++ 2022 und behebt auch einige Fehler.
Verifysoft Technology und Heicon Global Engineering beim Offenburger Stadtlauf / badenova Lauftag

Mit viel Elan und jeder Menge Spaß waren die Teams von Verifysoft Technology und unseren Freunden von HEICON Global Engineering aus Schwendi bei Ulm und Memmingen am 7. Mai beim Offenburger Stadtlauf / badenova Lauftag dabei. Die 3 x 1 km-Staffel führte vom historischen Rathaus durch die Offenburger Innenstadt. Hier unser Lauf im Video.
Termine
Webinar:
  • Kostenfreies Webinar:
    “Unit- und Software Integration-Tests in sicherheitskritischen Projekten" am
    13. Juli 2023 um 15:00 Uhr (MEZ
    )
    Jetzt informieren und anmelden!
Seminare:

Messen:

  • Embedded Software Engineering
    Kongress (ESE) 2023
    vom 4. bis 8. Dezember 2023

    in Sindelfingen.
    Jetzt informieren!

  • Embedded World 2024
    vom 9. bis 11. April 2024
    in Nürnberg.
    Jetzt informieren!




Mit freundlichen Grüßen
Klaus Lambertz
Geschäftsführer
Verifysoft Technology GmbH
Technologiepark - In der Spöck 10-12
77656 Offenburg
Twitter
LinkedIn
YouTube

Newsletter-Anmeldung / Newsletter-Archiv


Newsletter-Archiv

Hier zum Newsletter anmelden