Newmedia365.de

Schlagwort: Embedded

  • Parasoft beschleunigt CI/CD-Pipeline durch Partnerschaft mit IAR Systems

    Parasoft beschleunigt CI/CD-Pipeline durch Partnerschaft mit IAR Systems

    IAR Build Tools für Linux werden jetzt von Parasoft C/C++test unterstützt

    Monrovia (USA)/Berlin – Januar 2021 – Parasoft, seit über 30 Jahren weltweit führend bei automatisierten Softwaretests, kündigt sein C/C++test-Update zur Unterstützung der IAR Systems Build-Tools für Linux für Arm an. Auslöser für das Update von Parasofts einheitlicher Testlösung für die C/C++test-Softwareentwicklung sind die IAR Build Tools für Linux. Mit der Kombination dieser Tools erhalten Softwareentwickler die Möglichkeit, schnelle und skalierbare CI/CD-Pipelines auf Linux-Servern zu konfigurieren und den Testprozess zu automatisieren.
    Weil IAR Build Tools for Linux die führenden Build-Tools von IAR Embedded Workbench nutzt, können Softwareentwickler, die sicherheitskritische Anwendungen erstellen, direkt auf der Linux-Host-Umgebung arbeiten und müssen keine Toolchain-Versionen mehr verwalten.
    Entwicklungsteams haben auch die Möglichkeit, die Flexibilität und Produktivität zu steigern, indem sie containerisierte Bereitstellungen der IAR Build Tools für Linux für die Verwendung mit C/C++test aktivieren. Sie profitieren von den Vorteilen der Ausführung dieser vorgefertigten Container bei der Durchführung von statischer Analyse und Unit-Tests.

    „Bei IAR Systems sehen wir einen großen Bedarf der Kunden an rationalisierten automatisierten Tests und einer zuverlässigeren Bereitstellung von Codeänderungen. Die IAR Build Tools für Linux basieren auf den bekannten Build-Tools der IAR Embedded Workbench und bieten einen einfachen Übergang von der täglichen Entwicklung zu automatisierten Workflows unter Linux. Mit dem Support durch Parasofts C/C++test können Unternehmen ihre Entwicklungsprojekte mit Fokus auf Compliance und Codequalität beschleunigen“, erläutert Anders Holmberg, General Manager Embedded Development Tools, IAR Systems.

    „IAR Embedded Workbench ist eine der beliebtesten IDEs der Welt und wird von vielen als die beste Compiler- und Debugger-Toolchain in der Embedded-Industrie angesehen. Ihre bekannten Build-Tools sind mit Unterstützung für Linux verfügbar und umfassen den hoch optimierenden IAR C/C++ Compiler, IAR Assembler, Linker und Bibliotheks-Tools, IARBuild und Laufzeitbibliotheken“, ergänzt Richard Sherrard, VP of Products, Parasoft. „Die Kombination mit Parasoft C/C++test gibt den Teams eine komplette Softwareentwicklungs- und Testlösung an die Hand, die die Sicherheit und Zuverlässigkeit der Software gewährleistet.“

    Parasoft, seit 1987 führend bei Automated Software Testing, liefert innovative Tools, die zeitaufwändige Tests automatisieren und dem Management die intelligente Analytik für die Konzentration auf das Wesentliche zur Verfügung stellen. Die Technologien von Parasoft verringern den Zeit-, Arbeits- und Kostenaufwand für die Ablieferung sicherer, zuverlässiger und konformer Software durch die Integration von statischer Analyse und Laufzeit-Analyse, Modul-, Funktions-, API-Tests und UI-Tests mit Selenium sowie Service-Virtualisierung. Parasoft unterstützt Software-Unternehmen bei der Entwicklung und dem Deployment von Applikationen auf dem Embedded-, Enterprise- und IoT-Markt. Mit seinen Testwerkzeugen für Entwickler, seinen Report- und Analyse-Werkzeugen für Manager und seinen Dashboard-Lösungen für Führungskräfte gibt Parasoft Organisationen die Möglichkeit, die strategisch wichtigsten Entwicklungs-Initiativen von heute (Agile, Continuous Testing, DevOps und Security) erfolgreich umzusetzen.

    Firmenkontakt
    Parasoft Corp.
    Erika Delgado
    E. Huntington Drive 101
    91016 Monrovia, CA
    001 (626) 256-3680
    parasoft@lorenzoni.de
    http://www.parasoft.com

    Pressekontakt
    Agentur Lorenzoni GmbH, Public Relations
    Beate Lorenzoni
    Landshuter Straße 29
    85435 Erding
    +49 8122 559 17-0
    beate@lorenzoni.de
    http://www.lorenzoni.de

    Die Bildrechte liegen bei dem Verfasser der Mitteilung.

  • Parasoft vereinfacht Testautomatisierung für Embedded Software deutlich

    Parasoft vereinfacht Testautomatisierung für Embedded Software deutlich

    Höhere Produktivität und schnellere Time-to-Market für moderne Entwicklungsabläufe

    Monrovia (USA)/Berlin – November 2020 – Parasoft, seit über 30 Jahren weltweit führend bei automatisierten Softwaretests, kündigt die Version 2020.2 von Parasoft C/C++test an, der vereinheitlichten C- und C++-Entwicklungstestlösung für Embedded-Anwendungen. Parasoft C/C++test entdeckt Fehler bereits früh im Entwicklungszyklus und gewährleistet die Einhaltung einer Vielzahl von Standards für funktionale Sicherheit, Schutz und Programmierung.
    Die neue Version treibt die Evolution der Software-Testautomatisierung für die Embedded-Industrie weiter voran und unterstützt moderne Entwicklungsabläufe, wodurch CI/CD-Pipelines und DevOps ihre Produktivität beschleunigen können. Parasoft bleibt seinem Engagement zur Unterstützung der Kunden bei der Bereitstellung hochwertiger, sicherheitskritischer embedded Software treu.
    Zu den neuen Funktionen in Parasoft C/C++test 2020.2 gehören:
    -Die Git-Integration im SCM meldet neue Code-Verletzungen in Sekunden oder Minuten statt Stunden, so dass die Feedback-Schleife für Entwickler drastisch verkürzt wird.
    -Durch den Vergleich der Ergebnisse der neuen Code-Analyse mit den SCM-Baselines sparen Entwickler erheblich Zeit, denn sie können sich auf relevante Verletzungen und Code-Änderungen konzentrieren, anstatt zwischen neuen und bereits vorhandenen Verletzungen zu entschlüsseln.
    -Die VS-Code-Erweiterung mit Parasoft DTP, der Dashboard-Berichtslösung, ermöglicht den Import von statischen Analyseergebnissen aus Sitzungen, die auf Remote-Servern ausgeführt wurden, innerhalb von Sekunden oder Minuten.
    -Die erweiterte Compiler-Unterstützung kommt einem sich ständig ändernden Ökosystem für die Entwicklung von Embedded Tests entgegen und bietet Sicherheit. Details siehe Technische Spezifikationen.
    -Neue Produkt-Installationsprogramme in Form von Archivdateien (.zip & tar.gz) automatisieren die Installation und Verwaltung von Updates in Kundenumgebungen.
    -In-Datei-Unterdrückungen bieten Entwicklern eine transparente Möglichkeit zum Verwalten von Unterdrückungen, ohne dass sie Änderungen an den Quellcodedateien vornehmen müssen.

    „Als führendes Unternehmen bei der Software-Testautomatisierung von sicherheitskritischen embedded Echtzeitanwendungen, strebt unser Team nach einer grundlegenden Änderung der Art, wie Unternehmen ihre Software verifizieren. Parasoft C/C++test entwickelt sich weiterhin in einer Weise, die unsere Branche beeinflusst. Wir freuen uns, dass unsere Beiträge positiven Einfluss auf unsere Kunden haben“, sagt Richard Sherrad, VP of Product Management bei Parasoft.

    Parasoft C/C++test ist die vollständig integrierte Softwaretestlösung für sicherheitskritische embedded Industrien. Mit Parasoft C/C++test können Unternehmen sicheren und geschützten Code entwickeln, und profitieren von der Fehlerauffindung im frühen Entwicklungsprozess, von mithilfe der Testautomatisierung automatisch generierten Verifizierungsberichten für die Konformität mit Industriestandards, und von höherer Produktivität durch intelligente Tests.
    Die automatisierten Softwaretest-Features von Parasoft C/C++test eignen sich auch für moderne Hochgeschwindigkeits-Agile-DevOps-Umgebungen. Die Lösung lässt sich eng in die eigene C- und C++-IDE, CI/CD-Pipeline und containerisierte Implementierungen integrieren, um Fehler früher zu erkennen und die Einhaltung von Industriestandards automatisch durchzusetzen.

    Parasoft, seit 1987 führend bei Automated Software Testing, liefert innovative Tools, die zeitaufwändige Tests automatisieren und dem Management die intelligente Analytik für die Konzentration auf das Wesentliche zur Verfügung stellen. Die Technologien von Parasoft verringern den Zeit-, Arbeits- und Kostenaufwand für die Ablieferung sicherer, zuverlässiger und konformer Software durch die Integration von statischer Analyse und Laufzeit-Analyse, Modul-, Funktions-, API-Tests und UI-Tests mit Selenium sowie Service-Virtualisierung. Parasoft unterstützt Software-Unternehmen bei der Entwicklung und dem Deployment von Applikationen auf dem Embedded-, Enterprise- und IoT-Markt. Mit seinen Testwerkzeugen für Entwickler, seinen Report- und Analyse-Werkzeugen für Manager und seinen Dashboard-Lösungen für Führungskräfte gibt Parasoft Organisationen die Möglichkeit, die strategisch wichtigsten Entwicklungs-Initiativen von heute (Agile, Continuous Testing, DevOps und Security) erfolgreich umzusetzen.

    Firmenkontakt
    Parasoft Corp.
    Erika Delgado
    E. Huntington Drive 101
    91016 Monrovia, CA
    001 (626) 256-3680
    parasoft@lorenzoni.de
    http://www.parasoft.com

    Pressekontakt
    Agentur Lorenzoni GmbH, Public Relations
    Beate Lorenzoni
    Landshuter Straße 29
    85435 Erding
    +49 8122 559 17-0
    beate@lorenzoni.de
    http://www.lorenzoni.de

    Die Bildrechte liegen bei dem Verfasser der Mitteilung.

  • Parasoft und Lattix: Schnellere Tests von sicherheitskritischer embedded Software

    Parasoft und Lattix: Schnellere Tests von sicherheitskritischer embedded Software

    Effizienteres Erstellen und Testen von Anwendungen, Konformität schneller erzielen

    Monrovia (USA)/Berlin – November 2020 – Parasoft, seit über 30 Jahren weltweit führend bei automatisierten Softwaretests, gibt die Zusammenarbeit mit Lattix bekannt. Sie kombiniert die Parasoft C/C++test-Toolsuite für automatisierte Softwaretests mit Lattix Architect, das die schnelle visuelle Darstellung einer Anwendungsarchitektur zur kontinuierlichen Einhaltung und Durchsetzung der Qualität ermöglicht. Durch die Automatisierung der Softwarebereitstellungs-Pipeline in Verbindung mit den Expertendiensten von Lattix erhalten embedded sicherheitskritische Software-Entwicklungsunternehmen einen stabilen, skalierbaren und umfassenden DevOps-Arbeitsablauf. Durch diese Zusammenarbeit können Teams die Software-Architektur und -Qualität lückenlos verwalten und Tests so durchführen, dass sicherheitskritische Standards eingehalten werden.

    Lattix bietet Dienstleistungen zur Optimierung vieler verschiedener CI/CD-Plattformen (wie z.B. GitLab) an, wobei die Kombination von Lattix Architect und Parasoft C/C++test zur Verbesserung der Softwarebereitstellung beiträgt. Diese Dienste ermöglichen es, die CI/CD-Pipeline kundenspezifisch anzupassen. Kunden profitieren von benutzerdefinierten DevOps-Integrationen und maßgeschneiderter DocOps-Ausgabe, um Industriestandards zu erfüllen, welche spezifische Berichtsformate wie ISO 26262 für die Automobilindustrie verlangen.

    „Ich bin von dieser Partnerschaft wegen des enormen Effizienzgewinns für Software-Teams begeistert. Bisher trugen die Entwickler eine große Last bei der Entscheidung, ob Software-Änderungen unerwünschte Qualitäts-, Sicherheits- oder Schutzprobleme verursachen würden. Zu solchen Problemen können unerwünschte Abweichungen in der Architektur, Verletzungen der statischen Code-Analyse und Testregressionsfehler oder Einbrüche in der strukturellen Code-Abdeckung gehören“, erläutert Dave Hauck, Director of Embedded Sales bei Parasoft. „Die neue Lattix- und Parasoft-Integration verhindert nun durch einen gestrafften, DevOps-fähigen Ablauf eine Qualitätsminderung bei jedem Auftrag in der CI/CD-Pipeline.“
    Lattix, Inc.

    Parasoft, seit 1987 führend bei Automated Software Testing, liefert innovative Tools, die zeitaufwändige Tests automatisieren und dem Management die intelligente Analytik für die Konzentration auf das Wesentliche zur Verfügung stellen. Die Technologien von Parasoft verringern den Zeit-, Arbeits- und Kostenaufwand für die Ablieferung sicherer, zuverlässiger und konformer Software durch die Integration von statischer Analyse und Laufzeit-Analyse, Modul-, Funktions-, API-Tests und UI-Tests mit Selenium sowie Service-Virtualisierung. Parasoft unterstützt Software-Unternehmen bei der Entwicklung und dem Deployment von Applikationen auf dem Embedded-, Enterprise- und IoT-Markt. Mit seinen Testwerkzeugen für Entwickler, seinen Report- und Analyse-Werkzeugen für Manager und seinen Dashboard-Lösungen für Führungskräfte gibt Parasoft Organisationen die Möglichkeit, die strategisch wichtigsten Entwicklungs-Initiativen von heute (Agile, Continuous Testing, DevOps und Security) erfolgreich umzusetzen.

    Firmenkontakt
    Parasoft Corp.
    Erika Delgado
    E. Huntington Drive 101
    91016 Monrovia, CA
    001 (626) 256-3680
    parasoft@lorenzoni.de
    http://www.parasoft.com

    Pressekontakt
    Agentur Lorenzoni GmbH, Public Relations
    Beate Lorenzoni
    Landshuter Straße 29
    85435 Erding
    +49 8122 559 17-0
    beate@lorenzoni.de
    http://www.lorenzoni.de

    Die Bildrechte liegen bei dem Verfasser der Mitteilung.

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

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

    Ithaca, NY (USA) – 10. Februar 2020 – GrammaTech, einer der führenden Anbieter für statische Code-Analyse und Cyber-Security-Lösungen, stellt auf der diesjährigen Embedded World in Nürnberg die IoT-Wertschöpfungskette in den Mittelpunkt: Wie können Entwickler von den Sensoren und Aktoren des IoT bis hin zu den Anwendungen sicherstellen, dass alle Komponenten zuverlässig, sicher und vertrauenswürdig sind?

    Eine zentrale Rolle dabei spielt die Code-Qualität. Um diese über den ganzen Software Development Lifecycle hinweg sicherzustellen, hat sich die statische Code-Analyse (SAST, Static Application Security Testing) bewährt. Das Verfahren ist auch in zahlreichen Normen im sicherheitskritischen Bereich vorgeschrieben. Mit CodeSonar stellt GrammaTech den Unternehmen eine Lösung bereit, die Quell- und Binär-Code über aller Bausteine des IoT hinweg auf Fehler, Sicherheitslücken und Normabweichungen hin überprüfen kann.

    Mit der aktuellen Version 5.2 hat GrammaTech sein bewährtes Tool CodeSonar um zahlreiche neue Funktionen erweitert. So wurden die Neuerung der Standards C17/C++17 sowie C++20 integriert. Auch die Unterstützung des offenen Standards SARIF 2.1 ist nun Teil von CodeSonar 5.2, wodurch die Zusammenarbeit von CodeSonar mit vielen IDEs weiter verbessert werden konnte. Zudem unterstützt CodeSonar 5.2 nun die aktuellste Version der Julia-Engine, die präzise Analysen bei Java und C# erlaubt.

    Eine weitere Neuerung betrifft die unterstützen Prozessorarchitekturen bei der Analyse binärer Dateien: Bislang konnte CodeSonar for Binaries Binärdateien analysieren, die für x86- und ARM-Architekturen kompiliert wurden. Mit der neuesten Version lassen sich nun auch Binärdateien für Power-Architekturen auf Fehler und Schwachstellen untersuchen. Auch diese Prozessorenfamilie ist sowohl im Embedded- als auch im Server-Umfeld weit verbreitet.

    GrammaTech zeigt seine Lösungen auf der Embedded World 2020 vom 25. bis 27. Februar 2020 in Halle 4, Stand 4-423.

    About GrammaTech:
    GrammaTech’s advanced static analysis tools are used by software developers worldwide, spanning a myriad of embedded software industries including avionics, government, medical, military, industrial control, and other applications where reliability and security are paramount. Originally developed within Cornell University, GrammaTech is now a leading research center for software security and a commercial vendor of software-assurance tools and advanced cyber-security solutions. With both static and dynamic analysis tools that analyze source code as well as binary executables, GrammaTech continues to advance the science of superior software analysis, providing technology for developers to produce safer software. For more information, visit www.grammatech.com or follow us on LinkedIn: https://www.linkedin.com/company/grammatech

    Firmenkontakt
    GrammaTech, Inc.
    Rodney Fleming
    Esty Street 531
    14850 Ithaca, NY
    +1-607-273-7340
    sales@grammatech.com
    http://www.grammatech.com

    Pressekontakt
    sayIT Public Relations
    Jan Schulze
    Franz-Brombach-Str. 11
    85435 Erding
    08122-954 77 13
    jan@sayit-pr.de
    http://www.sayit-pr.de

    Die Bildrechte liegen bei dem Verfasser der Mitteilung.

  • Verifysoft Technology auf der Embedded World 2020

    Verifysoft Technology auf der Embedded World 2020

    Verifysoft Technology zeigt auf der diesjährigen Messe in Nürnberg seine Code-Coverage-Lösung Testwell CTC++ zur Messung der Testabdeckung bei Embedded-Systemen.

    OFFENBURG, 3. Februar 2020 – Verifysoft Technology GmbH, Anbieter der verbreiteten Code-Coverage-Lösung Testwell CTC++, präsentiert auf der Embedded World 2020 die Leistungsfähigkeit seines Tools für die Qualitätssicherung bei Embedded-Systemen. Testwell CTC++ misst die Testabdeckung bei Embedded-Systemen und ist speziell auf die eingeschränkten Hardware-Reserven kleiner Targets optimiert.

    „Die grundsätzliche Herausforderung bei Validierung und Verifizierung von Embedded-Systemen ist, dass für die Messung der Testabdeckung der Code um Zähler erweitert werden muss“, erläutert Klaus Lambertz, Geschäftsführer bei Verifysoft Technology. „Das kann zu Speicherproblemen führen, aber auch die Prozessoren überlasten. Testwell CTC++ wurde speziell für Embedded-Devices konzipiert.“

    Vor allem für Unternehmen, die ihre Software nach strengen Standards wie IEC 61508, ISO 26262 oder DO-178B/C entwickeln, sind Nachweis und Dokumentation der Testabdeckung im Rahmen der Zertifizierung unabdingbar. Entsprechend stehen für zahlreiche Normen Qualification Kits zur Verfügung, welche die vorgegebene Qualifizierung des Werkzeugs innerhalb der Tool-Chain unterstützen.

    Testwell CTC++ unterstützt alle Compiler und Cross-Compiler. Das Tool erlaubt die Erfassung aller Testabdeckungsstufen bis hin zu MC/DC und MMC. Damit kann Testwell CTC++ in allen Projekten eingesetzt werden, in denen sicherheitskritische Embedded-Anwendungen mit C, C++, Java oder C# entwickelt werden.
    Verifysoft Technology stellt auf der Embedded World 2020 in Nürnberg vom 25. bis 27. Februar 2020 in Halle 4, Stand 4-423 aus.

    Die Verifysoft Technology GmbH ist ein führender Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität und Senkung der Entwicklungskosten im Embedded-Bereich. Das 2003 gegründete Unternehmen betreut mit einem internationalen Beraterteam am Firmensitz in Offenburg über 600 Kunden in weltweit fast 40 Ländern.

    Ein Schwerpunkt von Verifysoft Technology ist die Messung und Dokumentation der Code Covergage (Testüberdeckung). Dazu bietet Verifysoft Technology mit Testwell CTC++, Testwell CMT++ und Testwell CMTJava Lösungen an, die in allen sicherheitskritischen Branchen zum Einsatz kommen. Zudem ist Verifysoft Technology Distributor für verschiedene weitere Tools zur Qualitätssicherung von Software in Embedded Devices, wie zum Beispiel der Statischen Codeanalyse. Weitere Informationen zu Verifysoft Technology stehen unter www.verifysoft.com bereit.

    Firmenkontakt
    Verifysoft Technology GmbH
    Anna Kallenberg
    In der Spöck 10-12
    77656 Offenburg
    0781 127 8118-0
    kallenberg@verifysoft.com
    https://www.verifysoft.com/de.html

    Pressekontakt
    sayIT Public Relations
    Jan Schulze
    Franz-Brombach-Str. 11
    85435 Erding
    08122 954 77 13
    jan@sayit-pr.de
    http://sayit-pr.de

    Die Bildrechte liegen bei dem Verfasser der Mitteilung.

  • Forschungsbeitrag von GrammaTech für Bug Injector von IEEE SCAM 2019 ausgezeichnet

    Forschungsbeitrag von GrammaTech für Bug Injector von IEEE SCAM 2019 ausgezeichnet

    Ithaca, NY (USA) – 3. Februar 2020 – Während der International Working Conference zu Source Code Analysis & Manipulation (SCAM) wurde ein Forschungsbeitrag von GrammaTech mit dem „Distinguished Paper Award“ des Institute of Electrical and Electronics Engineers (IEEE) Computer Society TCSE (Technical Council on Software Engineering) ausgezeichnet.

    Die Veröffentlichung wurde nach mehreren Reviews und Abstimmungen durch die Komiteemitglieder ausgewählt. Das Dokument beschreibt ausführlich Bug Injector, ein System zur automatischen Erstellung von Benchmarks zur individuellen Evaluierung von Tools zur statischen Code-Analyse. Das Papier steht hier zum Download bereit: https://arxiv.org/pdf/1901.02819.pdf

    Bug Injector fügt echten Programmen gezielt Fehler auf Basis eines Bug-Templates hinzu. Das Tool führt auf dem Host-Programm Tests aus, um dynamische Spuren zu erkennen. In dieses Spuren sucht es nach einem Punkt, an dem der Zustand zu den Vorgaben eines Bug-Templates passt. Hier modifiziert Bug Injector das Host-Programm, indem es anhand dieses Templates einen Fehler injiziert. Die injizierten Bugs dienen als Testfälle, um einen Benchmark zur Evaluierung eines Tools zur statischen Analyse zu erstellen. Bug Injector verbindet jeden eingefügten Fehler mit dem passenden Programm-Input, um den Bug auszuführen. Das Forscherteam von GrammaTech identifizierte zahlreiche Anforderungen und Desiderate für Fehler-Benchmarks. Daraus ergaben sich Test-Benchmarks „on demand“, die diesen Anforderungen gerecht werden. Auch ermöglichte es dieser Ansatz, individuelle Benchmarks zu entwickeln, mit denen Tools für spezifische Einsatzszenarien – etwa eine vorgegebene Codebasis oder Fehlerklasse – evaluiert werden können. Die Eignung der erzeugten Benchmarks für die Evaluierung statischer Bug-Detection-Tools und zum Vergleich unterschiedlicher Werkzeuge konnte experimentell gezeigt werden.

    Laut der SCAM Website ist es das Ziel der International Working Conference, Forscher und Praktiker zusammenzubringen, um theoretische Grundlagen, Techniken und Anwendungen im Bereich der Analyse und/oder Manipulation von Quell-Code auf Computersystemen weiter zu entwickeln. Denn obwohl sich das Gros der Software-Entwickler-Community anderen Aspekten der Systementwicklung und -evolution zuwendet, ist der Source-Code die einzige exakte Beschreibung des Verhaltens eines Systems. Die Analyse und Manipulation dieses Source-Codes bleibt nach wie vor ein wichtiges Gebiet.

    Weitere Details zu Bug-Injector finden Sie im GrammaTech-Blog

    GrammaTech auf der Embedded World 2020 vom 25. bis 27. Februar 2020 in Nürnberg: Halle 4, Stand 4-423

    Bug-Injector research was sponsored by the Defense Advanced Research Projects Agency (DARPA) under Contract No. D17PC00096 and the Department of Homeland Security (DHS) Science and Technology Directorate, Cyber Security Division (DHS S&T/CSD) via contract number HHSP233201600062C. The views, opinions, findings, and conclusions or recommendations contained herein are those of the authors and should not be interpreted as necessarily representing the official views policies or endorsements, either expressed or implied, of DARPA or DHS.

    About GrammaTech:
    GrammaTech’s advanced static analysis tools are used by software developers worldwide, spanning a myriad of embedded software industries including avionics, government, medical, military, industrial control, and other applications where reliability and security are paramount. Originally developed within Cornell University, GrammaTech is now a leading research center for software security and a commercial vendor of software-assurance tools and advanced cyber-security solutions. With both static and dynamic analysis tools that analyze source code as well as binary executables, GrammaTech continues to advance the science of superior software analysis, providing technology for developers to produce safer software. For more information, visit www.grammatech.com or follow us on LinkedIn: https://www.linkedin.com/company/grammatech

    Firmenkontakt
    GrammaTech, Inc.
    Rodney Fleming
    Esty Street 531
    14850 Ithaca, NY
    +1-607-273-7340
    sales@grammatech.com
    http://www.grammatech.com

    Pressekontakt
    sayIT Public Relations
    Jan Schulze
    Franz-Brombach-Str. 11
    85435 Erding
    08122-954 77 13
    jan@sayit-pr.de
    http://www.sayit-pr.de

    Die Bildrechte liegen bei dem Verfasser der Mitteilung.

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

    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 Tools und in den Entwicklungszyklus integrierte Prozesse zuverlässig und kostensparend beseitig werden können.

    „Embedded-Systeme gewinnen in allen Branchen an Kritikalität“, so Klaus Lambertz, Geschäftsführer von Verifysoft Technology. „Jeder Fehler kann gravierende Folgen haben, sei es für die Geschäftsprozesse eines Unternehmens, sei es für die Gesundheit von Menschen. Es gilt also, Fehler so zuverlässig wie möglich zu erkennen und zu beseitigen. Durch die statische Code-Analyse können Bugs sehr frühzeitig und effizient aufgedeckt werden, hier ergibt sich ein großes Einsparungspotenzial für die Entwicklungsabteilungen.“

    Themen des 7. Static Code Analysis Day sind unter anderem SARIF, ein neuer Standard zur Vereinfachung der Integration von statischen Analyse-Tools, die Nutzung der Delta-Analyse zur besseren Beurteilung der Auswirkungen von Fehlern und die Auswahlkriterien für Analysewerkzeuge.

    Die Referenten:
    Dipl.-Ing. Royd Lüdtke, Direktor Statische Analysetools bei Verifysoft Technology
    Dr. Paul Anderson, Vice President of Engineering bei GrammaTech
    Dr. Guido Persch, Chief Technologist bei Imagix

    Weitere Informationen und Anmeldemöglichkeiten zum 7. Static Code Analysis Day am 3. März in Offenburg stehen unter https://www.verifysoft.com/de_static_analysis_day_2019.html bereit.

    Verifysoft Technology auf der embedded world 2020 vom 25. bis 27. Februar 2020: Besuchen Sie uns in Halle 4, Stand 4-423.

    Die Verifysoft Technology GmbH ist ein führender Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität und Senkung der Entwicklungskosten im Embedded-Bereich. Das 2003 gegründete Unternehmen betreut mit einem internationalen Beraterteam am Firmensitz in Offenburg über 600 Kunden in weltweit fast 40 Ländern.

    Ein Schwerpunkt von Verifysoft Technology ist die Messung und Dokumentation der Code Covergage (Testüberdeckung). Dazu bietet Verifysoft Technology mit Testwell CTC++, Testwell CMT++ und Testwell CMTJava Lösungen an, die in allen sicherheitskritischen Branchen zum Einsatz kommen. Zudem ist Verifysoft Technology Distributor für verschiedene weitere Tools zur Qualitätssicherung von Software in Embedded Devices, wie zum Beispiel der Statischen Codeanalyse. Weitere Informationen zu Verifysoft Technology stehen unter www.verifysoft.com bereit.

    Firmenkontakt
    Verifysoft Technology GmbH
    Polina Handzhiyska
    In der Spöck 10-12
    77656 Offenburg
    0781 127 8118-0
    Handzhiyska@verifysoft.com
    https://www.verifysoft.com/de.html

    Pressekontakt
    sayIT Public Relations
    Jan Schulze
    Franz-Brombach-Str. 11
    85435 Erding
    08122 954 77 13
    jan@sayit-pr.de
    http://sayit-pr.de

    Die Bildrechte liegen bei dem Verfasser der Mitteilung.

  • Embraer nutzt Testwell CTC++ für sicherheitskritische Systeme

    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 Technology aus Offenburg eingeführt.

    Das Unternehmen entwickelt selbst Systeme und Steuerungen, die zum Teil dem höchsten Design Assurance Level (DAL A) der DO-178C unterliegen. Entsprechend ist beim Testing ein erheblicher Aufwand zu betreiben, um die Software regelkonform zu verifizieren. Die Durchführung und die Ergebnisse des Testings müssen erfasst und dokumentiert werden. Somit benötigte Embraer eine Lösung, um die Testabdeckung zu messen. Gerade bei Embedded-Systemen sind hierfür jedoch einige Hürden zu nehmen: Zur Messung der Code-Coverage muss der zu testende Code um Zähler erweitert werden. Dieser als Instrumentierung bezeichnete Vorgang lässt den Code jedoch wachsen, was bei sehr kleinen Targets zu Problemen mit dem verfügbaren Speicher oder mit dem Laufzeitverhalten führen kann.

    Embraer entschied sich hier für Testwell CTC++. Das Tool wurde speziell für die Code Coverage bei Embedded-Systemen entwickelt und erzeugt einen extrem kleinen Overhead bei der Instrumentierung. Zudem arbeitet es unabhängig von den eingesetzten Compilern und kann so leicht in eine bestehende Tool-Chain integriert werden. „Wir müssen bei den kritischen Systemen die Vorgaben A-7.3 bis A-7.8 im Testing erreichen“, erläutert João Carlos Davison, bei Embraer für die Verifizierung und Zertifizierung zuständig. „Dazu gehören auch Strukturtests mit Statement-Coverage, Decision-Coverage und MC/DC.“

    Vor der Evaluierung von Testwell CTC++ durch die Entwickler von Embraer gab es einige Bedenken. So war das Team unsicher, ob Testwell CTC++ für die sehr hohe Komplexität der Tests mit vielen MC/DC-Test-Fällen geeignet sei. Alle Fragen konnten jedoch im Lauf der umfangreichen Evaluierung zur Zufriedenheit der Entwickler beantwortet werden, so dass einem Einsatz des Tools im Rahmen von DO-178C DAL A nichts im Wege stand. Testwell CTC++ wurde in den kontinuierlichen Verifizierungs-Workflow bei Embraer integriert, mit dem regelmäßig eine automatische Verifizierung bei Änderungen am Source-Code oder an den Tests erfolgt. Für Testwell CTC++ sprach laut Davison nicht zuletzt die sehr einfache Integrierbarkeit in den bestehenden Prozess und die Tool-Chain. Zudem sei Testwell CTC++ als Kommandozeilen-Tool einfach zu erlernen und leicht zu bedienen. Die visualisierten Berichte sind gut zu überschauen und bieten einen schnellen Zugriff auf alle benötigten Informationen.

    „Wir freuen uns sehr, dass sich Embraer für Testwell CTC++ entschieden hat“, so Klaus Lambertz, Geschäftsführer von Verifysoft Technology. „Die von uns vertriebene Lösung hat sich über viele Jahre bei der Entwicklung von Embedded-Systemen – auch im sicherheitskritischen Bereich – weltweit bewährt. Dass uns ein bedeutender Flugzeughersteller das Vertrauen schenkt und Testwell CTC++ für die höchsten Sicherheitsanforderungen nutzt, ist dafür der beste Beleg.“

    Embraer ist nach Boeing, Airbus und Bombardier der viertgrößte Flugzeughersteller der Welt. Das Unternehmen, das in São Jose dos Campos nahe São Paulo ansässig ist, beschäftigt rund 18.000 Mitarbeiter und erwirtschaftete 2016 einen Umsatz über sechs Milliarden US-Dollar.

    Verifysoft Technology auf der embedded world 2020 vom 25. bis 27. Februar 2020: Besuchen Sie uns in Halle 4, Stand 4-423.

    Die Verifysoft Technology GmbH ist ein führender Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität und Senkung der Entwicklungskosten im Embedded-Bereich. Das 2003 gegründete Unternehmen betreut mit einem internationalen Beraterteam am Firmensitz in Offenburg über 600 Kunden in weltweit fast 40 Ländern.

    Ein Schwerpunkt von Verifysoft Technology ist die Messung und Dokumentation der Code Covergage (Testüberdeckung). Dazu bietet Verifysoft Technology mit Testwell CTC++, Testwell CMT++ und Testwell CMTJava Lösungen an, die in allen sicherheitskritischen Branchen zum Einsatz kommen. Zudem ist Verifysoft Technology Distributor für verschiedene weitere Tools zur Qualitätssicherung von Software in Embedded Devices, wie zum Beispiel der Statischen Codeanalyse. Weitere Informationen zu Verifysoft Technology stehen unter www.verifysoft.com bereit.

    Firmenkontakt
    Verifysoft Technology GmbH
    Polina Handzhiyska
    In der Spöck 10-12
    77656 Offenburg
    0781 127 8118-0
    Handzhiyska@verifysoft.com
    https://www.verifysoft.com/de.html

    Pressekontakt
    sayIT Public Relations
    Jan Schulze
    Franz-Brombach-Str. 11
    85435 Erding
    08122 954 77 13
    jan@sayit-pr.de
    http://sayit-pr.de

    Die Bildrechte liegen bei dem Verfasser der Mitteilung.

  • Miele setzt bei neuer Generation von Haushaltsgeräten auf ELinOS von SYSGO

    Miele setzt bei neuer Generation von Haushaltsgeräten auf ELinOS von SYSGO

    Die Embedded Linux Variante ELinOS des deutschen Herstellers SYSGO dient als technische Basis für die neue Haushaltsgeräte-Generation 7000 in der Premium und Prestige Klasse von Miele. Damit setzen beide Unternehmen ihre langjährige und erfolgreiche Zusammenarbeit fort. Schon die 2015 erstmals vorgestellte Generation 6000 nutzt ELinOS vor allem für das innovative Bedienkonzept mit einem Touchpad.

    Eine gemeinsame Hardware- und Softwarebasis für alle Haushaltsgeräte zu nutzen, ist eine wesentliche Komponente der Entwicklungsphilosophie von Miele. Hinzu kommt das Bestreben, die Bedienung von der zunehmenden Komplexität der Geräte abzukoppeln und dem Kunden so einfach wie möglich zu machen. Mit ELinOS verfügt Miele über eine hochperformante und sehr flexible Softwareumgebung, die für Embedded Anwendungen optimiert ist. Zudem hat das Unternehmen jederzeit Zugriff auf die Consultants und Ingenieure von SYSGO, die das hausinterne Team bei der Anpassung und Eigenentwicklungen aktiv unterstützen. So hat SYSGO speziell für Miele den Linux Kernel so optimiert, dass er innerhalb von wenigen Millisekunden startet und so dem Anwender alle Funktionen unmittelbar nach dem Einschalten des Geräts zur Verfügung stehen.

    ELinOS ist zudem die technische Basis für „M Touch“, das Touchpad-basierte Bedienkonzept von Miele. Aufgrund der hohen Anforderungen an das „M Touch“ Bedienkonzept waren diverse Anpassungen an den Software-Komponenten notwendig. SYSGO konnte hierbei seine Erfahrung einsetzen um Miele bei der Portierung der bestehenden Softwareinfrastruktur, auf eine Linux basierte embedded Distribution zu unterstützen.

    ELinOS stellt neben einer für Embedded Anwendungen optimierten Linux-Distribution eine umfassende Toolsammlung sowie mit CODEO auch eine Eclipse-basierte grafische Entwicklungsumgebung zur Verfügung. Um ein höchstmögliches Sicherheitsniveau zu gewährleisten, lehnt sich ELinOS an die Debian-Distribution an, bei der Sicherheitslücken erfahrungsgemäß sehr zeitnah beseitigt werden. Dabei setzt SYSGO ausschließlich auf LTS Kernel Releases (Long Term Supported), um den bei Embedded Anwendungen erforderlichen, langfristigen Support sicher zu stellen.

    „Bei der Generation 6000 fiel unsere Entscheidung auf ELinOS, weil SYSGO nicht nur Betriebssystem und Entwicklungsumgebung zur Verfügung stellen konnte, sondern zudem über umfassende Erfahrung in Embedded Anwendungen besaß und als europäischer Hersteller auch über die gesamte Entwicklungsphase hinweg einen umfassenden lokalen Support gewährleisten konnte“, sagt Daniel Bettenworth, Product Owner bei Miele. „Sowohl ELinOS selbst als auch die Zusammenarbeit mit SYSGO haben sich hervorragend bewährt, und so gab es keinen Grund, bei der neuen Generation auf eine andere Plattform zu setzen.“

    SYSGO ist stolz darauf Miele seit über 10 Jahren als Kunden betreuen zu können. „Die Zusammenarbeit mit Miele war geprägt von einem sehr guten technischen Verständnis und dem Blick auf besonders hohe Qualität bei der Entwicklung der einzelnen Software Komponenten“, sagt David Engraf, Projektleiter bei SYSGO.

    SYSGO ist der führende europäische Hersteller von Embedded-Betriebssystemen, der seit mehr als 25 Jahren sicherheitskritische Anwendungen in der Luft- und Raumfahrt, der Automobilindustrie, der Eisenbahn und dem IIoT-Bereich unterstützt. Das Unternehmen entwickelt und pflegt PikeOS, das weltweit erste SIL-4-zertifizierte Echtzeit-Betriebssystem mit Multi-Core-Unterstützung. Der direkt auf der Hardware laufende Hypervisor (Type-1) ist nach den strengsten Safety-Standards wie IEC 61508, EN 50128 und ISO 26262 zertifiziert. Mit Blick auf Security ist PikeOS derzeit der einzige Separation-Kernel, der eine Zertifizierung nach Common Criteria (EAL3+) besitzt. Zudem bietet PikeOS eine vollständig zertifizierte Programmierschnittstelle und ermöglicht so die Anwendungsentwicklung nach dem Prinzip „Safe & Secure by Design“. Für weniger kritische Systeme bietet SYSGO auch ELinOS an, eine Linux-Distribution mit Echtzeit-Erweiterungen für Embedded Systeme.
    SYSGO arbeitet während des gesamten Produktlebenszyklus eng mit seinen Kunden wie Samsung, Airbus, Thales, Continental usw. zusammen und unterstützt sie bei der formalen Zertifizierung von Software nach internationalen Standards für funktionale und IT-Sicherheit. SYSGO hat seinen Hauptsitz in Klein-Winternheim bei Frankfurt sowie Tochtergesellschaften in Frankreich, Tschechien und Großbritannien und unterhält ein weltweites Vertriebsnetz. Das Unternehmen ist Teil der europäischen Thales-Gruppe.

    Firmenkontakt
    SYSGO GmbH
    Markus Jastroch
    Am Pfaffenstein 14
    55270 Klein-Winterheim
    +49 6136 9948-0
    info@sysgo.com
    https://www.sysgo.com/

    Pressekontakt
    Prolog Communications GmbH
    Achim Heinze
    Sendlinger Str. 24
    80331 München
    +49 89 800 77-0
    achim.heinze@prolog-pr.com
    http://www.prolog-pr.com

    Bildquelle: Sysgo GmbH

  • Five Points Capital schließt Übernahme von GrammaTech ab

    Five Points Capital schließt Übernahme von GrammaTech ab

    Ithaca, NY / Bethesda, MD (USA) – 12. November 2019 – Five Points Capital, ein führender Private-Equity-Manager gibt bekannt, dass das Unternehmen GrammTech Inc. übernommen hat. GrammaTech ist Anbieter von Software-Assurance-Tools und fortschrittlicher Cyber-Security-Lösungen für Regierungsbehörden und gewerbliche Kunden. Five Points Capital ging für diese Übernahme eine Partnerschaft mit Pleasant Bay Capital, Crescendo Capital, Capital Southwest Corporation und dem neuen GrammaTech-CEO Mike Dager ein.

    Dager wird GrammaTech als Chief Executive Officer führen. Er greift auf über 30 Jahre Erfahrung in leitenden Positionen in den Märkten zurück, die GrammaTech bedient. Zuvor bekleidete Dager unter anderem Positionen als CEO bei Enea, Worksoft oder Arxan Technologies sowie im Senior Sales Management bei Pure Software.

    „Tim Teitelbaum und Thomas Reps, die Gründer von GrammaTech, haben das Unternehmen gut für die weitere Expansion im wachsenden Markt für Application Security positioniert“, sagt Dager. „Wir freuen uns darauf, auf dieser Basis weiter aufzubauen und die zahlreichen Chancen zu nutzen, die sich GrammaTech auftun.“

    Die Software von GrammaTech ermöglicht es den Anwendern, Source- und Binär-Code schnell auf Schwachstellen zu überprüfen, die zu Sicherheitslücken, Systemausfällen oder Einschränkungen bei Zuverlässigkeit und Performance führen können. Die Expertise von GrammaTech im Application-Security-Testing wurde im Laufe von drei Jahrzehnten im Rahmen innovativer Forschung für die nationale Security-Community und Behörden der US-Regierung aufgebaut.

    Über Five Points Capital
    Five Points Capital wurde 1997 gegründet und ist ein führender Private-Equity-Verwalter, der sich exklusiv auf den unteren Mittelstand in den USA fokussiert. Five Points verwaltet branchenorientierte Fund-of-Funds-Strategien für direktes Private-Equity-, Kredit- und Small-Market-Buyout, die auf die Unterstützung des Kapitalbedarfs von privaten, wachstumsorientierten Unternehmen ausgerichtet sind. Five Points beteiligt sich direkt als Hauptinvestor oder als Co-Investor mit anderen Private-Equity-Gruppen an Kontrolltransaktionen von Unternehmen in Privatbesitz. Five Points bieten Unitranche oder nachrangigen Schuldtiteln mit Kapitalbeteiligung zur Unterstützung von Finanzsponsoren und anderen an, sowie für nicht gesponserte Rekapitalisierungen oder Wachstumsinvestitionsmöglichkeiten. Außerdem investiert Five Points in andere Private-Equity-Buyout-Fonds und tätigt Co-Investments im kleinen bis unteren Mittelstand. Five Points hat seinen Sitz in Winston-Salem, North Carolina, und ist ein bei der US-amerikanischen Börsenaufsichtsbehörde (Securities and Exchange Commission) registrierter Anlageberater. Mehr Informationen finden Sie unter www.fivepointscapital.com

    About GrammaTech:
    GrammaTech’s advanced static analysis tools are used by software developers worldwide, spanning a myriad of embedded software industries including avionics, government, medical, military, industrial control, and other applications where reliability and security are paramount. Originally developed within Cornell University, GrammaTech is now a leading research center for software security and a commercial vendor of software-assurance tools and advanced cyber-security solutions. With both static and dynamic analysis tools that analyze source code as well as binary executables, GrammaTech continues to advance the science of superior software analysis, providing technology for developers to produce safer software. For more information, visit www.grammatech.com or follow us on LinkedIn: https://www.linkedin.com/company/grammatech

    Firmenkontakt
    GrammaTech, Inc.
    Rodney Fleming
    Esty Street 531
    14850 Ithaca, NY
    +1-607-273-7340
    sales@grammatech.com
    http://www.grammatech.com

    Pressekontakt
    sayIT Public Relations
    Jan Schulze
    Franz-Brombach-Str. 11
    85435 Erding
    08122-954 77 13
    jan@sayit-pr.de
    http://www.sayit-pr.de

    Die Bildrechte liegen bei dem Verfasser der Mitteilung.

  • Verifysoft Technology von GrammaTech ausgezeichnet

    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 uns sehr, dass wir auch in diesem Jahr wieder gemeinsam mit GrammaTech erfolgreich sein konnten“, so Klaus Lambertz, Geschäftsführer von Verifysoft Technology. „Wir sind sehr stolz, den größten Einzelumsatz aller Distributoren weltweit erzielt zu haben. Das zeigt letztlich, dass Deutschland bei der Entwicklung von Embedded-Systemen in der ersten Liga mitspielt.“

    Das Tool CodeSonar dient dazu, Programmcode bei der Entwicklung von Embedded-Systemen durch statische Code-Analyse auf Fehler und Schwachstellen zu überprüfen. Dieses Verfahren kann bereits in einer sehr frühen Phase der Produktentwicklung eingesetzt und in weiten Teilen automatisiert werden. CodeSonar findet dabei zuverlässig klassische Programmierfehler wie Buffer Overruns oder Null-Pointer Dereferenzierungen, die das Einfallstor für die meisten Cyber-Angriffe bilden.

    Der nun ausgezeichnete Umsatz konnte bei einem großen deutschen Automobilhersteller erzielt werden. Das Unternehmen, welches CodeSonar unter anderem bei der Entwicklung neuer, sicherheitskritischer Technologien einsetzt, nutzt das Werkzeug bereits seit einigen Jahren und erneuerte nun seine Lizenzen für weitere drei Jahre. „Neben der Leistungsfähigkeit von CodeSonar war der Support ein wichtiger Grund für unseren Kunden, weiter auf dieses Tool zu setzen“, so Royd Lüdtke, Direktor für statische Code-Analyse bei Verifysoft Technology. „Anfragen unserer Kunden kommen direkt in unserem Firmensitz in Offenburg an und werden gleich von technisch versierten Mitarbeitern entgegengenommen. Diese kennen das Produkt und die Herausforderungen der Kunden. Das wissen die Anwender offensichtlich zu schätzen. Immerhin nutzen die meisten Automobilhersteller und Zulieferer in Deutschland CodeSonar zur Qualitätssicherung in der Software-Entwicklung.“

    Auch der Hersteller freut sich natürlich über den geschäftlichen Erfolg: „Die diesjährige Auszeichnung ist ein weiterer Meilenstein für die Zusammenarbeit zwischen GrammaTech und Verifysoft Technology“, so Mark Hermeling, Senior Director Product Marketing bei GrammaTech. „Verifysoft Technology bringt ein hohes Maß an Expertise mit und schafft es so, langfristige und vertrauensvolle Beziehungen zu den CodeSonar-Anwendern in Deutschland über alle Branchen hinweg aufzubauen. Davon profitieren alle – die Kunden, unser Distributor und natürlich nicht zuletzt wir als Hersteller.“

    Die Verifysoft Technology GmbH ist ein führender Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität und Senkung der Entwicklungskosten im Embedded-Bereich. Das 2003 gegründete Unternehmen betreut mit einem internationalen Beraterteam am Firmensitz in Offenburg über 600 Kunden in weltweit fast 40 Ländern.

    Ein Schwerpunkt von Verifysoft Technology ist die Messung und Dokumentation der Code Covergage (Testüberdeckung). Dazu bietet Verifysoft Technology mit Testwell CTC++, Testwell CMT++ und Testwell CMTJava Lösungen an, die in allen sicherheitskritischen Branchen zum Einsatz kommen. Zudem ist Verifysoft Technology Distributor für verschiedene weitere Tools zur Qualitätssicherung von Software in Embedded Devices, wie zum Beispiel der Statischen Codeanalyse. Weitere Informationen zu Verifysoft Technology stehen unter www.verifysoft.com bereit.

    Firmenkontakt
    Verifysoft Technology GmbH
    Polina Handzhiyska
    In der Spöck 10-12
    77656 Offenburg
    0781 127 8118-0
    Handzhiyska@verifysoft.com
    https://www.verifysoft.com/de.html

    Pressekontakt
    sayIT Public Relations
    Jan Schulze
    Franz-Brombach-Str. 11
    85435 Erding
    08122 954 77 13
    jan@sayit-pr.de
    http://sayit-pr.de

    Die Bildrechte liegen bei dem Verfasser der Mitteilung.

  • Start zum Deep Tech Award 2019

    60.000 Euro Preisgeld für Berliner Unternehmen und ihre innovativen Lösungen und Produkte in Hardware und systemnaher Software

    BildZum vierten Mal lobt die Senatsverwaltung für Wirtschaft, Energie und Betriebe gemeinsam mit dem Verband der Internet- und IT-Wirtschaft in Berlin und Brandenburg, SIBB e. V., im Rahmen der Landesinitiative Projekt Zukunft und der Kampagne für den IT-Standort Berlin „log in. berlin.“ den Deep Tech Award (DTA) aus.

    Der Deep Tech Award wird durch den Europäischen Fonds für regionale Entwicklung (EFRE) kofinanziert und ist mit 60.000 Euro dotiert. Die Verleihung der „Deep Tech Stars“ durch Staatssekretär Christian Rickerts findet am 3. April 2019 in Berlin statt.

    Bis zum 28. Februar 2019, 24 Uhr, können sich im Land Berlin niedergelassene Unternehmen mit anwendungsorientierten und erprobten Lösungen und Produkten auf Soft- und/oder Hardwarebasis um die Deep Tech Stars bewerben. Die Bewerbungen sollen sich durch einen hohen Innovationsgrad und großes Zukunftspotenzial auszeichnen. Der Wettbewerb richtet sich besonders an kleine und mittlere Unternehmen in Berlin.

    Staatssekretär Christian Rickerts, Senatsverwaltung für Wirtschaft, Energie und Betriebe des Landes Berlin: „Ob im Energiesektor, der Gesundheitswirtschaft oder im Maschinenbau – Themen wie das Internet der Dinge, Additive Fertigung und Künstliche Intelligenz gewinnen für immer mehr Berliner Unternehmen an Bedeutung. Wir wollen insbesondere kleine und mittlere Unternehmen, die innovative Lösungen im Bereich Hardware und systemnaher Software anbieten, fördern. Mit der Verleihung des Deep Tech Awards machen wir das zukunftsfähige Potenzial unserer Stadt hier stärker sichtbar.“

    Dirk Stocksmeier, stellvertretender Vorstandsvorsitzender SIBB e.V. zum Wettbewerb: „Auch der 4. Deep Tech Award setzt wieder die Berliner IT-Unternehmen ins Rampenlicht, die innovative, technologieintensive Lösungen und Produkte entwickeln. Als Querschnittstechnologien leisten sie einen großen Beitrag für Digitalisierung, Wertschöpfung und Innovationsfreude der gesamten Hauptstadtregion. Ihnen eine Bühne sowie Anschub für eine erfolgreiche weitere Entwicklung zu geben, war seit dem Start 2015 die Motivation für den gemeinsamen Wettbewerb von Senatsverwaltung für Wirtschaft, Energie und Betriebe und SIBB. Inzwischen konnten einige der Preisträger beeindruckende Erfolgsgeschichten schreiben, zu denen der Deep Tech Award einen Beitrag geleistet hat. Ich bin gespannt darauf, welche Stories mit der 4. Preisverleihung starten werden und wer als Deep Tech Star 2019 auf der Bühne stehen wird.“

    Vorjahrespreisträger Lothar Feige von der pikkerton GmbH, der im Jahr 2015 einen Deep Tech Star für das für den Heimgebrauch entwickelte Sturzerkennungssystem SC-100, in Empfang nehmen konnte, ermutigt Unternehmen zu einer Bewerbung: „Für uns war der DTA 2015 in verschiedener Hinsicht ein wichtiger Meilenstein. Wir haben uns erstmals für einen solchen Award beworben. Das Bewerbungs- und Anmeldeverfahren war unkompliziert und durch die attraktive Preissumme äußerst motivierend. Darüber hinaus eröffnete uns die Teilnahme neue Horizonte im Hinblick auf weitere, auch internationale, Awards. Der DTA gab praktisch den Startschuss, unsere Entwicklungen selbstbewusst über weitere Wettbewerbseinreichungen in die Öffentlichkeit zu tragen. Bis heute konnten wir fünf weitere Preise gewinnen“.

    Wettbewerbseinreichungen können aus folgenden Bereichen kommen:

    o Devices, Device Management, Embedded Systems
    o Sensoren und Aktoren
    o Netzwerke (Low-Power/Short-Range, Low-Power/Wide-Area)
    o Prozessoren und Architekturen
    o Betriebssysteme
    o Plattformen
    o Analytische Tools, Algorithmen, Event Stream Processing und Analysemodelle
    o Standards und APIs
    o Sicherheitstechnologien für Devices, Betriebssysteme, Plattformen und Kommunikationswege
    o Künstliche Intelligenz (KI)-Lösungen und Technologien
    o Industrie 4.0-Lösungen und Technologien

    In die Bewertung der Jury fließen der Innovationsgrad/ Innovationshöhe, Eigenständigkeit des Wettbewerbsbeitrags, Alleinstellungsmerkmale (USPs), Vorteile oder Mehrwert aus Nutzerperspektive, Marktpotenzial, das Datenschutz- und Datensicherheitskonzept sowie ggf. das Hardware- und Softwaredesign ein.

    Das Bewerbungsformular finden Sie hier www.deeptechaward.berlin/bewerbung

    Bewertet werden die eingereichten Wettbewerbsbeiträge von einer hochkarätig besetzten unabhängigen Fachjury.

    Verantwortlicher für diese Pressemitteilung:

    SIBB e.V.
    Herr René Ebert
    Potsdamer Platz 10
    10785 Berlin
    Deutschland

    fon ..: 030 / 40 81 91 280
    fax ..: 030 / 40 81 91 289
    web ..: http://www.sibb.de
    email : info@sibb.de

    Hintergrund
    Über den IT“Branchenverband SIBB e.V.
    Der SIBB e.V. ist Interessenverband der IT- und Internetwirtschaft in Berlin und Brandenburg. Der Verband ist etablierter Partner der gesamten Branche in der Hauptstadtregion und Mitgestalter der politischen und wirtschaftlichen Rahmenbedingungen. Der SIBB e.V. vernetzt die Akteure der Branche und vertritt ihre Interessen in Politik und Gesellschaft. Der Verband sorgt dabei auch für einen aktiven Austausch weit über Branchengrenzen hinaus, wendet sich mit seinem Angebot an Anwender und Anbieter gleichermaßen. Zahlreiche Veranstaltungen des Verbands fördern deshalb den Austausch, Kooperationen und Wissenszuwachs. Zum regelmäßigen Angebot gehören Foren, Netzwerke, Stammtische und kompakte Seminare. SIBB-Kongresse und Messeauftritte bilden die Höhepunkte des Jahres. Zu den mehr als 200 Mitgliedsunternehmen gehören IT-Dienstleister und Software-Anbieter, Telekommunikationsunternehmen, Unternehmen der digitalen Wirtschaft sowie Hochschulen und Forschungseinrichtungen. Etablierte Institutionen und namhafte Unternehmen finden sich ebenso darunter wie Start-ups.
    SIBB region ist das Netzwerk für die IT- und Internetwirtschaft in Brandenburg und Bestandteil des SIBB e.V. und hat seinen Sitz in Wildau. Das Netzwerk SIBB region wird vom Ministerium für Wirtschaft und Energie des Landes Brandenburg im Rahmen der Gemeinschaftsaufgabe „Verbesserung der regionalen Wirtschaftsstruktur“ (GRW) aus Mitteln des Bundes und des Landes Brandenburg gefördert.

    www.sibb.de

    Über die Senatsverwaltung für Wirtschaft, Energie und Betriebe
    Die Senatsverwaltung für Wirtschaft, Energie und Betriebe ist die Wirtschaftsverwaltung des Landes Berlin. Kernaufgaben sind die Wirtschaftsförderung und die Schaffung der richtigen Rahmenbedingungen für Unternehmen. Die Senatsverwaltung ist zugleich zuständig für die Ressorts Energie und Betriebe.

    Pressekontakt:

    Presse & Marketing o Agentur für integrierte Kommunikation
    Frau Ines Weitermann
    Schulzenstraße 4
    14532 Stahnsdorf

    fon ..: 03329 – 691847
    email : presse@sibb.de