Verifysoft Technology lädt ein zum 7. Static Code Analysis Day

OFFENBURG, 14. Januar 2020 – Verifysoft Technology GmbH, Anbieter der verbreiteten Code-Coverage-Lösung Testwell CTC++, lädt Kunden und Interessierte zum 7. Static Code Analysis Day nach Offenburg ein. Die Veranstaltung, die am 3. März 2020 stattfindet, richtet sich an Entwickler und Tester im Bereich der Embedded-Systeme. Experten von Verifysoft Technology, GrammaTech (USA) und Imagix (USA) zeigen dabei, wie Software-Fehler durch leistungsstarke

» Weiterlesen

GrammaTech veröffentlicht CodeSonar 5.2 mit erweiterten Einsatzmöglichkeiten

Ithaca, NY (USA) – 11. Dezember 2019 – GrammaTech, einer der führenden Anbieter für statische Code-Analyse und Cyber-Security-Lösungen, hat heute die sofortige Verfügbarkeit von CodeSonar® 5.2 bekannt gegeben. Die jüngste Version von CodeSonar erlaubt es, die statische Code-Analyse (SAST, Static Application Security Testing) mit einem einheitlichen Tool sowohl bei Embedded-Systemen als auch bei Enterprise-Anwendungen durchzuführen. Durch SAST werden sowohl die

» Weiterlesen

Embraer nutzt Testwell CTC++ für sicherheitskritische Systeme

Offenburg, 12. Dezember 2019 – Kaum eine Branche ist so sicherheitskritisch wie die Luftfahrt. Das spiegelt sich auch in den Vorgaben für die Software-Entwicklung wider, die in der Norm DO-178C festgelegt sind. Um die Anforderungen einzuhalten, die DO-178C an das Testing und an die Messung der Code-Coverage stellt, hat nun der brasilianische Flugzeughersteller Embraer das Tool Testwell CTC++ von Verifysoft

» Weiterlesen

Verifysoft Technology von GrammaTech ausgezeichnet

Offenburg, 24. Oktober 2019 – Verifysoft Technology, deutscher Distributor des Tools CodeSonar zur statischen Code-Analyse von GrammaTech, wurde vom Hersteller für den höchsten Einzelumsatz weltweit des jüngst abgelaufenen Geschäftsjahres 2018/2019 ausgezeichnet. Verifysoft Technology vertreibt bereits seit 2013 die Lösungen von GrammaTech exklusiv am deutschen Markt und wurde in dieser Zeit bereits fünf Mal für seine erfolgreiche Vertriebstätigkeit geehrt. “Wir freuen

» Weiterlesen

Wertschöpfung im Prototyping erhöhen

Simulation für Berechnung komplexer Getriebeölung Beispielhaftes Planetengetriebe zur Berechnung definierter Faktoren. (Bildquelle: @Merkle&Partner) Moderne Simulationstechnologien bilden die Realität in der Zwischenzeit nahezu perfekt ab. So kann schneller und gezielter das Verhalten von Material, Prozessen und Flüssigkeiten verifiziert werden. Damit werden Entwicklungszeiten merklich verkürzt. Bei einfachen Anwendungen sind entsprechende Simulationstechnologien längst bewährt. Für komplexe Geometrien und Mehrkörpersimulationen, wie beispielsweise die Getriebeölung,

» Weiterlesen

GrammaTech tritt MISRA-Komitee bei

Ithaca, NY (USA) – 11. Juli 2019 – GrammaTech, einer der führenden Anbieter für statische Code-Analyse, gab heute bekannt, dass Dr. Paul Anderson, Vice President of Engineering bei GrammaTech, dem MISRA-Komitee beigetreten ist. Das Ziel ist die Mitarbeit an den führenden Best-Practice-Richtlinien für die sichere und zuverlässige Entwicklung von Embedded-Systemen und eigenständiger Software. Das Komitee der Motor Industry Software Reliability

» Weiterlesen

zepp.solutions verlässt sich auf Testwell CTC++ von Verifysoft Technology

OFFENBURG, 3. Juni 2019 – Brennstoffzellen und grüner Wasserstoff sind heiße Themen nicht nur dank der Dauerdiskussion um zukunftsträchtige Formen der Mobilität. In der Entwicklung von Brennstoffzellen mischt das niederländische Start-up zepp.solutions seit 2017 die etablierte Szene kräftig auf. Die Gründer profilierten sich bereits während ihrer Studienzeit als Mitglieder des erfolgreichen Forze Hydrogen Racing Teams. Dessen Brennstoffzellenrenner brachen wiederholt die

» Weiterlesen

Exonetik prüft mit Testwell CTC++ von Verifysoft Technology

OFFENBURG, 28. Mai 2019 – Das kanadische Unternehmen Exonetik hat sich seit seiner Gründung 2013 zu einem vielbeachteten Player gemausert. In der Entwicklung magnetorheologischer Aktoren profilieren sich die Kanadier im Automatisierungsbereich genauso wie in der Avionik und nicht zuletzt der Medizintechnik. Vor allem die Prothetik darf sich viel versprechen von den reaktionsschnellen, verschleiß- und geräuscharmen Aktoren auf der Basis magnetorheologischer

» Weiterlesen

GrammaTech stellt Tools für Binäranalyse und Rewriting als Open Source zur Verfügung

