Am 08. Oktober 2024 wird die Verifysoft Technology GmbH ein Kompaktseminar mit dem Thema "Effizientes Arbeiten mit RTOS und FreeRTOS" in ihren Räumlichkeiten im Technologiepark in Offenburg veranstalten. Das Seminar wird von Prof. Dr.-Ing. Daniel Fischer von der Hochschule Offenburg geleitet und bietet Teilnehmern eine Gelegenheit, ihre Kenntnisse im Umgang mit Echtzeitbetriebssystemen (RTOS) zu vertiefen. Das Seminar richtet sich an Fachleute, die ihre Projekte auf RTOS-Basis verbessern möchten, sowie an jene, die eine Migration von Bare-Metal-Architekturen in Betracht ziehen. Es bietet auch eine Möglichkeit für Unternehmen, ihre neuen Mitarbeiter schnell und effizient zu schulen. Workshop-Inhalte: Teil 1: Einführung in Echtzeitbetriebssysteme Der erste Abschnitt des Workshops behandelt die Grundlagen von Echtzeitsystemen und Embedded-Systemen. Es werden die SW-Architekturen sowie die grundlegenden Funktionen von Echtzeitbetriebssystemen...

In einer zunehmend technologiegetriebenen Geschäftswelt sind die Qualität und die Zuverlässigkeit von Software entscheidende Faktoren für den wirtschaftlichen Erfolg eines Unternehmens. Unternehmen, die effektive Prozesse und Strukturen zur Sicherstellung der Softwarequalität implementieren, können ihre Marktposition festigen und weiter ausbauen. Für Firmen, die ihre Kenntnisse in Bezug auf aktuelle Qualitätsmaßnahmen und Softwaretestaktivitäten aktualisieren oder erweitern möchten, bieten wir ein spezialisiertes Seminar an. Das Seminar richtet sich an Unternehmen, die ihre Softwarequalität verbessern oder neue Testmethoden einführen möchten und an Mitarbeiter, die geschult werden sollen, um Softwaretest- und Analysetools effizient zu nutzen. Zielsetzung: Vermittlung der notwendigen Kenntnisse zur effizienten und sicheren Entwicklung sowie zum Testen von Embedded Software. Termine: 09. und 10. Oktober 2024 (Mittwoch und Donnerstag) Ort:...

Verifysoft lädt ein zum „Static Analysis Network on the road” Statische Code-Analyse auch für Performance- und Energieverbrauchsoptimierung Statische Code-Analyse und dynamische Test zur Laufzeit sind zwei komplementäre Verfahren, um die Qualität und Sicherheit von Software zu optimieren. Die Statische Code-Analyse überprüft und bewertet den Code: unter anderem werden Fehler aufgedeckt und die Einhaltung von Programmierrichtlinien geprüft. Während der Tests zur Laufzeit (dynamische Analyse) wird dann überprüft, ob die Software das tut, was sie tun soll. Das tatsächliche Verhalten wird mit den Requirements abgeglichen. Um gute und sichere Software zu erstellen, müssen also zwingend beide Verfahren – die statische Analyse und die dynamischen Tests – eingesetzt werden. Bei der Statischen Analyse wird die Applikation nicht ausgeführt. Diese Analyse kann auch im Rahmen von Walkthroughs oder etwas formaler durch eine Inspektion...

Gegründet im Jahr 2003 in Offenburg im Schwarzwald, hat sich die Verifysoft Technology GmbH als bedeutender Akteur auf dem globalen Markt für Softwarevertrieb etabliert. Bekannt für den Code-Coverage-Analyzer Testwell CTC++ und die Code-Komplexitätsmesswerkzeuge Testwell CMT++ und CMTJava, hat das Unternehmen Anerkennung für sein Engagement für die Weiterentwicklung von Standards in der Softwaretechnik gefunden. Neben innovativen Softwarelösungen bietet Verifysoft Technology regelmäßig verschiedene Seminare, Schulungen und kostenlose Webinare zum Thema Softwareentwicklung, Softwaretesting und Qualitätssicherung an. Ein bevorstehendes...

