Building a safe and secure embedded world
Hitex

hitex
Building a safe and secure embedded world
>
Hitex Newsletter Juli
Die Hitex Test Services
hilights
Sehr geehrte Damen und Herren,

"Qualität ist niemals Zufall; sie ist immer das Ergebnis hoher Ziele, aufrichtiger Bemühung, intelligenter Vorgehensweise und geschickter Ausführung."

Dieses Zitat des US-Soldaten Will A. Foster könnte man als Hitex-Leitlinie übernehmen, denn es spiegelt unseren eigenen Anspruch wider: Wir möchten für unsere Kunden immer das beste Ergebnis erreichen und setzen uns selbst sehr hohe Qualitätsziele. Natürlich auch im Bereich der Software-Qualität.

Und die fängt beim richtigen Analyse-Tool an. Die Frage, ob ein statischer oder dynamischer Software-Test sinnvoll ist, will wohl überlegt sein. Nicht nur in Hinblick auf mögliche Zertifizierungen, sondern natürlich auch im Hinblick auf die Kosten und das zukünftige Einsatzgebiet der Software. Hitex bietet kompetente Software-Test-Dienstleistungen für Anwendungen in den Bereichen Industrie, Automotive, Transport und Medizintechnik. Ihre Branche ist nicht dabei? Kein Problem, durch unsere jahrzehntelange Erfahrung können wir Sie selbstverständlich bei Ihrem Vorhaben unterstützen. 

Haben Sie Fragen oder möchten sich austauschen zu diesem Thema? Dann melden Sie sich gerne bei uns.

Mit freundlichen Grüßen
Frank Jankowiak
Head of Sales
178x
 
Zeit und Kosten sparen
Unit Test Services von Hitex ausprobieren
Es werden immer mehr Tests zum Prüfen von Sicherheitsanforderungen vorgeschrieben. Hitex bietet umfangreiche Dienstleistungen im Bereich Testing an. Mit unserem Schnupper-Paketkönnen Sie unsere Unit Test Services im kleinem Rahmen testen: Enthalten sind die Analyse von 100 Code-Zeilen, Auswertungen und Reportings. Unser Pilot-Projekt bietet die Analyse von 500 Code-Zeilen, mit allem was dazu gehört.
» Ich möchte mehr wissen
 

 
178x
 
Fehler finden, Codierung prüfen, Kennzahlen berechnen
Statische Code-Analyse mit ECLAIR
ECLAIR ist ein leistungsfähiges Werkzeug zur statischen Codeanalyse von Programmen, die in C/C++ geschrieben wurden. ECLAIR wurde von BUGSENG entwickelt und findet kritische Fehler bereits während die Software erstellt wird, prüft die MISRA-Regeln und berechnet Metriken. Sie möchten ECLAIR unverbindlich testen? Sie haben die Möglichkeit eine kostenlose Trail-Version runterzuladen.
» ECLAIR kostenlos testen
 

 
178x
 
Automatisiert, schnell und zuverlässig
Dynamische Modul- und Unit-Tests mit TESSY
TESSY ist ein Werkzeug zum automatisierten Unit-/Integrations-Test von eingebetteter Software. Gleichzeitig können Sie den Grad der Code-Abdeckung bestimmen. Diese Tests werden beispielsweise bei Zertifizierungen nach den Normen DO-178, IEC 61508 oder ISO 26262 verlangt. Die aktuelle Version enthält viele praktische Eigenschaften: Beispielsweise können durch die paarweise Kombination von Klassen des Klassifikationsbaums automatisch Testfällen generiert werden.
» Zu den Infos
 

 

 
Publikation von Hitex
Verfikation von Software Units
Für viele Medizintechnik-Hersteller ist die Verifikation von SoftwareKomponenten herausfordernd. Gründe dafür finden sich zum Teil in der Medizintechnik-Norm IEC 62304 selbst, da diese in ihren Definitionen und Anforderungen viel Spielraum lässt. Frank Büchner, Principal Engineer Software Quality bei Hitex, hat sich intensiv damit beschäftigt und einen Artikel in der Fachzeitschrift medical design veröffentlicht.

 
178x
 
Donnerstag, 30. Juli, 11 Uhr.
Webinar zu MISRA C/C++: Essential Type Model
In diesem Webinar dreht sich alles um das Essential Type Model von MISRA C:2012. Das Webinar wird von BUGSENG, dem Hersteller des statischen Analysewerkzeugs ECLAIR, durchgeführt. Geleitet wird das Webinar von Roberto Bagnara, CTO von BUGSENG und Professor für Informatik. Die Webinarsprache ist Englisch.

 
linkedinxingyoutube
Hitex GmbH
Greschbachstr. 12, 76229 Karlsruhe
Email: info@hitex.de
www.hitex.de

Geschäftsführer: Jörg Stender
Sitz der Gesellschaft: Karlsruhe
Amtsgericht Mannheim, HRB 110209
 
Sie erhalten unseren Newsletter noch nicht? Hier können Sie sich anmelden: klicken Sie hier.
Search FormContactOnlineshop