GrammaTech veröffentlicht seine Datenstruktur “GrammaTech Intermediate Representation for Binaries” (GTIRB) zur Unterstützung von Binäranalyse und Reverse Engineering unter der freien MIT-Lizenz. Ithaca, NY (USA) – 2. Mai 2019 – GrammaTech, ein führender Entwickler kommerzieller Tools zur Sicherung von Embedded Software und Cyber-Security-Lösungen, stellt seine Datenstruktur “GrammaTech Intermediate Representation for Binaries” (GTIRB) als Open-Source-Software zur Verfügung, um die Zusammenarbeit zwischen Entwicklern

» Weiterlesen

NPP Itelma setzt auf Testwell CTC++ von Verifysoft Technology

OFFENBURG, 15. März 2019 – Millionen von Code-Zeilen, dutzende elektronische Komponenten – moderne Fahrzeuge erinnern oft an mobile Rechenzentren. Entsprechend hoch sind die Anforderungen, die an diese Systeme gestellt werden. Denn viele dieser Komponenten sind nicht nur für den Betrieb des Fahrzeugs wichtig und müssen jederzeit einwandfrei funktionieren. Ein erheblicher Teil davon ist auch sicherheitskritisch, Ausfälle oder Fehler gefährden Menschenleben.

» Weiterlesen

6. Static Code Analysis Day von Verifysoft Technology

Statische Code-Analyse effizienter und effektiver durchführen: Verifysoft Technology lädt ein zum 6. Static Code Analysis Day am 5. März in Offenburg. Mit dabei sind Experten von GrammaTech und JuliaSoft. OFFENBURG, 21. Januar 2019 – Verifysoft Technology GmbH, Anbieter der verbreiteten Code-Coverage-Lösung Testwell CTC++, lädt Kunden und Interessierte zum 6. Static Code Analysis Day nach Offenburg ein. Die Veranstaltung, die am

» Weiterlesen

GrammaTech auf der Embedded World 2019: Halle 4, Stand 4-423

GrammaTech präsentiert in Nürnberg CodeSonar 5.1 mit Fokus auf Entwickler im IoT-Umfeld durch Unterstützung von Python und einfachere Analyse von externem Code. Ithaca, NY (USA) – 21. Januar 2019 – GrammaTech, einer der führenden Anbieter für statische Code-Analyse, stellt auf der diesjährigen Embedded World vom 26. bis 28. Februar seine neue Version 5.1 von CodeSonar vor. Das bewährte Tool zur

» Weiterlesen

Verifysoft Technology stellt Testwell CTC++ 9.0 vor

OFFENBURG, 10. Januar 2019 – Verifysoft Technology GmbH, Anbieter der verbreiteten Code-Coverage-Lösung Testwell CTC++, gibt die Verfügbarkeit der neuen Version 9.0 von Testwell CTC++ bekannt. Im Zentrum der Neuerungen steht dabei die universellere Nutzbarkeit der Lösung für aktuelle Embedded-Projekte. Dazu gehört unter anderem die Unterstützung von Objective-C: Wer Anwendungen für iOS und macOS entwickelt, kommt in der Regel nicht um

» Weiterlesen

Verifysoft Technology auf den Software Quality Days 2019

OFFENBURG, 27. November 2018 – Die moderne Wirtschaft basiert auf Software der unterschiedlichsten Art. Die dritte industrielle Revolution, die von namhaften Wirtschaftsexperten postuliert wird, muss sich darauf verlassen können, dass Software und Systeme jederzeit zuverlässig und sicher funktionieren. Also darauf, dass Software stets in bestmöglicher Qualität ausgeliefert wird – unabhängig vom Einsatzgebiet oder vom Bereitstellungsmodell. Wie diese Anforderung umgesetzt werden

» Weiterlesen

GrammaTech erhält Forschungsgelder vom US-Verteidigungsministerium

Die Forschung an Möglichkeiten zur Wiederherstellung von Architekturinformationen von Binärdateien bei GrammaTech wird vom Office of the Secretary of Defense (OSD) mit einer Million Dollar unterstützt Ithaca, NY (USA) – 30. Oktober 2018 – GrammaTech, ein führender Entwickler kommerzieller Tools zur Sicherung von Embedded Software und Cyber-Security-Lösungen, gab bekannt, im Rahmen eines Zweijahresvertrags Forschungsgelder in Höhe von einer Million Dollar

» Weiterlesen

GrammaTech integriert JuliaSoft in CodeSonar

Durch die Integration von JuliaSoft in CodeSonar, das Tool zur statischen Analyse von GrammaTech, können Software-Entwickler nun die Analyse verschiedener Sprachen in einer einzigen Benutzeroberfläche durchführen. Ithaca, NY (USA) – 26. September 2018 – GrammaTech, ein führender Entwickler kommerzieller Tools zur Sicherung von Embedded Software und Cyber-Security-Lösungen, hat die Julia-Engine von JuliaSoft in sein Tool zur statischen Code-Analyse CodeSonar integriert.

» Weiterlesen

GrammaTech erweitert CodeSonar 5 um C-Decompiler

CodeSonar, das Tool zur statischen Code-Analyse von GrammaTech, verfügt in der neuen Version 5 über einen integrierten C-Decompiler für Binärcode. Ithaca, NY (USA) – 26. September 2018 – GrammaTech, ein führender Entwickler kommerzieller Tools zur Sicherung von Embedded Software und Cyber-Security-Lösungen, erweitert die Fähigkeit von CodeSonar zur statischen Analyse von Binärcode. Mit dem jüngst von GrammaTech veröffentlichten CodeSonar 5 können

» Weiterlesen
1 2