Softwarefehler können frühzeitig erkannt und behoben werden. QA-MISRA prüft Ihren Code auf Konformität der MISRA- und AUTOSAR-Regeln sowie der Sicherheitsstandards (CERT u. CWE usw.) – Und das mit keinen ‚false negatives‘ und keinen ‚false positives‘ Ergebnissen bei syntaktischen Regeln. Metriken und Visualisierungen bieten Einblicke in die Source-Code-Qualität. Mit Cantata dem Softwaretesttool für automatisierte Unit- & Integrationstests. Cantata verifiziert Ihren C/C++ Code auf den Host- sowie Zielplattformen eingebetteter Systeme. Cantata hilft den Testaufwand und das Risiko von Softwarefehlern zu reduzieren und somit Zeit und Kosten zu sparen. Die AutoTest Funktion generiert automatisch laufende Cantata-Unittests, um den gesamten Code zu testen. Zur Dokumentation generiert Cantata verschiedenste Reports zur Analyse der erreichten Code Coverage. In Kombination unterstützen die Tools den Verifikationsprozess im linearen Fluss der Softwareentwicklung. Der Einsatz von QA-MISRA gewährleistet einen qualitativ hochwertigen, standardkonformen Code, als Grundlage für Unit- & Integrationstests. Dazu kann QA-MISRA vollständig in Cantata integriert werden. Beide Tools sind vom SGS TÜV Saar für die höchsten Sicherheitslevels aller wichtigen Standards zertifiziert. QA Systems ist weltweit direkt sowie über ein globales Reseller-Netzwerk tätig. Erfahren Sie mehr unter www.qa-systems.de

Zu den Schlüsselprodukten gehören statische Analysewerkzeuge zur Überprüfung von Codierrichtlinien, zur Timing- und Stack Usage-Analyse und zur Erkennung von kritischen Programmierfehlern in C/C++ sowie der formal verifizierte, preisgekrönte Compiler CompCert.

AbsInt wurde 1998 gegründet und ist ein privates Unternehmen mit Sitz in Saarbrücken. Wir beliefern Unternehmen aus 40 Ländern in aller Welt und aus verschiedenen Industriezweigen, einschließlich der Luft- und Raumfahrt, der Automobilindustrie, der Medizintechnik und dem Energiesektor – siehe https://www.absint.com/success_de.htm.

In einer ersten GAP-Analyse ermitteln wir schnell und zielgerichtet Ihren Bedarf an Unterstützung. Danach erarbeiten mit Ihnen einen roten Faden durchs Projekt und dokumentieren diesen in einem Safety Plan. Im Detail definieren wir die für Sie passgenauen Entwicklungsmethoden und -Prozesse und bringen diese in die praktische Umsetzung.

Sie profitieren von unserer jahrzehntelangen praktischen Projekterfahrung im Requirements- und Testengineering.

Unser Motto lautet: „Es gibt nur einen guten Software-Entwicklungsprozess – egal in welcher Branche“.

Die Projekterfahrung beginnt bei der Entwicklung von kleineren Haushaltsgeräten, geht über Industrieanlagen, landwirtschaftliche Maschinen bis hin zu sehr komplexen Projekten mit den höchsten Sicherheitsanforderungen in der Automobilbranche, der Bahn und der Luftfahrt.

Fordern Sie uns heraus!

Ob Beratung, Durchführung oder maßgeschneiderte Testwerkzeuge: Bei uns erhalten Sie alle Maßnahmen zur Absicherung Ihrer Produkte aus einer Hand.

Dabei ruhen wir uns nicht auf dem aktuellen Stand der Technik aus, sondern entwickeln zusammen mit kompetenten Partnern aus Wissenschaft und Technik heute schon die Testlösungen für Fragestellungen von morgen.

Testen Sie uns und lassen auch Sie sich überzeugen.

– Planung [&] Management von Testvorhaben
– Testautomatisierung [&] Durchführung
– Testanalyse [&] Visualisierung
– Testsysteme
– Innovative Produkte rund um den Test

Die Protos miniHIL Hardware und Software Toolchain erlaubt die Modellierung, Generierung und Durchführung von Umgebungssimulationen und Testcases. Dies ermöglicht eine Testautomatisierung vom Schreibtisch des Entwicklers bis hin zur Continuous Integration mit HIL- und SIL-Tests.

Weitere Schwerpunkte: Beherrschung von Komplexität in Embedded SW und Systemen durch Schaffung von Abstraktion; Entwicklung domänenspezifischer Sprachen / Werkzeugketten; Engineering für Methoden und Werkzeugketten; Produkte zur Automatisierung von Entwicklung und Test.

Zusammen mit den Werkzeugen Integrated Test Environment (ITE), Test Operator Plattform (TOP) und Check Case Definition Language (CCDL) bietet Razorcat Lösungen für alle Phasen des Testprozesses. Dienstleistungen wie Testmanagement, Durchführung von Tests, Beratung und Seminare unterstützen Kunden zusätzlich weltweit. Weitere Informationen zu Razorcat unter www.razorcat.com

Imagix 4D gibt Ihnen bei unbekanntem Code den notwendigen Durchblick, der für Wartung und Weiterentwicklung der Software erforderlich ist.

Der Code Coverage Analyser Testwell CTC++ deckt alle von den Industrienormen geforderten Coveragestufen ab und arbeitet mit allen Compilern und allen embedded Targets.

Seminare zum Thema Softwaretest runden unser Programm ab. Weitere Informationen finden Sie unter: www.verifysoft.com

Als Repräsentant und Stimme in der Software-Branche mit über 1.000 Mitgliedern engagieren wir uns für ein kompetenzstarkes, gründer- und innovationsfreundliches Umfeld. Wir stehen im Dialog mit Entscheidungsträgern und erarbeiten Vorschläge, die den neuen Anforderungen der Digitalisierung Rechnung tragen. Als Netzwerk verbinden wir leistungsstarke Start-Ups, Mittelständler, Global Player, Hochschulen und Forschungseinrichtungen.

Zudem ist der ASQF Gesellschafter der iSQI GmbH, die weltweit Know-How von (IT-)Fachkräften zertifiziert.

Durch die Nutzung der Partner-Expertise kann sich das jeweilige Mitglied auf die eigene Kernkompetenz konzentrieren und bei Bedarf jederzeit auf die Technologien und das Know-how anderer Mitglieder zurückgreifen. In diesem Zusammenschluss können wir innovative Produkte sowohl einzeln als auch als Bestandteil einer umfangreichen Gesamtlösung anbieten.

Jedes einzelne Unternehmen im E4You-Netzwerk verfügt über hervorragende, fundierte Branchenkenntnisse und langjährige Projekterfahrung. Die sehr enge Zusammenarbeit und der ständige Wissensaustausch führen zu einer höheren Produktqualität, mehr Flexibilität und größerer Kundenzufriedenheit.

Von der Idee zur Serie – alles aus einer Hand:

Embedded4You ist die Antwort auf Ihre Fragen zu den aktuellen und zukünftigen Herausforderungen im Markt-Umfeld für Embedded-Systems.