Verifysoft Technology GmbH, gegründet 2003 im Technologiepark Offenburg und bis heute dort ansässig, bietet neben Softwaretesttools auch Webinare, Trainings und Seminare zu den Themen Softwaretesting, Code Coverage und Softwarequalität an. So auch am Donnerstag, 13.07.2023 um 15:00 Uhr MEZ das kostenfreie Webinar zum Thema „Unit- und Software Integration-Tests in sicherheitskritischen Projekten“ (Dipl.-Ing. Martin Heininger) Melden Sie sich jetzt zu unserem kostenlosen Webinar am Do., 13.07.2023 um 15:00 Uhr MEZ an und erfahren Sie mehr zu folgenden Themen: - Die Rolle der statischen Analyse - MISRA-Prüfungen - Laufzeit-Fehleranalyse -...

· „ESCOM“ und „EnEffWerk“ sind Teil des europäischen Forschungsvorhabens Gaia-X · Neuheiten auf der EMO zeigen erste Ergebnisse Nürnberg, den 20. April 2023. Der Maschinenbauer GMN beteiligt sich an zwei Forschungsprojekten mit dem Ziel, digitale und ressourceneffiziente Spindeltechnologien zu entwickeln. Bei „ESCOM“ – Edge-Services for Components – konzentrieren sich die Nürnberger auf „Edge-Services für Motorspindeln“. Das Kürzel „EnEffWerk“ leitet sich aus dem Anspruch ab, die Energieeffizienz und Umweltverträglichkeit von spanenden Werkzeugmaschinen zu verbessern. Auf der...

querdenker engineering ist Systemanbieter in der Elektronikentwicklung - das Hardware-Engineering ist eine unserer Kernkompetenzen. Denn mit umfassendem Know-how und unseren langjährigen Erfahrungen sind wir in der Lage, auch komplexe Anforderungen an Funktionalität, Zeit- und Kostenrestriktionen sowie speziellen zulassungstechnische Regulatorien in stabile Serienprodukte umzusetzen. Als Entwicklungs- und Fertigungsdienstleister unterstützt Sie querdenker engineering in jeder Phase des Produktentstehungsprozesses. Mit Ihrer Produktidee und unseren bewährten und quergedachten Lösungen entstehen so erfolgreiche und langlebige...

· Mit digitaler Spindeltechnologie zur EMO Nürnberg, den 21. Februar 2023. Der Maschinenbauer GMN hat sein für das Geschäftsjahr 2022 gesteckte Umsatzziel problemlos verwirklicht und wieder das Niveau der Vor-Corona-Zeit von 2019 erreicht. Auch mit dem erzielten Gewinn ist das Familienunternehmen, das keine konkreten Geschäftszahlen veröffentlicht, zufrieden. Ihren Wachstumskurs wollen die Nürnberger 2023 fortsetzen, erklärt Dieter Weiss, Vertriebsleiter Spindeltechnik: „Durch den sehr erfreulichen und seit vielen Monaten anhaltend hohen Auftragseingang erwarten wir allein im wichtigen Spindelbereich eine Umsatzsteigerung...

• Hochwertige Spindeln für das Zahnradschleifen: Steigende Nachfrage aus der E-Mobilität Nürnberg, den 18. Juli 2022. Der Nutzen von Industrie 4.0 wird konkret messbar: GMN hat damit begonnen, Prozessdaten von Werkzeugmaschinen eines großen Herstellers mit Hilfe seiner mit IDEA-4S ausgerüsteten Spindeln zu sammeln. Die Maschinen- und Spindelinformationen werden anschließend gemeinsam mit dem beteiligten Maschinenpartner ausgewertet und für die Performancesteigerung in der Zerspanung eingesetzt. Damit erweitert sich der Anwendungsbereich des Embedded Systems IDEA-4S; bisher wird es vor allem zur Spindelüberwachung, für die...

Die IT-Firmen Vector und SYSGO haben ein Joint-Venture zur Entwicklung von Embedded Software gegründet. Ziel der Zusammenarbeit ist eine integrierte Softwareplattform bestehend aus der AUTOSAR-Adaptive-Basissoftware MICROSAR und dem Echtzeit-Betriebssystem PikeOS. SYSGO, Europas führender Anbieter von Betriebssystemen im sicherheitsrelevanten Umfeld, bringt in das 50/50-Joint-Venture seine umfassenden Safety- und Security-Erfahrungen aus dem Luftfahrtbereich ein. Vector, der Stuttgarter Spezialist für Embedded Systems, entwickelt schon seit Jahren sichere AUTOSAR-Basissoftware gemäß ISO 26262. Durch diese Know-how-Bündelung...